Graded hypothesis theories

Theoretical Computer Science

Volumn 171, Issue 1-2, 1997, Pages 247-280

  Chatalic, Philippe ^a   Froidevaux, Christine ^a   Schwind, Camilla ^b  

^a CNRS   (France)

^b AIX MARSEILLE UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE;

GRADED HYPOTHESIS THEORIES; IMPERFECT KNOWLEDGE; MULTIMODAL LOGIC;

LOGIC PROGRAMMING;

EID: 0030836956     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00131-4     Document Type: Article

References (45)

1. S. Benferhat, D. Dubois and H. Prade, Argumentative inference in uncertain and inconsistent knowledge bases, in: D. Heckerman and A. Mamdani, eds., Proc. UAI'93, 9th Conf. on Uncertainty in Artificial Intelligence, 411-419.
2. Ph. Besnard, An Introduction to Default Logic (Springer, Heidelberg, 1989).
3. Ph. Besnard and P. Siegel, Supposition-based logic for automated nonmonotonic reasoning, in: Proc. 9th CADE, Argonne (1988).
4. G. Birkhoff, Lattice Theory, Vol. XXV (American Mathematical Society Colloquium Publications, Providence, RI, 1973).
5. Ph. Chatalic, Viewing hypothesis theories as constrained graded theories, in: Proc. JELIA'94, York, GB, Sept, LNAI Vol. 838 (Springer, Berlin, 1994) 261-278.
6. Ph. Chatalic and Ch. Froidevaux, Graded logics: a framework for uncertain and defeasible knowledge, in: Z.W. Ras and M. Zemankova, eds., Methodologies for Intelligent Systems, Proc. ISMIS-91, Lecture Notes in Artificial Intelligence, Vol. 542 (1991) 479-489.
7. Ph. Chatalic and Ch. Froidevaux, Lattice based graded logics: a multimodal approach, in: Proc. Uncertainty in AI, Stanford, CA (Morgan-Koufmann, Los Altos, CA, 1992) 33-40.
8. Ph. Chatalic and Ch. Froidevaux, A multimodal approach to graded logic, L.R.I. Tech. Report 808, L.R.I., Université Paris-Sud, Orsay, France, 1993.
9. Ph. Chatalic and Ch. Froidevaux, Weak inconsistency in graded default logic and hypothesis theory, DRUMS II Tech. Report 3.1.1. BRA 6156, 1993.
10. B. Chellas, Modal Logic - An Introduction (Cambridge University Press, New York, 1980).
11. J.P. Delgrande, An approach to default reasoning based on a first-order conditional logic: revised report, Artificial Intelligence 36 (1988) 63-91.
12. D. Dubois, J. Lang and H. Prade, Inconsistency in knowledge bases - to live or not live with it, in: L.A. Zadeh and J. Kacprzyk, eds., Fuzzy Logic for the Management of Uncertainty (Wiley, New York, 1991).
13. D. Dubois, J. Lang and H. Prade, Possibilistic logic, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson and D. Nute, eds., Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 3: Non-Monotonic Reasoning and Uncertain Reasoning (Oxford Univ. Press, Oxford. 1991) 439-513.
14. D. Dubois and H. Prade (with the collaboration of H. Farreny, R. Martin-Clouaire, C. Testemale), Possibility Theory: An Approach to Computerized Processing of Uncertainty (Plenum Press, New York, 1988).
15. T.L. Fine, Theories of Probability: An Examination of Foundations (Academic Press, New York, 1993).
16. Ch. Froidevaux and Ch. Grossetête, Graded default theories for uncertainty, in: Proc. 9th European Conf. on Artificial Intelligence (ECAI'90), Stockholm (1990) 283-288.
17. P. Gärdenfors, Quantitative probability as an intensional logic, J. Phil. Logic 4 (1975) 171-185.
18. G. Gottlob, Complexity results for nonmonotonic logics, J. Logic Comput. 2 (1992) 397-425.
19. J. Halpern and M. Rabin, A logic to reason about likelihood, Artificial Intelligence 32 (1987) 379-405.
20. L. Henkin, The completeness of the first-order functional calculus, J. Symbolic Logic 14 (1949) 159-166.
21. F. Hughes and M. Cresswell, An Introduction to Modal Logic (Methuen and Co. Ltd., London, 2nd edn., 1972).
22. S. Kraus, D. Lehmann and M. Magidor, Non-monotonie reasoning, preferential Models and Cumulative logics, Artificial Intelligence 44 (1990) 167-207.
23. S.A. Kripke, Semantical Analysis of Modal Logic I, normal prepositional calculi, Zeitschr. f. math. Logik u. Grundl. d. Math. 9 (1963) 67-96.
24. J. Lang, Logique possibiliste: aspects formels, déduction automatique et applications, Ph.D. Thesis, IRIT, Univ. P. Sabatier, Toulouse, France, 1991.
25. J. Lang, D. Dubois and H. Prade, A Logic of graded possibility and certainty coping with partial inconsistency, Proc. Uncertainty in AI, ULCA, Los Angeles, CA (Morgan-Kaufmann, Los Altos, CA, 1991) 188-196.
26. D. Lehmann and M. Magidor, What does a conditional logic base entail. Artificial Intelligence 55 (1992) 1-60.
27. W. Marek, G.F. Shvarts and M. Truszczynski, Modal non-monotonic logics: ranges, characterization, computation, J. ACM 40 (1993) 963-990.
28. W. Marek, M. Truszczynski, Autoepistemic logic, J. ACM 38 (1991) 588-619.
29. J. McCarthy, Circumscription - A form of nonmonotonic reasoning, Artificial Intelligence 35 (1980) 27-39.
30. R. Moore, Autoepistemic logic, in: P. Smets, E.H. Mamdani, D. Dubois and H. Prade, eds., Non-Standard Logics for Automated Reasoning (Academic Press, London, 1988) 105-136.
31. N.J. Nilsson, Probabilistic logic, Artificial Intelligence 28 (1986) 71-87.
32. J. Pearl, Probabilistic Reasoning in Intelligent Systems - Networks of Plausible Inference (Morgan-Kaufmann, San Matheo, CA, 1988).
33. W. Pereira Gonzalez, Une logique modale pour le raisonnement dans l'incertain, Ph.D. Thesis. Univ. of Rennes I, France, 1992.
34. W. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988) 27-47.
35. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
36. R. Reiter, Nonmonotonic reasoning, Ann. Rev. Comput. Sci. 2 (1987) 147-186.
37. K. Schütte, Vollständige Systeme modular and Intuitionistischer Logik (Springer, Berlin, 1978).
38. C. Schwind and P. Siegel, A modal logic for hypothesis theory, Fundam. Inform. 21 (1994) 89-102.
39. G. Shafer, A Mathematical Theory of Evidence (Princeton University, Press, Princeton, 1976).
40. P. Siegel, A modal language for non-monotonic logic, DRUMS Workshop, Marseille, February 1990.
41. P. Siegel and C. Schwind, Modal logic based theory for non-monotonic reasoning, J. Appl. Non-Classical Logics 3 (1993) 73-92.
42. S. Toulmin, The Uses of Argument (Cambridge Univ. Press, Cambridge, 1956).
43. W. Van der Hoek, On the semanics of graded modalities, J. Appl. Non-Classical Logics II (1992) 81-123.
44. S.K. Wong, P. Lingras and Y. Yao, Propagation of preference relations in qualitative inference networks, Proc. IJCAI 91, Sydney, Australia (1991) 1204-1209.
45. L.A. Zadeh, Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets and Systems 1 (1978) 3-28.