Communication across viewpoints

Journal of Logic, Language and Information

Volumn 7, Issue 1, 1998, Pages 53-75

  Attardi, Giuseppe ^a   Simi, Maria ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

contexts; metalevel theories; natural deduction; reflective theories; Viewpoints

Indexed keywords

EID: 34248766455     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1008211103003     Document Type: Review

References (27)

1. 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.
2. 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.
3. Attardi, G. and Simi, M., 1986, "A description oriented logic for building knowledge bases," Proceedings of the IEEE 74(10), 1335-1344.
4. 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.
5. Attardi, G. and Simi, M., 1993, "A formalisation of viewpoints," TR-93-062, International Computer Science Institute, Berkeley.
6. Appeared also in Fundamenta Informaticae 23(2-4), 1995, 149-173.
7. 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.
8. Buvač, S. and Mason, I.A., 1993, "Propositional logic in context," pp. 412-419 in Proceedings of the Eleventh AAAI Conference, Washington, DC.
9. Buvač, S., Buvač, V., and Mason, L.A., 1995, "Metamathematics of contexts," Fundamenta Informaticae 23(2-4), 263-301.
10. Buvač, S., 1996, "Quantificational logic of context," pp. 600-606 in Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI Press/MIT Press.
11. 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.
12. Elgot-Drapkin, J.J. and Perlis, D., 1990, "Reasoning situated in time. I: Basic concepts," Journal of Experimental and Theoretical Artificial Intelligence 1, 75-98.
13. Giunchiglia F. and Serafini, L., 1994, "Multilanguage hierarchical logics (or: how we can do without modal logics)," Artificial Intelligence 65, 29-70.
14. Guha, R. V., 1991, "Contexts: A formalization and some applications," MCC Technical Report Number ACT-CYC-423-91, also published as technical report STAN-CS-91-1399-Thesis.
15. Gupta, A., 1982, "Truth and paradox," Journal of Philosophical Logic 11, 1-60.
16. Herzberger, H., 1982, "Notes on naive semantics," Journal of Philosophical Logic 11, 61-102.
17. Kalish, D. and Montague, R., 1964, Logic: Techniques of Formal Reasoning, New York: Harcourt, Brace & World.
18. Kripke, S., 1975, "Outline of a theory of truth," Journal of Philosophy 22(1), 690-716.
19. 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.
20. Miller, M., 1995, "Context shifts and clashes in dialogues: An active logic perspective," Fundamenta Informaticae 23(2-4), 355-370.
21. Montague, R., 1963, "Syntactical treatment of modalities, with corollaries on reflexion principles and finite axiomatizability," Acta Philosophica Fennica 16, 153-167.
22. Perlis, P., 1985, "Languages with self-reference. I: Foundations," Artificial Intelligence 25, 301-322.
23. Quine, W.V., 1953, "On mental entities," pp. 221-227 in The Ways of Paradox and Other Essays, Cambridge, MA: Harvard University Press, 1976.
24. Quine, W.V., 1968, "Linguistics and philosophy," pp. 56-59 in The Ways of Paradox and Other Essays, Cambridge, MA: Harvard University Press, 1975.
25. Shoham, S., 1991, "Varieties of contexts," pp. 393-407 in Artificial Intelligence and the Mathematical Theory of Computation: Papers in Honor of John McCarthy, V. Lifschitz, ed., London: Academic Press.
26. 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.
27. Weyhrauch, R.W., 1980, "Prolegomena to a theory of mechanized formal reasoning," Artificial Intelligence 13(1-2), 133-170.