摘要:

We consider certain objections against Fagin's and Halpern's logic of general awareness and interpret them as doubts whether there exists a correspondence theory for awareness logic with respect to sieve models. We present a non-compositional translation from epistemic formulas into first-order logic as the essential ingredient of such a correspondence theory and define a suitable notion of bisimulation. Moreover, in order to further underline the power of sieve models, we prove the Lewis system SI to be complete for a relational interpretation which is equivalent to the sieve model semantics.

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510874

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

摘要:

A new notion of model is presented which makes the Barcan formula and its converse hold in arbitrary frames without requiring constant, increasing or decreasing domains. Soundness and completeness of first order K is established for this class of new models. The failure of reasoning by substitution known as ≪ opacity ≫ is explained. An existenc predicate makes it possible to distinguish between actual and possible elements. The connections with the restricted Barcan formula are considered.

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510875

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

摘要:

In this paper we present a new, three-valued approach to default logic, DL3. We employ the Lukasiewicz three-valued logic as a basis. This proposal is in the spirit of a slightly modified Reiter's default formalism. The key feature of our system is its ability to express the possibility character of default conclusions. Technically, this is achieved by using the possibility operator definable in the Lukasiewicz logic. Our approach increases expressibility in comparison to the standard formalism and allows for greater flexibility from the standpoint of the knowledge representation. We investigate basic formal properties of DL3 and provide a model theoretic characterization of extensions. A proof theory is also studied. We present a method, based on the classical linear resolution, to find a default proof.

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510876

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

摘要:

Vague concepts are represented by L-fuzzy sets. It is argued that any vague concept carries with it an approximate identity which is a fuzzy equivalence relation. The relation also fulfills the criterion of ≪ indiscernibility of Identicals ≫, which is called ≪ saturatedness ≫ in this context. An application in knowledge representation is indicated.

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510877

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510878

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510879

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510880

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510881

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1996.10510873

出版商:Taylor & Francis Group    

年代:1996

数据来源: Taylor