Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL
نویسندگان
چکیده
منابع مشابه
XLIX Inconsistency , Logic Databases , and
IntroductIon Nowadays, data management on the World Wide Web needs to consider very large knowledge databases (KDB). The larger is a KDB, the smaller the possibility of being consistent. Consistency in checking algorithms and systems fails to analyse very large KDBs, and so many have to work every day with inconsistent information. Database revision—transformation of the KDB into another, consi...
متن کاملInconsistency Robustness in Logic Programs
Logic Programming can be broadly defined as “using logic to infer computational steps from existing propositions” (although this has been opposed by Kowalski; see below). The focus of this article is on the development of this idea. Consequently, it does not treat any other associated topics related to Logic Programming such as constraints, abduction, etc. The idea has a long development that w...
متن کاملInconsistency , Logic Databases , and Ontologies
IntroductIon Nowadays, data management on the World Wide Web needs to consider very large knowledge databases (KDB). The larger is a KDB, the smaller the possibility of being consistent. Consistency in checking algorithms and systems fails to analyse very large KDBs, and so many have to work every day with inconsistent information. Database revision—transformation of the KDB into another, consi...
متن کاملLogic Databases and Inconsistency Handling
Nowadays, data management on the World Wide Web needs to consider very large knowledge databases (KDB). The larger is a KDB, the smaller the possibility of being consistent. Consistency in checking algorithms and systems fails to analyse very large KDBs, and so many have to work every day with inconsistent information. Database revision—transformation of the KDB into another, consistent databas...
متن کاملInconsistency lemmas in algebraic logic
In this paper, the inconsistency lemmas of intuitionistic and classical propositional logic are formulated abstractly. We prove that, when a (finitary) deductive system ` is algebraized by a variety K, then ` has an inconsistency lemma—in the abstract sense—iff every algebra in K has a dually pseudo-complemented join semilattice of compact congruences. In this case, the following are shown to b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2004
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2000.003