摘要:

Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the second level by the notion of reasoning frame. We introduce two specification languages to describe nonmonotonic reasoning at each of the levels: (1) a specification language for level 1, with formal semantics based on belief state frames, (2) a fragment of infinitary temporal logic as a general specification language for level 2, with formal semantics based on reasoning frames. In our framework every level 2 description can be abstracted to level 1, and for every level 1 description there are level 2 descriptions which are a specialization of it.

ISSN:1166-3081    

DOI:10.1080/11663081.2000.10510986

出版商:Taylor & Francis Group    

年代:2000

数据来源: Taylor

摘要:

We propose a combination of a fragment of four-valued logic and process algebra. This fragment is geared to a simple relation with process algebra via the conditional guard construct, and can easily be extended to a truth-functionally complete logic. We present an operational semantics in SOS-style, and a completeness result for ACP with conditionals and four- valued logic. Completeness is preserved under the restriction to some other non-classical logics.

ISSN:1166-3081    

DOI:10.1080/11663081.2000.10510987

出版商:Taylor & Francis Group    

年代:2000

数据来源: Taylor

摘要:

A modal logic interpretation of Dempster-Shafer theory is developed in the framework of multivalued models of modal logic, i.e. models in which in any possible world an arbitrary number (possibly zero) of atomic propositions can be true. Several approaches to conditioning in multivalued models of modal logic are presented.

ISSN:1166-3081    

DOI:10.1080/11663081.2000.10510988

出版商:Taylor & Francis Group    

年代:2000

数据来源: Taylor

摘要:

A new algebraic construction -called rotation- is introduced in this paper which from any left-continuous triangular norm which has no zero divisors produces a left-continuous but not continuous triangular norm with strong induced negation. An infinite number of new families of such triangular norms can be constructed in this way which provides a huge spectrum of choice for e.g. logical and set theoretical connectives in non-classical logic and in fuzzy theory. On the other hand, the introduced construction brings us closer to the understanding the structure of these connectives and the corresponding logics. From the application point of view, results of this paper can be especially useful in the field of non-classical logic, fuzzy sets, and fuzzy preference modeling.

ISSN:1166-3081    

DOI:10.1080/11663081.2000.10510989

出版商:Taylor & Francis Group    

年代:2000

数据来源: Taylor

摘要:

A bilattice is said to be regular provided its truth conjunction and disjunction are monotonic with respect to its knowledge ordering. The principal result of this paper is that the following properties of a bilattice B are equivalent:

ISSN:1166-3081    

DOI:10.1080/11663081.2000.10510990

出版商:Taylor & Francis Group    

年代:2000

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.2000.10510991

出版商:Taylor & Francis Group    

年代:2000

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.2000.10510985

出版商:Taylor & Francis Group    

年代:2000

数据来源: Taylor