Definability and commonsense reasoning

Artificial Intelligence

Volumn 93, Issue 1-2, 1997, Pages 169-199

  Amati, Gianni ^a   Carlucci Aiello, Luigia ^b   Pirri, Fiora ^b  

^a FONDAZIONE UGO BORDONI   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Commonsense reasoning; Contextual reasoning; Default logic; Definability; Fixed points; Logic of provability; Self reference

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; THEOREM PROVING;

COMMONSENSE REASONING; FIXED POINT EQUATIONS;

ARTIFICIAL INTELLIGENCE;

EID: 0031166552     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(96)00049-5     Document Type: Article

References (55)

1. G. Amati, L. Carlucci Aiello, D. Gabbay and F. Pirri, A structural property on modal frames characterizing default logic, J. IGPL 4 (1996) 1-24.
2. G. Amati, L. Carlucci Aiello and F. Pirri, Deduction methods for KD4Z, Tech. Rept. Rap. VI.94, Universitá di Roma "La Sapienza", Roma (1994).
3. G. Amati, L. Carlucci Aiello and F. Pirri, Intuitionistic autoepistemic logic, Stud. Logica (to appear).
4. C. Bernardi, The fixed-point theorem for diagonalizable algebras. Stud. Logica 34 (1975) 239-251.
5. P. Besnard and T. Schaub, Possible world semantics for default logic, in: Working Notes 4th International Workshop on Nonmonotonic Reasoning (1992) 34-40.
6. E. Beth, On Padoa's method in the theory of definition, Indag. Math. 15 (1953) 330-339.
7. G. Boolos, On the Unprovability of Consistency (Oxford University Press, Oxford, 1979).
8. J. Doyle, A model for deliberation, action, and introspection, AI-TR 581, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA (1980).
9. J. Doyle, A mathematical basis for psychology, Unpublished manuscript (1981).
10. J. Doyle, Some theories of reasoned assumptions: an essay in rational psychology, Tech. Rept. CMU-CS-83-125, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA (1983).
11. J. Doyle, Circumscription and implicit definability, J. Automated Reasoning 1 (1985) 391-405.
12. D. Etherington, Reasoning with Incomplete Information (Morgan Kaufman, San Mateo, CA, 1988).
13. M. Fitting, Proof Methods for Modal and Intuitionistic Logics (Reidel, Dordrecht, 1983).
14. D.M. Gabbay, Modal provability interpretations for negation by failure, in: P. Shroeder-Heister, ed., Extensions of Logic Programming, Lecture Notes in Computer Science 475 (Springer, Berlin, 1991) 179-222.
15. P. Gärdenfors, A geometric model of concept formation, Information Modelling and Knowledge Bases III (IOS Press, Amsterdam, 1992) 1-17.
16. M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in: Proceedings Fifth International Conference on Logic Programming (ICLP-88) (1988) 230-237.
17. R. Goldblatt, Logics of time and computation, CSLI (1992).
18. J. Halpern and Y. Moses, Toward a theory of knowledge and ignorance: preliminary report, in: Proceedings AAAI Workshop on Non-Monotonic Reasoning, New Paltz, NY (Morgan Kaufmann, Los Altos, CA, 1984) 125-143.
19. K. Konolige, On the relation between default and autoepistemic logic, Artif. Intell. 35 (1988) 343-382.
20. H.J. Levesque, All I know: a study in autoepistemic logic, Artif. Intell. 42 (1990) 381-386.
21. V. Lifschitz, Computing circumscription, in: Proceedings IJCAI-85, Los Angeles, CA (1985) 121-127.
22. V. Lifschitz, Formal theories of action, in: The Frame Problem in Artificial Intelligence (Morgan Kaufmann, Los Altos, CA, 1987) 35-57.
23. F. Lin, Specifying the effects of indeterminate actions, Tech. Rept., Computer Science Department, University of Toronto, Toronto, Ont. (1996).
24. F. Lin and R. Reiter, State constraints revisited, J. Logic Comput. 4 (1994) 655-678.
25. F. Lin and Y. Shoham, Epistemic semantics for fixed-points non-monotonic logics, in: Proceedings Third Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA (1990) 111-120.
26. V.W. Marek, G. Schwarz and M. Truszczynski, Modal nonmonotonic logics: ranges, characterization, computation, J. ACM 40 (1993) 963-990.
27. V.W. Marek and M. Truszczynski, Modal logic for default reasoning, in: Ann. Math. Artif. Intell. 1 (1990) 275-302.
28. V.W. Marek and M. Truszczynski, Nonmonotonic Logic, Context-Dependent Reasoning (Springer, Berlin, 1993).
29. J. McCarthy, Circumscription - a form of nonmonotonic reasoning, Artif. Intell 13 (1980) 27-39.
30. D. McDermott, Non-monotonic logic II: non-monotonic modal theories, J. ACM 29 (1982) 33-57.
31. D. McDermott and J. Doyle, Non-monotonic logic I, Artif. Intell. 13 (1980) 41-72.
32. C. Mervis and E. Rosh, Categorization of natural objects, Annual Rev. Psychol. 32 (1981) 89-115.
33. F. Montagna, The predicate modal logic of provability. Notre Dame J. Formal Logic 25 (1984) 179-189.
34. R. Montague, Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability, Acta Philos. Fennica 16 (1963) 153-167.
35. R. Moore, Semantical considerations on nonmonotonic logics, Artif. Intell. 25 (1985) 75-94.
36. R. Moore, Possible-world semantics for autoepistemic logic, in: M. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufmann, Los Altos, CA, 1987) 137-142.
37. D. Perlis, Languages with self-reference I: foundations, Artif. Intell. 25 (1985) 301-322.
38. D. Perlis, Languages with self-reference II: knowledge, belief, and modality, Artif. Intell 34 (1988) 179-212.
39. R. Reiter, A logic for default reasoning, Artif. Intell. 13 (1980) 81-132.
40. R. Reiter, Circumscription implies predicate completion (sometimes), in: Proceedings AAAI-82, Pittsburgh, PA (1982) 183-188.
41. R. Reiter, Nonmonotonic reasoning, in: Annual Review of Computer Science 2 (Annual Reviews Inc., Palo Alto, CA, 1987) 147-186.
42. G. Schwarz, Autoepistemic modal logics, in: Proceedings Third Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA (1990) 97-109.
43. G. Schwarz, Minimal model semantics for nonmonotonic modal logics, in: Proceedings First International Workshop on Logic Programming and Nonmonotonic Reasoning, Washington, DC (1991) 260-274.
44. G. Schwarz, Minimal model semantics for nonmonotonic modal logics, in: Proceedings Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, CA (1992) 34-43.
45. G. Schwarz, In search of a "true" logic of knowledge: the nonmonotonic perspective, Artif. Intell. 79 (1995) 39-63.
46. G. Schwarz and M. Truszczynski, Modal logic S4f and the minimal knowledge paradigm, in: Proceedings Third Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA (1990) 97-109.
47. G. Schwarz and M. Truszczynski, Minimal knowledge problem: a new approach, Artif. Intell. 67 (1994) 113-141.
48. C. Smorynski, Self-Reference and Modal Logic (Springer, Berlin, 1985).
49. C. Smorynski, Quantified modal logic and self-reference, Notre Dame J. Formal Logic 28 (1987) 356-370.
50. R. Smullyan, Languages in which self-reference is possible, J. Symbolic Logic 22 (1957) 55-67.
51. R. Smullyan, Diagonalization and Self-Reference (Oxford University Press, Oxford, 1994).
52. R. Solovay, Provability interpretations of modal logic, Israel J. Math. 25 (1976) 287-304.
53. R. Stalnaker, A note on non-monotonic modal logic, Artif. Intell. 64 (1993) 183-196.
54. A. Tarski, Some Methodological Investigations on the Definability of Concepts (Oxford University Press, Oxford, 1956).
55. M. Truszczynski, Modal interpretations of default logic, in: Proceedings IJCAI-91, Sydney (1991) 393-398.