Skip to main content

Viewpoints subsume beliefs, truth and situations

  • Conference paper
  • First Online:
Trends in Artificial Intelligence (AI*IA 1991)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 549))

Included in the following conference series:

  • 120 Accesses

Abstract

A formal notion of viewpoint, relying on an extension of first order predicate calculus with an axiomatization of provability and reflection rules, is presented. The extension is not conservative and it is, in our intention, the best we can do if we care about consistency. Viewpoints are defined as set of sentences at the meta-level. The paper investigates to what extent notions such as belief, knowledge, truth and situations can be uniformly modeled as provability in “specialized viewpoints”, obtained by imposing suitable constraints on viewpoints.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  • Attardi G., Simi M., “Metalanguage and Reasoning across Viewpoints”, in ECAI-84:Advances in Artificial Intelligence, T. O'Shea (ed.), Elsevier Science Publishers, Amsterdam, 1984

    Google Scholar 

  • Attardi G., Simi M., “Reflections about Reflection”, in Allen, J. A., Fikes, R., and Sandewall, E. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference. San Mateo, CA: Morgan Kaufmann, 1991.

    Google Scholar 

  • Bowen K.A., Kowalski R.A., “Amalgamating Language and Metalanguage in Logic Programming”, in Logic Programming, K. Clark and S. Tarnlund (eds.), Academic Press, 1982, 153–172.

    Google Scholar 

  • Davies N., “Towards a First Order Theory of Reasoning Agents, Proc. of 9th European Conference on Artificial Intelligence, Stockholm, 1990, 195–200.

    Google Scholar 

  • Konolige K., “A First-order Formalization of Knowledge and Action for a Multi-agent Planning System”, Machine Intelligence 10, 1982.

    Google Scholar 

  • McCarthy J., “First Order Theories of Individual Concepts and Propositions”, Machine Intelligence 9, 1979, 129–147.

    Google Scholar 

  • Montague R., “Syntactical Treatment of Modalities, with Corollaries on Reflexion Principles and Finite Axiomatizability”, Acta Philosoph. Fennica, (16), 1963, 153–167.

    Google Scholar 

  • Moore R. C., “Reasoning about Knowledge and Action”, Proc. of IJCAI-77, Cambridge, MA, 1977, 223–227.

    Google Scholar 

  • Perlis D., “Languages with Self-Reference I: Foundations”, Artificial Intelligence, (25), 1985, 301–322.

    Google Scholar 

  • Turner R., “Truth and Modality for Knowledge Representation”, Pitman Press, London, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Edoardo Ardizzone Salvatore Gaglio Filippo Sorbello

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Simi, M. (1991). Viewpoints subsume beliefs, truth and situations. In: Ardizzone, E., Gaglio, S., Sorbello, F. (eds) Trends in Artificial Intelligence. AI*IA 1991. Lecture Notes in Computer Science, vol 549. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54712-6_216

Download citation

  • DOI: https://doi.org/10.1007/3-540-54712-6_216

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54712-9

  • Online ISBN: 978-3-540-46443-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics