Default description logics are extensions of description logics by Reiter's default logic in order to represent and reason about non-monotonic knowledge. A default says that if its prerequisite is provable, and th...
详细信息
ISBN:
(纸本)9781424404759
Default description logics are extensions of description logics by Reiter's default logic in order to represent and reason about non-monotonic knowledge. A default says that if its prerequisite is provable, and the negation of its justification is not provable, then its consequence is provable. As a method of using defaults in a reverse way, reversing inference rules are introduced to default description logics. For a default, its reversing inference rule says if the negation of the consequence of the default is provable, then the negation of the prerequisite or the negation of the justification of the default is provable. Then a default description theory is extended to an extended default description theory with reversing inference rules and the definition of extensions of the extended default description theory is given. A default description theory can infer statements by using its defaults. However, an extended default description theory can infer statements not only by using its defaults, but by using its reversing inference rules. The relations between default description theories and their extended default description theories are discussed. For a default description theory without extensions, its extended default description theory may have extensions.
Web services composition techniques are gaining momentum as the opportunity to establish reusable and versatile inter-op er ability applications. Many researchers propose their composition approach based on planning t...
详细信息
Granular computing as an enabling technology and as such it cuts across a broad spectrum of disciplines and becomes important to many areas of applications. In this paper, the notions of tolerance relation based infor...
详细信息
As an extension of the traditional modal logic, the fuzzy first-order modal logic is discussed in this paper. A description of fuzzy first-order modal logic based on constant domain semantics is given, and a formal sy...
详细信息
We propose an appearance-based image clustering approach called GGCI (global geometric clustering for image). For face images taken with varying pose, expression, eyes (wearing sunglasses or not) or object images unde...
详细信息
The information entropy, as a measurement of the average amount of information contained in an information system, is used in the classification of objects and the analysis of information systems. The information entr...
详细信息
A new algorithm for Euclidean distance transform is proposed in this paper. It propagates from the boundary to the inner of object layer by layer, like the inverse propagation of water wave. It can be applied in every...
详细信息
An ideal knowledge flow network passes right knowledge to the right person at the right time. Trust between knowledge nodes influences the efficiency of knowledge interchange in an organization. This paper presents a ...
详细信息
Effective document classification is a long-pursued goal in knowledge management. This paper proposes a novel hybrid approach of semantic representation and statistical measurements. Document is divided into content s...
详细信息
暂无评论