Possibilistic reasoning - A mini-survey and uniform semantics

Artificial Intelligence

Volumn 88, Issue 1-2, 1996, Pages 163-193

  Liau, Churn Jung ^a   Lin, Bertrand I Peng ^b  

^a INSTITUTE OF INFORMATION SCIENCE   (Taiwan)

^b NATIONAL TAIWAN UNIVERSITY   (Taiwan)

Author keywords

Conditional logic; Conditional possibility; Modal logic; Nonclassical logics; Possibility theory

Indexed keywords

ARTIFICIAL INTELLIGENCE; MATHEMATICAL MODELS;

CONDITIONAL LOGIC; CONDITIONAL POSSIBILITY; MODAL LOGIC; POSSIBILITY THEORY;

FORMAL LOGIC;

EID: 0030389007     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(96)00013-6     Document Type: Article

References (44)

1. H.L. Arlo-Costa and S.J. Shapiro, Maps between nonmonotonic and conditional logic, in: Proceedings 3rd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1992) 553-564.
2. S. Benferhat, D. Dubois and H. Prade, Representing default rules in possibilistic logic, in: Proceedings 3rd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1992) 673-684.
3. C. Boutilier, Inaccessible worlds and irrelevance: preliminary report, in: Proceedings IJCAI-91, Sydney (1991) 413-418.
4. C. Boutilier, A logic for revision and subjunctive queries, in: Proceedings AAAI-92, San Jose, CA (1992) 609-615.
5. C. Boutilier, Modal logics for qualitative possibility and beliefs, in: Proceedings 8th Conference on Uncertainty in Artificial Intelligence, Stanford, CA (1992) 17-24.
6. C. Boutilier, The probability of a possibility: adding uncertainty to default rules, in: Proceedings 9th Annual Conference on Uncertainty in Artificial Intelligence, Washington, DC (1993) 461-468.
7. J.P. Burgess, A quick completeness proofs for some logics of conditionals, Notre Dame J. Formal Logic 22 (1981) 76-84.
8. P. Chatalic and C. Froidevaux, Latticed-based graded logic: a multimodal approach, in: Proceedings 8th Conference on Uncertainty in Artificial Intelligence, Stanford, CA (1992) 33-40.
9. B.F. Chellas, Modal Logic: An Introduction (Cambridge University Press, Cambridge, 1980).
10. G. Crocco, L. Fariñas del Cerro and A. Herzig, Conditionals: From Philosophy to Computer Science (Oxford University Press, Oxford, 1995).
11. G. Crocco and P. Lamarre, On the connection between non-monotonic inference systems and conditional logics, in: Proceedings 3rd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1992) 565-571.
12. D. Dubois, F. Esteva, P. Garcia, L. Godo and H. Prade, Similarity-based consequence relations, in: C. Froidevaux and J. Kohlas, eds., Symbolic and Quantitative Approaches to Uncertainty, Lecture Notes in Artificial Intelligence 946 (Springer, Berlin, 1995).
13. D. Dubois, J. Lang and H. Prade, Fuzzy sets in approximate reasoning, part 2: logical approaches, Fuzzy Sets Syst. 40 (1991) 203-244.
14. D. Dubois, J. Lang and H. Prade, Possibilistic logic, in: D.M. Gabbay, C.J. Hogger and J.A. Robinson, eds., Handbook of Logic in Artificial Intelligence and Logic Programming 3: Nonmonotonic Reasoning and Uncertain Reasoning (Clarendon Press, Oxford, 1994) 439-513.
15. D. Dubois and H. Prade, Possibilistic inference under matrix form, in: H. Prade and C.V. Negoita, eds., Fuzzy Logic in Knowledge Engineering (Verlag TUV, Rheinland, 1986) 112-126.
16. D. Dubois and H. Prade, An introduction to possibilistic and fuzzy logics, in: P. Smets, A. Mamdani, D. Dubois and H. Prade, eds., Non-Standard Logics for Automated Reasoning (Academic Press, New York, 1988) 253-286.
17. D. Dubois and H. Prade, Epistemic entrenchment and possibilistic logic, Artif. Intell. 50 (1991) 223-239.
18. R. Fagin and J.Y. Halpern, Reasoning about knowledge and probability, in: Proceedings 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA (1988) 277-293.
19. L. Farinas del Cerro and A. Herzig, A modal analysis of possibility theory, in: P. Jorrand and J. Kelemen, eds., Fundamentals of Artificial Intelligence Research (FAIR'91), Lecture Notes in Artificial Intelligence 535 (Springer, Berlin, 1991) 11-18.
20. L. Farinas del Cerro, A. Herzig and J. Lang, From ordering-based nonmonotonic reasoning to conditional logics, Artif. Intell. 66 (1994) 375-393.
21. D.M. Gabbay, Theoretical foundations for nonmonotonic reasoning in expert systems, in: K. Apt, ed., Logics and Models of Concurrent Systems (Springer, Berlin, 1985) 439-459.
22. P. Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States (MIT Press, Cambridge, MA, 1988).
23. J.A. Goguen, L-fuzzy sets, J. Math. Anal. Appl. 18 (1967) 145-174.
24. +: a formalism for reasoning with variable-strength defaults, in: Proceedings AAAI-91, Anaheim, CA (1991) 399-404.
25. P. Hájek and D. Harmancová, A comparative fuzzy modal logic, in: E.P. Klement and W. Slany, eds., Fuzzy Logic in Artificial Intelligence, Lecture Notes in Artificial Intelligence 695 (Springer, Berlin, 1993) 27-34.
26. J.Y. Halpern and Y. Moses, A guide to completeness and complexity for modal logics of knowledge and belief, Artif. Intell. 54 (1992) 309-379.
27. D. Harel, Dynamic logic, in: D.M. Gabbay and F. Guenthner, eds., Handbook of Philosophical Logic II: Extensions of Classical Logic (Reidel, Dordrecht, 1984) 497-604.
28. G.J. Klir and D. Harmanec, On modal logic interpretation of possibility theory, Int. J. Uncertainty Fuzziness Knowledge-Based Syst. 2 (1994) 237-245.
29. S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artif. Intell. 44 (1990) 167-207.
30. S.A. Kripke, Semantical analysis of modal logic I: normal propositional calculi, Z. Math. Logik Grundlagen Math. 9 (1963) 67-96.
31. D. Lehmann, What does a conditional knowledge base entail?, in: Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ont. (1989) 212-222.
32. C.I. Lewis, Implication and the algebra of logic, Mind 21 (1912) 522-531.
33. D. Lewis, Counterfactuals (Harvard University Press, Cambridge, MA, 2nd ed., 1986).
34. C.J. Liau and I.P. Lin, Quantitative modal logic and possibilistic reasoning, in: Proceedings ECAI-92, Vienna (1992) 43-47.
35. C.J. Liau and I.P. Lin, Reasoning about higher order uncertainty in possibilistic logic, in: J. Komorowski and Z.W. Raś, eds., Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems, Lecture Notes in Artificial Intelligence 689 (Springer, Berlin, 1993) 316-325.
36. C.J. Liau and I.P. Lin, A logic for conditional possibility, in: Proceedings of the 1st ICSC International Symposium on Fuzzy Logic (1995) A83-A90.
37. C.J. Liau and I.P. Lin, A theoretical investigation into quantitative modal logic, Fuzzy Sets Syst. 75 (1995) 355-363.
38. D. Makinson, Five faces of minimality, Stud. Logica 52 (1993) 339-379.
39. D. Nute, Conditional logic, in: D.M. Gabbay and F. Guenthner, eds., Handbook of Philosophical Logic II: Extensions of Classical Logic (Reidel, Dordrecht, 1984) 387-439.
40. E. Ruspini, On the semantics of fuzzy logic, Int. J. Approx. Reasoning 5 (1991) 45-88.
41. G. Shafer, A Mathematical Theory of Evidence (Princeton University Press, Princeton, NJ, 1976).
42. W. Spohn, Ordinal conditional function: a dynamic theory of epistemic states, in: W.L. Harper and B. Skyrms, eds., Causation in Decision, Belief Change, and Statistics II (Kluwer Academic Publishers, Dordrecht, 1988) 105-134.
43. C. Stirling, Modal and temporal logics, in: S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, eds., Handbook of Logic in Computer Science 2. Background: Computational Structures (Clarendon Press, Oxford, 1992) 477-563.
44. L.A. Zadeh, Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets Syst. 1 (1978) 3-28.