Results 1 
5 of
5
Some Adaptive Logics for Diagnosis.
 Logic and Logical Philosophy
"... 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 consequence ..."
Abstract

Cited by 8 (6 self)
 Add to MetaCart
(Show Context)
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 consequences.
On the transparency of defeasible logics: Equivalent premise sets, equivalence of their extensions, and maximality of the lower limit
"... For Tarski logics, there are simple criteria that enable one to conclude that two premise sets are equivalent. We shall show that the very same criteria hold for adaptive logics, which is a major advantage in comparison to other approaches to defeasible reasoning forms. A related property of Tarski ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
For Tarski logics, there are simple criteria that enable one to conclude that two premise sets are equivalent. We shall show that the very same criteria hold for adaptive logics, which is a major advantage in comparison to other approaches to defeasible reasoning forms. A related property of Tarski logics is that, the extensions of equivalent premise sets with the same set of formulas are equivalent premise sets. This does not hold for adaptive logics. However a very similar criterion does. We also shall show that every monotonic logic weaker than an adaptive logic is weaker than the lower limit logic of the adaptive logic or identical to it. This highlights the role of the lower limit for settling the adaptive equivalence of extensions of equivalent premise sets. 1 Formats for Logics for Plausible Reasoning This paper has a specific and a more general aim. The specific aim is related to determining whether two premise sets are equivalent with respect to logics that explicate defeasible reasoning forms—henceforth DRF. We shall show that adaptive logics are superior to other formats in this respect. The more general aim is to highlight the advantages of the adaptive logic program with respect to other approaches to DRF. Let us compare the situation with Tarski logics, logics the consequence relation of which is Reflexive, Transitive and Monotonic. A variety of formulations has been developed: axiomatic, Fitchstyle, Gentzenstyle, etc. Each of these have their stronger points. The variety, however, is only apparent. First, there are relatively standard procedures that, for most logics, enable one to turn one formulation into another. Next, the different formulations are at best different ∗ Peter Verdée is a postdoctoral fellow of the Fund for Scientific Research – Flanders.
Logic and Logical Philosophy Volume 11 (2003), 39–65
"... Abstract. 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 conse ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. 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.
A Proof Procedure for Adaptive Logics
"... In this paper I present a procedure that generates adaptive proofs for finally derivable adaptive logic consequences. The proof procedure for the inconsistency adaptive logic CLuNr is already presented in [10]. In this paper the procedure for CLuNm is presented and the results for both logics are ge ..."
Abstract
 Add to MetaCart
In this paper I present a procedure that generates adaptive proofs for finally derivable adaptive logic consequences. The proof procedure for the inconsistency adaptive logic CLuNr is already presented in [10]. In this paper the procedure for CLuNm is presented and the results for both logics are generalized to all adaptive logics, on the presupposition that there exists a total proof procedure for lower limit logic derivability of the adaptive logic and a finite set of problem relevant abnormalities.
Adaptive Logics for Question Evocation
, 2002
"... In this paper, I present two adaptive logics for Wisniewski's notion of question evocation. The first is based on an erotetic extension of Classical Logic, the second on an erotetic extension of S5. For both logics, I present the semantics and the dynamic proof theory. The latter is especially ..."
Abstract
 Add to MetaCart
(Show Context)
In this paper, I present two adaptive logics for Wisniewski's notion of question evocation. The first is based on an erotetic extension of Classical Logic, the second on an erotetic extension of S5. For both logics, I present the semantics and the dynamic proof theory. The latter is especially important in view of the fact that question evocation is a nonmonotonic relation for which there is no positive test. Thanks to its dynamical character, the proof theory moreover solves the logical omniscience problem to which Wisniewski's static definition of question evocation leads.