×

Local Models Semantics, or contextual reasoning = locality + compatibility. (English) Zbl 0969.68141

Summary: In this paper we present a new semantics, called local models semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise the two main intuitions underlying contextual reasoning: (i) reasoning is mainly local and uses only part of what is potentially available (e.g., what is known, the available inference procedures), this part is what we call context (of reasoning); however (ii) there is compatibility among the reasoning performed in different contexts. We validate our semantics by formalizing two important forms of contextual reasoning: reasoning with viewpoints and reasoning about belief.

MSC:

68T30 Knowledge representation
68Q55 Semantics in the theory of computing
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Attardi, G.; Simi, M., A formalisation of viewpoints, Fundamenta Informaticae, 23, 2-4, 149-174 (1995) · Zbl 0821.03016
[2] Bar-Hillel, Y., Indexical expressions, Mind, 63, 359-379 (1954)
[3] Benerecetti, M.; Bouquet, P.; Ghidini, C., Formalizing belief reports—The approach and a case study, (Giunchiglia, F., Proc. AIMSA’98, 8th International Conference on Artificial Intelligence, Methodology, Systems, and Applications, Sozopol, Bulgaria. Proc. AIMSA’98, 8th International Conference on Artificial Intelligence, Methodology, Systems, and Applications, Sozopol, Bulgaria, Lecture Notes in Artificial Intelligence, 1480 (1998), Springer: Springer Berlin), 62-75
[4] Benerecetti, M.; Giunchiglia, F.; Serafini, L., Model checking multiagent systems, J. Logic Comput. (Special Issue on Computational & Logical Aspects of Multi-Agent Systems), 8, 3, 401-423 (1998), Also IRST-Technical Report 9708-07, IRST, Trento, Italy · Zbl 0904.68159
[5] Bouquet, P.; Giunchiglia, F., Reasoning about theory adequacy. A new solution to the qualification problem, Fundamenta Informaticae, 23, 2-4, 247-262 (1995), Also IRST-Technical Report 9406-13, IRST, Trento, Italy · Zbl 0826.68110
[6] Buvač, S., Quantificational logic of context, (Proc. AAAI-96, Portland, OR (1996))
[7] Buvač, S.; Mason, I. A., Propositional logic of context, (Proc. AAAI-93, Washington, DC (1993)), 412-419
[8] Chang, C. C.; Keisler, J. M., Model Theory (1973), North Holland: North Holland Amsterdam · Zbl 0276.02032
[9] Cimatti, A.; Serafini, L., Multi-agent reasoning with belief contexts: The approach and a case study, (Wooldridge, M.; Jennings, N. R., Intelligent Agents: Proc. 1994 Workshop on Agent Theories, Architectures, and Languages. Intelligent Agents: Proc. 1994 Workshop on Agent Theories, Architectures, and Languages, Lecture Notes in Computer Science, 890 (1995), Springer: Springer Berlin), 71-85, Also IRST-Technical Report 9312-01, IRST, Trento, Italy
[10] Criscuolo, G.; Giunchiglia, F.; Serafini, L., A foundation for metareasoning, part I: The proof theory (2000), Technical Report 0003-38, IRST: Technical Report 0003-38, IRST Trento, Italy, To be published in: J. Logic Comput
[11] Criscuolo, G.; Giunchiglia, F.; Serafini, L., A foundation for metareasoning, part II: The model theory (2000), Technical Report 0010-07, IRST: Technical Report 0010-07, IRST Trento, Italy, To be published in: J. Logic Comput
[12] Dinsmore, J., Partitioned Representations (1991), Kluwer Academic: Kluwer Academic Dordrecht
[13] Fagin, R.; Halpern, J. Y., Belief, awareness, and limited reasoning, Artificial Intelligence, 34, 39-76 (1988) · Zbl 0634.03013
[14] Farquhar, A.; Dappert, A.; Fikes, R.; Pratt, W., Integrating information sources using context logic, (Proc. AAAI Spring Symposium on Information Gathering from Distributed Heterogeneous Environments (1995))
[15] Fauconnier, G., Mental Spaces: Aspects of Meaning Construction in Natural Language (1985), MIT Press: MIT Press Cambridge, MA
[16] Fisher, M.; Ghidini, C., Programming resource-bounded deliberative agents, (Proc. IJCAI-99, Stockholm, Sweden (1999), Morgan Kaufmann: Morgan Kaufmann San Mateo, CA), 200-206
[17] Gabbay, D. M., Labelled Deductive Systems; Principles and Applications, Vol 1: Introduction. Labelled Deductive Systems; Principles and Applications, Vol 1: Introduction, Oxford Logic Guides, 33 (1996), Oxford University Press: Oxford University Press Oxford · Zbl 0858.03004
[18] Ghidini, C., A semantics for contextual reasoning: Theory and two relevant applications, Ph.D. Thesis (1998), Department of Computer Science, University of Rome “La Sapienza”, Also IRST-Technical Report 9803-02, IRST, Trento, Italy
[19] Ghidini, C., Modelling (un)bounded beliefs, (Bouquet, P.; Serafini, L.; Brezillon, P.; Benerecetti, M.; Castellani, F., Modelling and Using Context—Proc. 2nd International and Interdisciplinary Conference, Context’99. Modelling and Using Context—Proc. 2nd International and Interdisciplinary Conference, Context’99, Lecture Notes in Artificial Intelligence, 1688 (1999), Springer: Springer Heidelberg), 145-158 · Zbl 0943.03014
[20] Ghidini, C.; Serafini, L., Distributed first order logics, (Gabbay, D.; de Rijke, M., Frontiers of Combining Systems 2. Frontiers of Combining Systems 2, Studies in Logic and Computation (1998), Research Studies Press) · Zbl 1021.03007
[21] Ghidini, C.; Serafini, L., Information integration for electronic commerce, (Sierra, C.; Noriega, P., Proc. Workshop on Agent Mediated Electronic Trading (AMET’98), Minneapolis, MN. Proc. Workshop on Agent Mediated Electronic Trading (AMET’98), Minneapolis, MN, Lecture Notes in Artificial Intelligence, 1571 (1998), Springer: Springer Berlin), 189-206
[22] Ghidini, C.; Serafini, L., Model theoretic semantics for information integration, (Giunchiglia, F., Proc. AIMSA-98, 8th International Conference on Artificial Intelligence, Methodology, Systems, and Applications, Sozopol, Bulgaria. Proc. AIMSA-98, 8th International Conference on Artificial Intelligence, Methodology, Systems, and Applications, Sozopol, Bulgaria, Lecture Notes Artificial Intelligence, 1480 (1998), Springer: Springer Berlin), 267-280, Also IRST-Technical Report 9807-03, IRST, Trento, Italy
[23] Giunchiglia, E., Sistemi multi-contestuali: Teoria ed applicazioni, Ph.D. Thesis (1993), DIST—Università di Genova, Tesi di Dottorato di Ricerca in Ingegneria Elettronica ed Informatica: DIST—Università di Genova, Tesi di Dottorato di Ricerca in Ingegneria Elettronica ed Informatica Roma, Italia
[24] Giunchiglia, E.; Giunchiglia, F., Ideal and real belief about belief, (Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR’96. Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR’96, Lecture Notes in Artificial Intelligence, 1085 (1996), Springer: Springer Berlin), 261-275, Long version forthcoming in: J. Logic and Comput · Zbl 1004.03011
[25] Giunchiglia, F., Contextual reasoning, Epistemologia (Special Issue on I Linguaggi e le Macchine), XVI, 345-364 (1993), short version in: Proc. IJCAI-93 Workshop on Using Knowledge in its Context, Chambéry, France, 1993, pp. 39-49. Also IRST-Technical Report 9211-20, IRST, Trento, Italy
[26] Giunchiglia, F.; Bouquet, P., A context-based framework for mental representation, (Proc. 12th Annual Meeting of the Cognitive Science Society—CogSci’98, Madison, WI (1998))
[27] Giunchiglia, F.; Serafini, L., Multilanguage hierarchical logics (or: how we can do without modal logics), Artificial Intelligence, 65, 29-70 (1994), Also IRST-Technical Report 9110-07, IRST, Trento, Italy · Zbl 0787.68093
[28] Giunchiglia, F.; Serafini, L.; Giunchiglia, E.; Frixione, M., Non-omniscient belief as context-based reasoning, (Proc. IJCAI-93, Chambéry, France (1993)), 548-554, Also IRST-Technical Report 9206-03, IRST, Trento, Italy
[29] Giunchiglia, F.; Serafini, L.; Simpson, A., Hierarchical meta-logics: Intuitions, proof theory and semantics, (Proc. META-92, Workshop on Metaprogramming in Logic, Uppsala, Sweden. Proc. META-92, Workshop on Metaprogramming in Logic, Uppsala, Sweden, Lecture Notes in Computer Science, 649 (1992), Springer: Springer Berlin), 235-249, Also IRST-Technical Report 9101-05, IRST, Trento, Italy
[30] Givón, T., Mind, Code and Context. Essays in Pragmatics (1989), Lawrence Erlbaum Associates: Lawrence Erlbaum Associates Hillsdale, NJ
[31] Guha, R. V., Contexts: A formalization and some applications, Ph.D. Thesis (1991), Department of Computer Science, Stanford University, CA, Also Report No. STAN-CS-91-1399-Thesis
[32] Kripke, S. A., Semantical considerations on modal logic, (Proc. A Colloquium on Modal and Many-Valued Logics, Helsinki (1962)) · Zbl 0131.00602
[33] Lenat, D. B., Cyc: A large-scale investment in knowledge infrastructure, Comm. ACM, 38, 11, 33-38 (1995)
[34] McCarthy, J., Generality in artificial intelligence, Comm. ACM, 30, 12, 1030-1035 (1987), also in: V. Lifschitz (Ed.), Formalizing Common Sense: Papers by John McCarthy, Ablex Publ., Norwood, NJ, 1990, pp. 226-236 · Zbl 0644.68004
[35] McCarthy, J., Notes on formalizing context, (Proc. IJCAI-93, Chambéry, France (1993)), 555-560
[36] McCarthy, J.; Buvač, S., Formalizing context (expanded notes), (Aliseda, A.; van Glabbeek, R. J.; Westerståhl, D., Computing Natural Language. Computing Natural Language, CSLI Lecture Notes, 81 (1998), Center for the Study of Language and Information, Stanford University, CA), 13-50 · Zbl 0953.03517
[37] Mylopoulos, J.; Motschnig-Pitrik, R., Partitioning information bases with contexts, (Proc. 3rd International Conference on Cooperative Information Systems, Vienna (1995))
[38] Noriega, P.; Sierra, C., Towards layered dialogical agents, (Müller, J. P.; Wooldridge, M. J.; Jennings, N. R., Proc. 3rd International Workshop on Agent Theories, Architectures, and Languages (ATAL-96). Proc. 3rd International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence, 1193 (1996), Springer: Springer Berlin)
[39] Parsons, S.; Sierra, C.; Jennings, N. R., Agents that reason and negotiate by arguing, J. Logic Comput., 8, 3, 261-292 (1998) · Zbl 0904.68061
[40] Prawitz, D., Natural Deduction—A Proof Theoretical Study (1965), Almquist and Wiksell: Almquist and Wiksell Stockholm · Zbl 0173.00205
[41] Sabater, J.; Sierra, C.; Parsons, S.; Jennings, N., Using multi-context systems to engineer executable agents, (Jennings, N. R.; Lespérance, Y., Pre-proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL’99) (1999)), 131-148
[42] Theodorakis, M.; Analyti, A.; Constantopoulos, P.; Spyratos, N., Context in information bases, (Proc. 3rd International Conference on Cooperative Information Systems (CoopIS’98), New York City (1998), IEEE Computer Society), 260-270
[43] Weyhrauch, R. W., Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence, 13, 1, 133-176 (1980) · Zbl 0435.68070
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.