Comparing formal theories of context in AI

Artificial Intelligence

Volumn 155, Issue 1-2, 2004, Pages 41-67

  Serafini, Luciano ^a   Bouquet, Paolo ^a,b  

^a FONDAZIONE BRUNO KESSLER   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

Context; Contextual reasoning; Local models semantics; Logic of context; MultiContext systems; Propositional logic of context

Indexed keywords

DATABASE SYSTEMS; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; SEMANTICS;

CONTEXT; CONTEXTUAL REASONING; LOCAL MODELS SEMANTICS; LOGIC OF CONTEXT; MULTICONTEXT SYSTEMS; PROPOSITIONAL LOGIC OF CONTEXT;

ARTIFICIAL INTELLIGENCE;

EID: 1842511678     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2003.11.001     Document Type: Article

References (31)

1. Akman V., Bouquet P., Thomason R., Young R.A. Proceedings of the 3rd International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-01), Dundee, Scotland. Lecture Notes in Artificial Intelligence. vol. 2116:2001;Springer, Berlin.
2. Akman V., Surav M. Steps toward formalizing context. AI Magazine. 17:(3):1996;55-72.
3. Bar-Hillel Y. Indexical expressions. Mind. 63:1954;359-379.
4. Barwise J. Conditionals and conditional information. Traugott E.C., Ferguson C.A., Reilly J.S. On Conditionals. 1986;21-54 Cambridge University Press, Cambridge, UK.
5. Blackburne P., Ghidini C., Turner R.M., Giunchiglia F. Proceedings of the 4th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-03), Stanford University, CA. Lecture Notes in Artificial Intelligence. vol. 2680:2003;Springer, Berlin.
6. Bouquet P., Giunchiglia F. Reasoning about theory adequacy. A new solution to the qualification problem. Fund. Inform. 23:(2-4):1995;247-262.
7. Bouquet P., Serafini L., Brezillon P., Benerecetti M., Castellani F. Proceedings of the 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-99), Trento University, Italy. Lecture Notes in Artificial Intelligence. vol. 1688:1999;Springer, Berlin.
8. Brezillon P. Context in problem solving: A survey. Knowledge Engrg. Rev. 14:(1):1999;1-34.
9. Buvač S. Quantificational logic of context. Proceedings of AAAI-96, Portland, OR. 1996;600-606.
10. Buvač S., Buvač V., Mason I.A. Metamathematics of contexts. Fund. Inform. 23:(3):1995;412-419.
11. Criscuolo G., Giunchiglia F., Serafini L. A foundation for metareasoning, part I: The proof theory. J. Logic Comput. 12:(1):2002;167-208.
12. Criscuolo G., Giunchiglia F., Serafini L. A foundation for metareasoning, part II: The model theory. J. Logic Comput. 12:(3):2002;345-370.
13. Dinsmore J. Partitioned Representations. 1991;Kluwer Academic, Dordrecht.
14. Fauconnier G. Mental Spaces: Aspects of Meaning Construction in Natural Language. 1985;MIT Press, Cambridge, MA.
15. Ghidini C., Giunchiglia F. Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence. 127:(2):2001;221-259.
16. Giunchiglia F. Contextual reasoning. Epistemologia (special issue on I Linguaggi e le Macchine). 16:1993;345-364.
17. Giunchiglia F., Bouquet P. Introduction to contextual reasoning. An Artificial Intelligence perspective. Kokinov B. Perspectives on Cognitive Science, vol. 3. 1997;138-159 NBU Press, Sofia.
18. Giunchiglia F., Serafini L. Multilanguage hierarchical logics, or: How we can do without modal logics. Artificial Intelligence. 65:(1):1994;29-70.
19. Giunchiglia F., Weyhrauch R.W. A multi-context monotonic axiomatization of inessential non-monotonicity. Nardi D., Maes P. Meta-Level Architectures and Reflection. 1988;271-285 North Holland, Amsterdam.
20. R.V. Guha, Contexts: A formalization and some applications, Technical Report ACT-CYC-423-91, MCC, Austin, TX, 1991.
21. Kaplan D. On the Logic of demonstratives. J. Philos. Logic. 8:1978;81-98.
22. McCarthy J. Generality in artificial intelligence. Comm. ACM. 30:(12):1987;1030-1035. Also Lifschitz V. Formalizing Common Sense: Papers by John McCarthy. 1990;226-236 Ablex.
23. McCarthy J. Generality in artificial intelligence. Comm. ACM. 30:(12):1987;1030-1035. Also Lifschitz V. Formalizing Common Sense: Papers by John McCarthy. 1990;226-236 Ablex.
24. McCarthy J. Notes on formalizing context. Proceedings of IJCAI-93, Chambéry, France. 1993;555-560.
25. McCarthy J., Buvač S. Formalizing context (expanded notes). Aliseda A., van Glabbeek R.J., Westerstähl D. Computing Natural Language. CSLI, Lecture Notes. vol. 81:1998;13-50 Center for the Study of Language and Information, Stanford University.
26. Newell A., Simon H.A. Human Problem Solving. 1972;Prentice-Hall, Englewood Cliffs, NJ.
27. Perry J. Indexicals and demonstratives. Hale R., Wright C. Companion to the Philosophy of Language. 1997;Blackwell, Oxford.
28. Prawitz D. Natural Deduction - A Proof Theoretical Study. 1965;Almquist and Wiksell, Stockholm.
29. Surav M., Akman V. Modeling context with situations. Brezillon P., Abu-Hakima S. Working Notes of the IJCAI-95 Workshop on "Modelling Context in Knowledge Representation and Reasoning" 1995;145-156.
30. Thomason R.H. Type theoretic foundation for context, part 1: Contexts as complex type-theoretic objects. Bouquet P., Serafini L., Brezillon P., Benerecetti M., Castellani F. Proceedings of the 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-99), Trento University, Italy. Lecture Notes in Artificial Intelligence. vol. 1688:1999;351-360 Springer, Berlin.
31. Weyhrauch R.W. Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence. 13:(1):1980;133-176.