article

A Formalization Of Viewpoints

Authors:

Guiseppe Attardi,

Maria SimiAuthors Info & Claims

Fundamenta Informaticae, Volume 23, Issue 2,3,4

Pages 149 - 173

Published: 01 August 1995 Publication History

Abstract

We present a formalisation for the notion of viewpoint, a construct meant for expressing several varieties of relativised truth. The formalisation consists in a logic which extends first order predicate calculus with its own metalanguage, an axiomatization of provability and proper reflection rules. The extension is not conservative, but consistency is granted. Viewpoints are defined as set of reified meta-level sentences. A proof theory for viewponts is developed which enables to carry out proofs of statements involving several viewpoints. A semantic account of viewpoints is provided, dealing with issues of self referential theories and paradoxes, and exploiting the notion of contextual entailment. Notions such as beliefs, knowledge, absolute truth or truth relative to a situation can be uniformly modeled as provability in specialised viewpoints, obtained by imposing suitable constraints on viewpoints.

References

[1]

Attardi G., M. Simi, Metalanguage and reasoning across viewpoints, in ECAI84: Advances in Artificial Intelligence, T. O'Shea (ed.), Elsevier Science Publishers, Amsterdam, 1984.

[2]

Attardi G., M. Simi, A Description Oriented Logic for Building Knowledge Bases, Proceedings of the IEEE, 74(10), October 1986, 1335-1344.

[3]

G. Attardi, M. Simi, 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. Morgan Kaufmann, San Mateo, CA, 1991.

[4]

G. Attardi, M. Simi, Proofs in Context, in J. Doyle, E. Sandewall and P. Torasso (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference, Morgan Kaufmann, San Mateo, CA, 1994.

[5]

K. A. Bowen, R. A. Kowalski, Amalgamating language and metalanguage in logic programming, in Logic Programming, K. Clark and S. Tarnlund (eds.), Academic Press, 1982, 153-172.

[6]

S. Buva¿, I.A. Mason (1993). Propositional Logic in Context, Proc. of the Eleventh AAAI Conference, Washington DC, 412-419.

[7]

S. Buva¿, V. Buva¿, I. A. Mason. Metamathematics of Contexts, this issue.

[8]

N. Davies, Towards a first order theory of reasoning agents, Proc. of 9th European Conference on Artificial Intelligence, Stockholm, 1990, 195-200.

[9]

M. R. Genesereth, R. Fikes, Knowledge Interchange Format Version 2.2 Reference manual, LG Report Logic-90-4, CS Department, Stanford, 1992.

[10]

F. Giunchiglia, L. Serafini, Multilanguage hierarchical logics (or: how we can do without modal logics), Artificial Intelligence, 65:29-70, 1994.

Digital Library

[11]

R. V. Guha, Contexts: a formalization and some applications, MCC Tech Rep ACT-CYC-42391, Nov. 1991.

[12]

A. Gupta, Truth and paradox, Journal of Philosophical Logic, 11, 1982, 1-60.

[13]

H. Herzberger, Notes on naive semantics, Journal of Philosophical Logic, 11, 1982, 61-102.

[14]

K. Konolige, A first order formalization of knowledge and action for a multiagent planning system, Machine Intelligence 10, 1982.

[15]

S. Kripke, Outline of a theory of truth, Journal of Philosophy, 22(1), 1975, 690- 716.

[16]

J. McCarthy, First order theories of individual concepts and propositions, Machine Intelligence 9, 1979, 129-147.

[17]

J. McCarthy, Generality in Artificial Intelligence, Communications of the ACM, 30(12), 1987, 1030-1035.

Digital Library

[18]

J. McCarthy, Notes on Formalizing Context, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993.

[19]

R. Montague, Syntactical treatment of modalities, with corollaries on reflexion principles and finite axiomatizability, Acta Philosoph. Fennica, 16, 1963, 153-167.

[20]

R. C. Moore, Reasoning about knowledge and action, Proc. of IJCAI77, Cambridge, MA, 1977, 223-227.

[21]

Perlis D., Languages with self-reference I: foundations, Artificial Intelligence, 25, 1985, 301-322.

Digital Library

[22]

D. Perlis, Language with self reference II: knowledge, belief and modality, Artificial Intelligence, (34), 2, 1988, 179-212.

Digital Library

[23]

Y. Shoham, Varieties of contexts, in Vladimir Lifschitz (ed.), Artificial Intelligence and Mathematical Theory of Computation: papers in honor of John McCarthy, Academic Press, 1991.

[24]

M. Simi, Viewpoints subsume belief, truth and situations, in Trends in Artificial Intelligence, Proc. of 2nd Congress of the Italian Association for Artificial Intelligence, Ardizzone, Gaglio, Sorbello (Eds), Lecture Notes in Artificial Intelligence 549, Springer Verlag, 1991, 38-47.

[25]

J. F. Sowa, Finding structure in knowledge soup, Proc. Info Japan 90 - Information Processing Society of Japan, 1990, 245-252.

[26]

R. Turner, Truth and modality for knowledge representation, Pitman Press, London, 1989.

[27]

R. W. Weyhrauch, Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence, 13 (1,2), 1980, 133-170.

Digital Library

Cited By

(2016)Refactoring ontologies using design patterns and relational concepts analysis to integrate viewsInternational Journal of Metadata, Semantics and Ontologies10.1504/IJMSO.2016.1000426011:4(243-263)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1504/IJMSO.2016.10004260
Nanevski APfenning FPientka B(2008)Contextual modal type theoryACM Transactions on Computational Logic10.1145/1352582.13525919:3(1-49)Online publication date: 12-Jun-2008
https://dl.acm.org/doi/10.1145/1352582.1352591
Hinrichs TGenesereth M(2005)Axiom schemata as metalevel axiomsProceedings of the 20th national conference on Artificial intelligence - Volume 110.5555/1619332.1619381(294-299)Online publication date: 9-Jul-2005
https://dl.acm.org/doi/10.5555/1619332.1619381
Show More Cited By

A Formalization Of Viewpoints
1. Theory of computation

Recommendations

Formalization of the Resolution Calculus for First-Order Logic

I present a formalization in Isabelle/HOL of the resolution calculus for first-order logic with formal soundness and completeness proofs. To prove the calculus sound, I use the substitution lemma, and to prove it complete, I use Herbrand interpretations ...
Self-Formalisation of Higher-Order Logic

We present a mechanised semantics for higher-order logic (HOL), and a proof of soundness for the inference system, including the rules for making definitions, implemented by the kernel of the HOL Light theorem prover. Our work extends Harrison's ...
A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
Automated Deduction – CADE 29
Abstract
We present a uniform characterisation of three-valued logics by means of bisequent calculus (BSC). It is a generalised form of sequent calculus (SC) where rules operate on the ordered pairs of ordinary sequents. BSC may be treated as the weakest ...

Comments

Information & Contributors

Information

Published In

cover image Fundamenta Informaticae

Fundamenta Informaticae Volume 23, Issue 2,3,4

August 1995

246 pages

ISSN:0169-2968

Issue’s Table of Contents

Publisher

IOS Press

Netherlands

Publication History

Published: 01 August 1995

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 26 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

(2016)Refactoring ontologies using design patterns and relational concepts analysis to integrate viewsInternational Journal of Metadata, Semantics and Ontologies10.1504/IJMSO.2016.1000426011:4(243-263)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1504/IJMSO.2016.10004260
Nanevski APfenning FPientka B(2008)Contextual modal type theoryACM Transactions on Computational Logic10.1145/1352582.13525919:3(1-49)Online publication date: 12-Jun-2008
https://dl.acm.org/doi/10.1145/1352582.1352591
Hinrichs TGenesereth M(2005)Axiom schemata as metalevel axiomsProceedings of the 20th national conference on Artificial intelligence - Volume 110.5555/1619332.1619381(294-299)Online publication date: 9-Jul-2005
https://dl.acm.org/doi/10.5555/1619332.1619381
Bolander T(2003)From logic programming semantics to the consistency of syntactical treatments of knowledge and beliefProceedings of the 18th international joint conference on Artificial intelligence10.5555/1630659.1630725(443-448)Online publication date: 9-Aug-2003
https://dl.acm.org/doi/10.5555/1630659.1630725
Akman VSurav M(1996)Steps toward Formalizing ContextAI Magazine10.1609/aimag.v17i3.123117:3(55-72)Online publication date: 1-Sep-1996
https://dl.acm.org/doi/10.1609/aimag.v17i3.1231

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents