Abstract
We began this work with an interest in pursuing a symbolic, knowledge-based approach to the control of complex engineered systems. The work presented in this thesis has been based on two premises. First, we believe that qualitative process (QP) theory offers potential for reasoning about the control of complex engineered physical systems, especially when they are poorly understood or the capability for making observations of the systems is limited. Second, we surmise that problem solving in this domain proceeds by an iterative process of building, applying, and patching models of the svstem under consideration.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Agogino and A. Rege. Ides: Influence diagram based expert system. In X. Avula et al, editor, Mathematical Modelling in Science and Technology. Pergamon Press, Elmsford, N.Y., 1986.
R. Axelrod. Structure of Decision: The Cognitive Maps of the Political Elites. Princeton University Press, Princeton, N.J., 1976.
J. Baldwin. An automated fuzzy knowledge base. In R. Yager, editor, Fuzzy Systems. Pergamon Press, Elmsford, N.Y., 1981.
J. Baldwin. Support logic programming. Technical Report ITRC 65, Information Technology Research Center, Univ. of Bristol, U.K., 1985.
J. F. Baldwin. Fuzzy sets and expert systems. Inf. Sci., 36:123–156, 1985.
J. Barnett. Computational methods for a mathematical theory of evidence. In Proceedings of IJCAI-81 , pages 868–875. International Joint Conference on Artificial Intelligence, Aug. 1981.
B. Buchanan and E. Shortliffe. Rule-Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading, Mass., 1984.
A. Bundy. Will it reach the top? prediction in the mechanics world. Artif Intell., 10(1):129–147, 1978.
A. Bundy and B. Welham. Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation. Artif. Intell., 16(2):189–212, 1981.
J. Baldwin and S. Zhou. A fuzzy relational inference language. Fuzzy Sets Sys., 14, 1982.
P. Cheeseman. In defense of probability. In Proceedings of the 9th IJCAI, pages 1002–1009. International Joint Conference on Artificial Intelligence, August 1985.
I. Cochin. Analysis and Design of Dynamic Systems. Harper and Row, New York, 1980.
P. Cohen. Heuristic Reasoning about Uncertainty: An Artificial Intelligence Approach. Pitman, London, 1984.
B. D’Ambrosio. Fm - an object oriented expert programming system for experiments in approximate reasoning. Master’s thesis, University of California, Berkeley, Apr. 1984.
B. D’Ambrosio et al. Levels of abstraction in model-based reasoning. In Proceedings of ROBEXS ’85, pages 19–22. Robotics and Expert Systems Division, Instrument Society of America, June 1985.
B. D’Ambrosio. Qualitative process theory using linguistic variables. PhD thesis, University of California, Berkeley, December 1986.
Bruce D. D’Ambrosio. A hybrid approach to management of uncertainty. International Journal of Approximate Reasoning, 2(1), February 1988.
Bruce D. D’Ambrosio. Process, structure, and modularity in reasoning under uncertainty. In Proceedings of the 1987 Workshop on Uncertainty in AI, pages 64–72. American Association for Artificial Intelligence, August 1988.
J. de Kleer. Multiple representations of knowledge in a mechanics problem-solver. In Proceedings of the 5th IJCAI, pages 299–304. International Joint Conference on Artificial Intelligence, August 1977.
J. de Kleer. Causal and teleological reasoning in circuit recognition. Technical Report TR-529, Artificial Intelligence Laboratory, Massachusetts Institute of Technology., Sept. 1979.
J. de Kleer. An assumption-based tms. Artif Intell., 28(2): 127–162, Mar. 1986.
J. de Kleer. Extending the atms. Artif Intell., 28(2):163–196, Mar. 1986.
J. de Kleer. Problem-solving with the atms. Artif Intell., 28(2):197–224, Mar. 1986.
J. de Kleer and D. Bobrow. Qualitative reasoning with higher-order derivatives. In Proceedings National Conference on Artificial Intelligence. American Association for Artificial Intelligence, Aug. 1984.
J. de Kleer and J. Brown. A qualitative physics based on confluences. Artif Intell., 24(l–3):7–83, December 1984.
J. de Kleer and B. Williams. Diagnosing multiple faults. Artif Intell., 32(1):97–131, Apr. 1987.
J. Doyle. A truth maintenance system. Artificial Intelligence, 12(3):231–272, 1979.
J. Estathiou and R. Tong. Ranking fuzzy sets: A decision theoretic approach. IEEE Trans, on Sys., Man, Cybern., SMC-12(5):655–659, Sept.-Oct. 1982.
R. Fikes and N. Nilsson. Strips: A new approach to the application of theorem proving to problem solving. Artif. Intell., 2:189–208, 1971.
K. Forbus. Qualitative process theory. PhD thesis, Massachusetts Institute of Technology, Cambridge, Mass., July 1984.
J. Gordon and E. Shortliffe. A method for managing evidential reasoning in a hierarchical hypothesis space. Artif. Intell., 26(3):323–358, July 1985.
Steve Hanks. Temporal reasoning about uncertain worlds. In Proceedings of the 3rd Workshop on Uncertainty in AI, pages 114–123. American Association for Artificial Intelligence, August 1987.
P. Hayes. The frame problem and related problems in artificial intelligence. In Michie, editor, Machine Intelligence 6, pages 45–59. American Elsevier, New York, 1971.
P. Hayes. Naive physics 1 - ontology for liquids. Memo, Centre pour les etudes Semantiques et Cognitives, Geneva, 1979.
P. Hayes. The naive physics manifesto. In D. Michie, editor, Expert Systems in the Micro-Electronic Age. Edinburgh University Press, Edinburgh, Scotland, 1979.
D. Heckerman and E. Horvitz. On the expressiveness of rule-based systems for reasoning with uncertainty. In Proceedings of AAAI87, pages 121–126. American Association for Artificial Intelligence, August 1987.
P. Hayes and J. McCarthy. Some philosophical problems from the standpoint of artificial intelligence. In Meltzer and Michie, editors, Machine Intelligence 4, pages 463–504. American Elsevier, New York, 1969.
R. Howard and J. Matheson. Influence diagrams. In Howard and Matheson, editors, The Principles and Applications of Decision Analysis. Addison-Wesley, Menlo Park, Calif., 1984.
L. Holmblad and J. Ostergaard. Control of a cement kiln by fuzzy logic. In M. Gupta and E. Sanchez, editors, Fuzzy Information and Decision Processes. North Holland, 1982.
B. Kosko. Fuzzy cognitive maps. Int. J. Man-Mach. Stud., 24(1):65–75, January 1986.
B. Kuipers. Commonsense reasoning about causality: Deriving behavior from structure. Artif. Intell., 24(l–3):169–205, December 1984.
W. Kickert and H. van Nauta Lemke. The application of fuzzy set theory to control a warm water process. Automatica, 12(4):301–308, 1976.
G. Lakoff. Hedges: A study in meaning criteria and the logic of fuzzy concepts. In Proceedings of 8th Reg. Meeting of the Chicago Linguistics Society, Chicago, Ill., Apr. 1972. Univ. of Chicago Linguistics Dept.
P. Larsen. Industrial application of fuzzy logic control. Int. J. Man-Mach. Stud., 12:3–10, 1980.
L. Larkin. A fuzzy logic controller for aircraft flight control. In M. Sugeno, editor, Industrial Applications of Fuzzy Control, pages 87–104. Elsevier Science, 1985.
R. LeFaivre. Fuzzy: A programming language for fuzzy problem solving. Tech rep. 202, Univ. of Wisconson, Madison, 1974.
J. Lowrance and T. Garvey. Evidential reasoning: An implementation for multisensor integration. Tech Note 307, SRI International, Menlo Park, Ca., Dec. 1983.
G. Liu. Causal and plausible reasoning in expert systems. In Proceedings of AAAI86, pages 222–225. American Association for Artificial Intelligence, 1986.
Kathryn Laskey and Paul Lehner. Belief maintenance: An integrated approach to uncertainty management. In Proceedings of AAAI88, pages 210–214. American Association for Artificial Intelligence, August 1988.
E. Mamdani and S. Assilian. An experiment in linguistic synthesis with a fuzzy logic controller. Int. J. of Man Mach. Stud., 7:1–13, 1975.
E. Mamdani. Advances in the linguistic synthesis of fuzzy controllers. Int. Journal of Man Mach. Stud., 8:669–678, 1976.
D. McAllester. An outlook on truth maintenance. AI Memo 551, Artificial Intelligence Laboratory, Massachusetts Institue of Technology, Aug. 1980.
D. McAllester. Reasoning utility package user–s manual. Memo AI Memo 667, Artificial Intelligence Laboratory, Massachusetts Institue of Technology, Apr. 1982.
A. Miller et al. Development of automated aids for decision analysis. Tech rep., SRI International, Menlo Park, Ca., 1976.
R. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, N.J., 1966.
Joao P. Martins and Stuart C. Shapiro. Reasoning in multiple belief spaces. In Proceedings of IJCAI83, pages 370–373. International Joint Conference on Artificial Intelligence, 1983.
J. Maiers and Y. Sherif. Applications of fuzzy set theory. IEEE Trans. Sys., Man, Cybern., SMC-15(1):175–189, January/February 1985.
Michael L. Mavrovouniotis and George. Stephanopoulos. Reasoning with orders of magnitude and approximate relations. In Proceedings of AAAI87, pages 626–630. American Association for Artificial Intelligence, 1987.
Y. Murayama et al. Optimizing control of a diesel engine. In M. Sugeno, editor, Industrial Applications of Fuzzy Control, pages 63–72. Elsevier Science, 1985.
Y. Pan. Qualitative Reasonings with Deep-level Mechanism Models for Diagnoses of Dependent Failures. PhD thesis, Univ. of Illinois at Urbana Champaign, Dec. 1983.
W. Pedrycz. Design of fuzzy control algorithms with the aid of fuzzy models. In M. Sugeno, editor, Industrial Applications of Fuzzy Control, pages 87–104. Elsevier Science, 1985.
R. Rajagopalan. Qualitative modelling in the turbojet engine domain. In Proceedings AAAI84, pages 283–287. American Association for Artificial Intelligence, Aug. 1984.
C. Rieger. The declarative representation and procedural simulation of causality in physical mechanisms. In Proceedings of the 5th IJCAI, pages 250–255. International Joint Conference on Artificial Intelligence, Aug. 1977.
E. Sacks. Qualitative mathematical reasoning. In Proceedings of IJCAI-85, pages 137–139. International Joint Conference on Artificial Intelligence, Aug. 1985.
G. Shafer. A Mathematical Theory of Evidence. Princeton Unversity Press, Princeton, N.J., 1976.
R. G. Simmons. Representing and reasoning about change in geologic interpretation. Master’s thesis, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, May 1983.
R. Stallman and G. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer aided circuit analysis. Artif. Intell., 9:135–196, 1977.
G. Steele. … Constraints … PhD thesis, Massachusetts Institute of Technology, August 1980. full title begins: A Dissertation on Research Concerning The…
L. Steels. Descriptions as constraints in object oriented representations. In Proceedings of IJCAI-83, pages 395–397. International Joint Conference on Artificial Intelligence, Aug. 1983.
R. Tong. Analysis of fuzzy control algorithms using the relation matrix. Int. J. Man-Mach. Stud., 8:679–686, 1976.
R. Tong. Fuzzy control of the activated sludge wastewater treatment process. Automatica, 16(6):695–702, 1980.
R. Tong. A retrospective view of fuzzy control systems. Fuzzy Sets Sys., 14:199–210, 1984.
R. Tong. An annotated bibliography of fuzzy control. In M. Sugeno, editor, Industrial Applications of Fuzzy Control, pages 249–269. Elsevier Science, 1985.
S. Weiss et al. A model-based method for computer-aided medical decision making. In W. Clancey and E. Shortliffe, editors, Readings in Medical Artificial Intelligence, chapter 7, pages 160–189. Addison-Wesley, Menlo Park, Calif., 1984.
F. Wenstop. Application of linguistic variables in the analysis of organizations. PhD thesis, University of California, Berkeley, 1975.
F. Wenstop. Quantitative analysis with linguistic variables. Fuzzy Sets Sys., 4:99–115, 1980.
B. C. Williams. Minima: A symbolic approach to qualitative algebraic reasoning. In Proceedings of AAAI-88, pages 264–269. American Association for Artificial Intelligence, 1988.
T. Whalen and B. Schott. Decision support with fuzzy production systems. In P Wang, editor, Advances in Fuzzy Set Theory and Applications. Plenum Press, 1983.
T. Whalen and B. Schott. Representing and manipulating fuzzy knowledge about forecasting problems and techniques. In Proceedings of the International Conference on Systems, Man, and Cybernetics, pages 127–131. IEEE, 1983.
T. Whalen and B. Schott. Advances in linguistic processing, pages 248–253. IEEE, N.Y., 1985.
J. Yen. A model of evidential reasoning in a hierarchical hypothesis space. Tech Rep. UCB/CSD 86/277, Computer Science Division, University of California Berkeley, Dec. 1985.
S. Yasunobu and S. Miyamoto. Automatic train operation system. In M. Sugeno, editor, Industrial Applications of Fuzzy Control, pages 1–18. Elsevier Science, 1985.
L. Zadeh. Outline of a new approach to the analysis of complex systems and decsion processes. IEEE Trans, on Sys. Man Cybern., 3(1): 28–44, 1973.
L. Zadeh. The concept of a linguistic variable and its application to approximate reasoning - i. Inf. Sci., 8:199–249, 1975.
L. Zadeh. The concept of a linguistic variable and its application to approximate reasoning - ii. Inf. Sci., 8:301–357, 1975.
L. Zadeh. The concept of a linguistic variable and its application to approximate reasoning - iii. Inf. Sci., 9:43–80, 1975.
L. Zadeh. A theory of approximate reasoning. In Hayes et al J., editor, Machine Intelligence 9, chapter 7, pages 149–193. John Wiley and Sons, Inc., 1979.
L. Zadeh. A computational approach to fuzzy quantifiers in natural languages. Tech. Memo M82/36 (revised), University of California, Berkeley/ERL, May 1982.
L. Zadeh. A simple view of the dempster-shafer theory of evidence and its implications for the rule of combination. Tech Rep. 33, University of California; Berkeley; Institute of Cognitive Studies, Nov. 1985.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
D’Ambrosio, B. (1989). Evaluation and Conclusion. In: Qualitative Process Theory Using Linguistic Variables. Symbolic Computation. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-9671-0_10
Download citation
DOI: https://doi.org/10.1007/978-1-4613-9671-0_10
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4613-9673-4
Online ISBN: 978-1-4613-9671-0
eBook Packages: Springer Book Archive