Attardi, G., and M. Simi. 1995a. Beppe had a dream. In AAAI 1995 Fall Symposium on Formalizing Context. AAAI. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Quantifiers and Operations on Modalities and Contexts - Costello, Patterson (Correct)
....how patterns of reasoning are related, and theories are related. 4.2 QUOTING APPROACHES Montague (1963) showed that modal logic cannot be mimicked by a naive quoting machinery if the underlying language is sufficiently powerful. This might be thought to render such approaches impossible, but Attardi and Simi (1995b) have developed a system that avoids these problems. They call their syntactic modalities, viewpoints. The key idea of Attardi and Simi is to use reflection principles added to a standard first order logic with names for terms. They show that useful reasoning can be done in consistent theories, ....
....other operators behave. That is, their systems assume, 2 1 2 2 OE2 1 :2 2 OE. This axiom does not seem justified, even for the applications they consider. There is no reason why a database should have complete information about the contents of other databases. This limitation has been noticed by (Attardi and Simi 1995a) Buvac 1996) considers a simple notion of quantification over contexts, which corresponds to our first completeness theorem, with the assumption 2 1 2 2 OE 2 1 :2 2 OE, and a 5 like assumption that multiple modalities may always be reduced to a single modality. Similar systems to this ....
Attardi, G., and M. Simi. 1995a. Beppe had a dream. In AAAI 1995 Fall Symposium on Formalizing Context. AAAI.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC