Abstract
A case situation arising in a normal interaction among people is the baseline for discussing properties of the theory of viewpoints. In particular we consider how to ensure agreement on the meaning of certain utterances by agents who have different perspectives on the situation, while maintaning other knowledge as private. We argue that communication should be modeled as adding facts to the common knowledge of agents. We introduce the principle of ''referent sharing'' in communications and argue that common knowledge resulting from communication should only use constants whose referent is “manifest” to the parties involved.
Similar content being viewed by others
References
Aiello L.C., Nardi, D., and Schaerf, M., 1988, “Reasoning about knowledge and ignorance,” pp. 618–627 in International Conference of 5th generation Computer System, Tokyo: OHMSHA Ltd. and Springer-Verlag.
Attardi, G. and Simi, M., 1984, “Metalanguage and reasoning across viewpoints,” pp. 315–324 in ECAI84: Advances in Artificial Intelligence, T. O'shea, ed., Amsterdam: Elsevier Science Publishers.
Attardi, G. and Simi, M., 1986, “A description oriented logic for building knowledge bases,” Proceedings of the IEEE 74(10), 1335–1344.
Attardi, G. and Simi, M., 1991, “Reflections about reflection,” pp. 22–31 in Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, J.A. Allen, R. Fikes, and E. Sandewall, eds., San Mateo, CA: Morgan Kaufmann.
Attardi, G. and Simi, M., 1993, “A formalisation of viewpoints,” TR93062, International Computer Science Institute, Berkeley. Appeared also in Fundamenta Informaticae 23(2–4), 1995, 149–173.
Attardi, G. and Simi, M., 1994, “Proofs in context,” pp. 15–26 in Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference, J. Doyle and P. Torasso, eds., San Mateo, CA: Morgan Kaufmann.
Buvač, S. and Mason, I.A., 1993, “Propositional logic in context,” pp. 412–419 in Proceedings of the Eleventh AAAI Conference, Washington, DC.
Buvač, S., Buvač, V., and Mason, I.A., 1995, “Metamathematics of contexts,” Fundamenta Informaticae 23(2–4), 263–301.
Buvač, S., 1996, “Quantificational logic of context,” pp. 600–606 in Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI Press/MIT Press.
Cimatti, A. and Serafini, L., 1995,“Multi agent reasoning with belief contexts:The approach and a case study,” in Intelligent Agents: Proceedings of 1994 Workshop on Agent Theories, Architectures, and Languages, M. Wooldridge and N.R. Jennings, eds., Lecture Notes in Computer Science, Vol. 890, Berlin: Springer-Verlag.
Elgot-Drapkin, J.J. and Perlis, D., 1990, “Reasoning situated in time. I: Basic concepts,” Journal of Experimental and Theoretical Artificial Intelligence 2, 75–98.
Giunchiglia F. and Serafini, L., 1994, “Multilanguage hierarchical logics (or: how we can do without modal logics),” Artificial Intelligence 65, 29–70.
Guha, R.V., 1991, “Contexts:Aformalization and some applications,”MCC Technical Report Number ACT-CYC–423–91, also published as technical report STAN-CS–91–1399-Thesis.
Gupta, A., 1982, “Truth and paradox,” Journal of Philosophical Logic 11, 1–60.
Herzberger, H., 1982, “Notes on naive semantics,” Journal of Philosophical Logic 11, 61–102.
Kalish, D. and Montague, R., 1964, Logic: Techniques of Formal Reasoning, New York: Harcourt, Brace & World.
Kripke, S., 1975, “Outline of a theory of truth,” Journal of Philosophy 22(1), 690–716.
McCarthy, J., 1993, “Notes on formalizing context,” pp. 555–560 in Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, San Mateo, CA: Morgan Kaufmann.
Miller, M., 1995, “Context shifts and clashes in dialogues: An active logic perspective,” Fundamenta Informaticae 23(2–4), 355–370.
Montague, R., 1963, “Syntactical treatment of modalities, with corollaries on reflexion principles and finite axiomatizability,” Acta Philosophica Fennica 16, 153–167.
Perlis, P., 1985, “Languages with self-reference. I: Foundations,” Artificial Intelligence 25, 301–322.
Quine, W.V., 1953, “On mental entities,” pp. 221–227 in The Ways of Paradox and Other Essays, Cambridge, MA: Harvard University Press, 1976.
Quine, W.V., 1968, “Linguistics and philosophy,” pp. 56–59 in The Ways of Paradox and Other Essays, Cambridge, MA: Harvard University Press, 1975.
Shoham, S., 1991, “Varieties of contexts,” pp. 393–407 in Artificial Intelligence and theMathematical Theory of Computation: Papers in Honor of John McCarthy, V. Lifschitz, ed., London: Academic Press.
Simi, M., 1991, “Viewpoints subsume belief, truth and situations,” pp. 38–47 in Trends in Artificial Intelligence, Proceedings of 2nd Congress of the Italian Association for Artificial Intelligence, E. Ardizzone, S. Gaglio, and F. Sorbello, eds., Lecture Notes in Artificial Intelligence, Vol. 549, Berlin: Springer-Verlag.
Weyhrauch, R.W., 1980, “Prolegomena to a theory of mechanized formal reasoning,” Artificial Intelligence 13(1–2), 133–170.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Attardi, G., Simi, M. Communication across Viewpoints. Journal of Logic, Language and Information 7, 53–75 (1998). https://doi.org/10.1023/A:1008211103003
Issue Date:
DOI: https://doi.org/10.1023/A:1008211103003