LOGICS IN DIAGNOSIS
نویسندگان
چکیده
منابع مشابه
Some Adaptive Logics for Diagnosis.∗
A logic of diagnosis proceeds in terms of a set of data and one or more (prioritized) sets of expectancies. In this paper we generalize the logics of diagnosis from [26] and present some alternatives. The former operate on the premises and expectancies themselves, the latter on their
متن کاملUsing Description Logics for Consistency-based Diagnosis
Using quantitative models of simple mechanisms as an example domain, we show how the basic principles of consistency-based diagnosis can be implemented using description logics with expressive concrete domains. In addition, description logics provide the inference services necessary to organize and validate model libraries, an aspect that is neglected in consistency-based diagnosis until now. 1...
متن کاملLiza Verhoeven SOME ADAPTIVE LOGICS FOR DIAGNOSIS
A logic of diagnosis proceeds in terms of a set of data and one or more (prioritized) sets of expectancies. In this paper we generalize the logics of diagnosis from [27] and present some alternatives. The former operate on the premises and expectancies themselves, the latter on their consequences.
متن کاملAbductive Reasoning with Description Logics: Use Case in Medical Diagnosis
Ontologies have been increasingly used as a core representation formalism in medical information systems. Diagnosis is one of the highly relevant reasoning problems in this domain. In recent years this problem has captured attention also in the description logics community and various proposals on formalising abductive reasoning problems and their computational support appeared. In this paper, ...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nihon Naika Gakkai Zasshi
سال: 1977
ISSN: 0021-5384,1883-2083
DOI: 10.2169/naika.66.1163