Abstract
This paper provides an overview of present trends in approximate and commonsense reasoning. The different types of reasoning, which can be covered by this generic expression, take place when the available information is either incomplete, or inconsistent, or pervaded with uncertainty, or imprecise and qualitative. The conclusions which are then obtained are usually plausible but uncertain. Yet, approximate or commonsense reasoning is useful in practical problems such as prospect evaluation, diagnosis, forecasting and decision tasks, where better information cannot be got. Classical logic is insufficient for handling these types of reasoning. Different ideas of orderings play a role in these reasoning processes: plausibility orderings between interpretations or situations which are unequally uncertain, similarity orderings with respect to prototypical situations or cases, preference orderings between acts or situations when the problem is a matter of choice. These orderings can be encoded using purely ordinal scales, or scales with a richer structure (when it is meaningful and compatible with the quality of the available information). This general idea of ordering provides a kind of unification between the different reasoning modes and somewhat typifies approximate and commonsense reasoning. Advances in default reasoning, inconsistency handling, data fusion, updating, abductive reasoning, interpolative reasoning, and decision issues in relation with Artificial Intelligence research, are briefly reviewed. Open questions and directions for future research which seem especially important for the development of practical applications are pointed out. The paper is largely based on authors' research experience, and as such, presents a rather personal view, which may not be exempt from some biases.
Preview
Unable to display preview. Download preview PDF.
References
Adams E.W. (1975) The logic of conditionals. D. Reidel, Dordrecht.
Baral C., Kraus S., Minker J., Subrahmanian V.S. (1992) Combining knowledge bases consisting in first order theories. Computational Intelligence, 8(1), 45–71.
Bellman R., Kalaba L., Zadeh L.A. (1966) Abstraction and pattern classification. J. Math. Anal. & Appl., 13, 1–7.
Bellman R., Zadeh L.A. (1970) Decision making in a fuzzy environement. Management Science, 17, B141–B164.
Benferhat S., Dubois D., Lang J., Prade H. (1994) Hypothetical reasoning in possibilistic logic: basic notions, applications and implementation issues. In: Between Mind and Computer (P.Z. Wang, K.F. Loe, eds.), World Scientific Publ., 1–29.
Benferhat S., Dubois D., Prade H. (1992) Representing default rules in possibilistic logic. Proc. 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, MA, Oct. 26–29, 673–684.
Benferhat S., Dubois D., Prade H. (1994) Expressing independence in a possibilistic framework and its application to default reasoning. Proc. ECAI'94, 150–154.
Benferhat S., Dubois D., Prade H. (1995) How to infer from inconsistent beliefs without revising? Proc. IJCAI'95, Montréal, Canada, Aug. 20–25, 1449–1455.
Bensana E., Bel G., Dubois D. (1988) OPAL: A multi-knowledge-based system for industrial job-shop scheduling. Int. J. Prod. Res., 26, 795–819.
Boutilier C., Goldszmidt M. (1993) Revision by conditional beliefs. Proc. AAAI'93, July 11–15, 649–654.
Cayrac D., Dubois D., Haziza M., Prade H. (1994) Possibility theory in “fault mode effect analyses” — A satellite fault diagnosis application-. Proc. of the IEEE World Cong. on Computational Intelligence, Orlando, FL, June 26–July 2, 1176–1181.
Cholvy L. (1994) Database updates and transition constraints. Int. J. Intelligent Systems, 9, 169–180.
Console L., Torasso P. (1991) A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3), 133–141.
De Kleer J. (1986) ‘An assumption-based TMS’ and ‘Extending the ATMS'. Artificial Intelligence, 28, 127–196.
Delgrande J., Pelletier F.J. (1994) A formal to relevance. Proc. 1994 Fall Symp., New Orleans, Louisiana, Nov. 4–6, 1994, AAAI Press, 40–43.
Dubois D., Dupin de Saint-Cyr F, Prade H. (1995) Updating, transition constraints and possibilistic Markov chains. In: Advances in Intelligent Computing — IPMU'94 (B. Bouchon-Meunier et al., eds.), LNCS, Vol. 945, Springer Verlag, Berlin, 263–272
Dubois D., Esteva F., Garcia P., Godo L., Prade H. (1995) Similarity-based consequence relations. In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proc. ECSQARU'95, 1995) (C. Froidevaux, J. Kohlas, eds.), Springer Verlag, 171–179.
Dubois D., Fargier H., Prade H. (1994) Propagation and satisfaction of flexible constraints. In: Fuzzy Sets, Neural Networks and Soft Computing (R.R. Yager, L.A. Zadeh, eds.), Van Nostrand Reinhold, New York, 166–187.
Dubois D., Grabisch M., Prade H. (1994) Gradual rules and the approximation of control laws. In: Theoretical Aspects of Fuzzy Control (H.T. Nguyen et al., eds.), Wiley, New York, 147–181.
Dubois D., Lang J., Prade H. (1994) Possibilistic logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3 (D.M. Gabbay et al., eds.), Oxford University Press, 439–513.
Dubois D., Prade H. (1988) Possibility Theory. Plenum Press, New York.
Dubois D., Prade H. (1992) Fuzzy rules in knowledge-based systems. In: An Introduction to Fuzzy Logic Applications in Intelligent Syst. (R.R. Yager, L.A. Zadeh, eds.), 45–68.
Dubois D., Prade H. (1994a) Non-standard theories of uncertainty in knowledge representation and reasoning. Proc. 4th Inter. Conf. on Principles of Knowledge Representation and Reasoning (J. Doyle et al., eds.), Bonn, 1994, 634–645. Revised version in: The Knowledge Engineering Review, 9, 1994, 399–416.
Dubois D., Prade H. (1994b) Conditional objects as nonmonotonic consequence relationships. IEEE Trans. on Systems, Man and Cybernetics, 24(12), 1724–1740.
Dubois D., Prade H. (1994c) Possibility theory and data fusion in poorly informed environments. Control Engineering Practice, 2(5), 811–823.
Dubois D., Prade H. (1995a) Conditional objects, possibiliy theory and default rules. In: Conditionals: From Philosophy to Computer Sciences (G. Crocco et al., eds.), Oxford University Press, 311–346.
Dubois D., Prade H. (1995b) Possibility theory as a basis for qualitative decision theory. Proc. 14th Inter. Joint Conf. on Artificial Intellig. (IJCAI'95), Montréal, 1924–1930.
Dubois D., Prade H., Smets P. (1995) Representing partial ignorance. IEEE Trans. on Systems, Man and Cybernetics, to appear.
Elvang-Goransson M., Krause P., Fox J. (1993) Dialectic reasoning with inconsistent information. Proc. 9th Conf. on Uncertainty in Artificial Intelligence (D. Heckerman, A. Mamdani, eds.), 114–121.
Fagin R., Ullman J.D., Vardi M.Y. (1983) On the semantics of updates in database. Proc. 2nd ACM SIGACT-SIGMOD Symp. on the Principles of Databases Systems, 352–365.
Gabbay D.M. (1985) Theoretical foundations for non-monotonic reasoning in expert systems. In: Logics and models of Concurrent Systems (K.R. Apt, ed.), 439–457.
Gärdenfors P. (1988) Knowledge in Flux. The MIT Press, Cambridge, MA.
Gärdenfors P., Makinson D. (1994) Nonmonotonic inference based on expectations. Artificial Intelligence, 65, 197–245.
Gilboa I., Schmeidler D. (1992) Case-based decision theory. Discussion Paper No. 994, Northwestern University. Revised, 1993.
Goodman I.R., Nguyen H.T., Walker E.A. (1991) Conditional Inference and Logic For Intelligent Systems. North-Holland, Amsterdam.
Katsuno H., Mendelzon A.O. (1991) On the difference between updating a knowledge base and revising it. Proc. 2nd Conf. on Principles of Knowledge Representation and Reasoning (KR'91) (J. Allen et al., eds.), Cambridge, MA, 387–394.
Klawonn F., Kruse R. (1993) Equality relations as a basis for fuzzy control. Fuzzy Sets and Systems, 54, 147–156.
Kolodner J. (1993) Case-Based Reasoning. Morgan and Kaufmann, San Francisco, CA.
Kraus S., Lehmann D., Magidor M. (1990) Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44, 167–207.
Lehmann D., Magidor M. (1992) What does a conditional knowledge base entail? Artificial Intelligence, 55(1), 1–60.
Nebel B. (1991) Belief revision and default reasoning: Syntax-based approaches. Proc. 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning (J. Allen et al., eds.), Cambridge, MA, April 22–25, 114–121.
Pawlak Z. (1991) Rough Sets — Theoretical Aspects of Reasoning about Data. Kluwer Academic Publ., Dordrecht.
Pearl J. (1988) Probabilistic Reasoning in Intelligent Systems. Morgan & Kaufmann.
Pearl J. (1990) System Z: a natural ordering of defaults with tractable applications to default reasoning. Proc. 3rd Conf. on the Theoretical Aspects of Reasonig About Knowledge (TARK'90), Morgan and Kaufmann, San Mateo, CA, 121–135.
Peng Y., Reggia (1990) Abductive Inference Models for Diagnostic Problem-Solving. Springer Verlag, New York.
Rescher N., Manor R. (1970) On inference from inconsistent premises. Theory and Decision, 1, 179–219.
Ruspini E. (1991) On the semantics of fuzzy logic. Int. J. Approx. Reasoning, 5, 45–88.
Sanchez E. (1977) Solutions in conposite fuzzy relations equations — Application to medical diagnosis in Brouwerian logic. In: Fuzzy Automated and Decision Processes (M.M. Gupta et al., eds.) North-Holland, 221–234.
Shoham Y. (1988) Reasoning about Change. The MIT Press, Cambridge, MA.
Zadeh L.A. (1978) Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets & Systems, 1, 3–28.
Zadeh L.A. (1979) A theory of approximate reasoning. In: Machine Intelligence, Vol. 9 (J.E. Hayes, D. Michie, L.I. Mikulich, eds.), Elsevier, New York, 149–194.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dubois, D., Prade, H. (1996). Approximate and commonsense reasoning: From theory to practice. In: Raś, Z.W., Michalewicz, M. (eds) Foundations of Intelligent Systems. ISMIS 1996. Lecture Notes in Computer Science, vol 1079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61286-6_128
Download citation
DOI: https://doi.org/10.1007/3-540-61286-6_128
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61286-5
Online ISBN: 978-3-540-68440-4
eBook Packages: Springer Book Archive