Viewpoints subsume beliefs, truth and situations
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.
Key wordsmeta-level logics for truth belief and knowledge situations
Unable to display preview. Download preview PDF.
- Attardi G., Simi M., “Metalanguage and Reasoning across Viewpoints”, in ECAI-84:Advances in Artificial Intelligence, T. O'Shea (ed.), Elsevier Science Publishers, Amsterdam, 1984Google 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