Remedying inconsistent sets of premises
نویسندگان
چکیده
منابع مشابه
Erotetic Arguments from Inconsistent Premises∗
The aim of this paper is to generalize two basic concepts of Wísniewski’s theory of questions, namely question evocation and question generation, to the inconsistent case. For both concepts, I shall present three alternative definitions. Each of these is based on a prioritized adaptive logic. I shall show that, for the consistent case, each of the alternative definitions leads to the same resul...
متن کاملOn Sets of Premises
Conceiving of premises as collected into sets or multisets, instead of sequences, may lead to triviality for classical and intuitionistic logic in general proof theory, where we investigate identity of deductions. Any two deductions with the same premises and the same conclusions become equal. In terms of categorial proof theory, this is a consequence of a simple fact concerning adjunction with...
متن کاملInduction , Rational Acceptance , and Minimally Inconsistent Sets
1. Introduction. The purpose of this paper is to present a theory of in-ductive inference and rational acceptance in scientific inquiry. A concept of relevant deduction is defined in which the truth of each and every premise of a deductive argument is essential to establishing the truth of the conclusion by deduction from the premises. This definition is based on the completely abstract notion ...
متن کاملPersonalizing Diagnoses for Inconsistent Constraint Sets
Constraint-based applications such as configurators, recommenders, and scheduling systems support users in complex decision making scenarios. Typically, these systems try to identify a solution that satisfies all articulated user requirements. If the requirements are inconsistent with the underlying constraint set, users have to be actively supported in finding a way out from the no solution co...
متن کاملA Diagnosis Algorithm for Inconsistent Constraint Sets
Constraint sets can become inconsistent in different contexts. For example, during a configuration session the set of customer requirements can become inconsistent with the configuration knowledge base. Another example is the engineering phase of a configuration knowledge base where the underlying constraints can become inconsistent with a set of test cases. In such situations we are in the nee...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2007
ISSN: 0888-613X
DOI: 10.1016/j.ijar.2006.06.013