Approximate and commonsense reasoning: From theory to practice

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1079, Issue , 1996, Pages 19-33

  Dubois, Didier ^a   Prade, Henri ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FUSION; INTELLIGENT SYSTEMS;

ABDUCTIVE REASONING; ARTIFICIAL INTELLIGENCE RESEARCH; COMMONSENSE REASONING; GENERIC EXPRESSION; INCONSISTENCY HANDLING; INTERPOLATIVE REASONING; PRACTICAL PROBLEMS; RESEARCH EXPERIENCE;

DATA HANDLING;

EID: 84949813936     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61286-6_128     Document Type: Conference Paper

References (51)

1. Adams E.W. (1975) The logic of conditionals. D. Reidel, Dordrecht.
2. Baral C., Kraus S., Minker J., Subrahmanian V.S. (1992) Combining knowledge bases consisting in first order theories. Computational Intelligence, 8(1), 45-71.
3. Bellman R., Kalaba L., Zadeh L.A. (1966) Abstraction and pattern classification. J. Math. Anal. & Appl., 13, 1-7.
4. Bellman R., Zadeh L.A. (1970) Decision making in a fuzzy environement. Management Science, 17, B141-B164.
5. 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.
6. 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.
7. Benferhat S., Dubois D., Prade H. (1994) Expressing independence in a possibilistic framework and its application to default reasoning. Proc. ECAI'94, 150-154.
8. Benferhat S., Dubois D., Prade H. (1995) How to infer from inconsistentbeliefs without revising? Proc. IJCAI'95, Montrral, Canada, Aug. 20-25, 1449-1455.
9. 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.
10. Boutilier C., Goldszmidt M. (1993) Revision by conditional beliefs. Proc. AAAI'93, July 11-15, 649-654.
11. 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.
12. Cholvy L. (1994) Database updates and transition constraints. Int. J. Intelligent Systems, 9, 169-180.
13. Console L., Torasso P. (1991) A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3), 133-141.
14. De Kleer J. (1986) 'An assumption-based TMS' and 'Extending the ATMS'. Artificial Intelligence, 28, 127-196.
15. 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.
16. 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
17. 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.
18. 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.
19. 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.
20. 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.
21. Dubois D., Prade H. (1988) Possibility Theory. Plenum Press, New York.
22. 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.
23. 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.
24. Dubois D., Prade H. (1994b) Conditional objects as nonmonotonic consequence relationships. IEEE Trans. on Systems, Man and Cybernetics, 24(12), 1724-1740.
25. Dubois D., Prade H. (1994c) Possibility theory and data fusion in poorly informed environments. Control Engineering Practice, 2(5), 811-823.
26. 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.
27. 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.
28. Dubois D., Prade H., Smets P. (1995) Representing partial ignorance. IEEE Trans. on Systems, Man and Cybernetics, to appear.
29. 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.
30. Fagin R., Ullman J.D., Vardi M.Y. (1983) On the semantics of updates in database. Proc. 2nd ACM SIGACT-SIGMOD Syrup. on the Principles of Databases Systems, 352-365.
31. 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.
32. Gäirdenfors P. (1988) Knowledge in Flux. The MIT Press, Cambridge, MA.
33. Gärdenfors P., Makinson D. (1994) Nonmonotonic inference based on expectations. Artificial Intelligence, 65, 197-245.
34. Gilboa I., Schmeidler D. (1992) Case-based decision theory. Discussion Paper No. 994, Northwestern University. Revised, 1993.
35. Goodman I.R., Nguyen H.T., Walker E.A. (1991) Conditional Inference and Logic For Intelligent Systems. North-Holland, Amsterdam.
36. 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.
37. Klawonn F., Kruse R. (1993) Equality relations as a basis for fuzzy control. Fuzzy Sets and Systems, 54, 147-156.
38. Kolodner J. (1993) Case-Based Reasoning. Morgan and Kaufmann, San Francisco, CA.
39. Kraus S., Lehmann D., Magidor M. (1990) Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44, 167-207.
40. Lehmann D., Magidor M. (1992) What does a conditional knowledge base entail? Artificial Intelligence, 55(1), 1-60.
41. 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.
42. Pawlak Z. (1991) Rough Sets -- Theoretical Aspects of Reasoning about Data. Kluwer Academic Publ., Dordrecht.
43. Pearl J. (1988) Probabilistic Reasoning in Intelligent Systems. Morgan & Kaufmann.
44. 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.
45. Peng Y., Reggia (1990) Abductive Inference Models for Diagnostic Problem-Solving. Springer Verlag, New York.
46. Rescher N., Manor R. (1970) On inference from inconsistent premises. Theory and Decision, 1, 179-219.
47. Ruspini E. (1991) On the semantics of fuzzy logic. Int. J. Approx. Reasoning, 5, 45-88.
48. 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.
49. Shoham Y. (1988) Reasoning about Change. The MIT Press, Cambridge, MA.
50. Zadeh L.A. (1978) Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets & Systems, 1, 3-28.
51. 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.