摘要:

Representable relation algebras are characterised by a certain property of networks. Representations of relation algebras can be further classified as homogeneous or universal. These properties are also characterised by properties of networks properties (amalgamation and joint embedding properties). For the homogeneous, universal case a method of constructing interval algebras from point algebras is given. This is applied to give a metric algebra of intervals, a relation algebra capable of expressing Allen's interval relations as well as metric constraints.

ISSN:1166-3081    

DOI:10.1080/11663081.1994.10510816

出版商:Taylor & Francis Group    

年代:1994

数据来源: Taylor

摘要:

This paper shows how to represent actions on belief (such as deducing and evaluating) in a language in which it is also possible to represent actions on the world (such as putting one block on top of another). It is done by combining modal logics of belief and of action in such a way that actions on belief can be represented as perfectly respectable modals with standard and well-motivated semantics, obeying sensible rules. One basic actions is proposed, representing finding that a fact S is true; it has a variant, representing finding that S is true given a fact (or theory) T. These can be used to define other, more usable, actions: finding whether S, finding an object with property ø, and evaluating a term.

ISSN:1166-3081    

DOI:10.1080/11663081.1994.10510817

出版商:Taylor & Francis Group    

年代:1994

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1994.10510818

出版商:Taylor & Francis Group    

年代:1994

数据来源: Taylor

摘要:

We present here a new way to build a rational inference relation on a given finite set of defaults rules. This relation turns out to be free from the shortcomings that can be observed in most of the previous work done on defaults extensions, and problems like admissibility, inheritance property for exceptional subclasses, redundant rules or irrelevant propositions receive a satisfactory answer.

ISSN:1166-3081    

DOI:10.1080/11663081.1994.10510819

出版商:Taylor & Francis Group    

年代:1994

数据来源: Taylor

摘要:

The purpose of this paper is to explore the notion of consequence in Approximate Reasoning. While logical consequence has an standard (semantic and syntactic) definition in Exact Logic, several different definitions of that concept can be considered in the Approximate Reasoning framework. In this paper some definitions are compared with consequences derived from inference methods used in Artificial Intelligence. We will show that some inference methods are not covered by that definitions. Finally a more general concept of Approximate Consequence is introduced covering a wide variety of such inference methods.

ISSN:1166-3081    

DOI:10.1080/11663081.1994.10510820

出版商:Taylor & Francis Group    

年代:1994

数据来源: Taylor

摘要:

The instructions put together below fall into three categories. The editor of the review would be grateful to authors for respecting these indications. At times, the length of this summary may attain a dozen lines. It is to be written in size 9 italic Times. An abstract in French will be joined.

ISSN:1166-3081    

DOI:10.1080/11663081.1994.10510822

出版商:Taylor & Francis Group    

年代:1994

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1994.10510823

出版商:Taylor & Francis Group    

年代:1994

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1994.10510824

出版商:Taylor & Francis Group    

年代:1994

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1994.10510825

出版商:Taylor & Francis Group    

年代:1994

数据来源: Taylor

ISSN:1166-3081    

DOI:10.1080/11663081.1994.10510815

出版商:Taylor & Francis Group    

年代:1994

数据来源: Taylor