10 found
Order:
  1.  11
    Some Adaptive Logics for Diagnosis.Diderik Batens, Joke Meheus, Dagmar Provijn & Liza Verhoeven - 2003 - Logic and Logical Philosophy 11:39-65.
    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.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  2. Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs.Joke Meheus & Dagmar Provijn - 2007 - Theoria 22 (3):295-304.
    In this paper, we present a goal-directed proof procedure for abductive reasoning. This procedure will be compared with Aliseda’s approach based on semantic tableaux. We begin with some comments on Aliseda’s algorithms for computing conjunctive abductions and show that they do not entirely live up to their aims. Next we give a concise account of goal-directed proofs and we show that abductive explanations are a natural spin-off of these proofs. Finally, we show that the goal-directed procedure solves the problems we (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  5
    Pushing the Search Paths in the Proofs. A Study in Proof Heuristics.Diderik Batens & Dagmar Provijn - 2003 - Logique Et Analyse 173:113-134.
  4.  12
    The Generation of Abductive Explanations From Inconsistent Theories.Dagmar Provijn - 2012 - Logic Journal of the IGPL 20 (2):400-416.
    In this article I will show how the goal-directed proof procedure for the propositional fragment of the 'inconsistency-adaptive' logic CLuN(r)from Batens (2005, J. Appl. Logic, 3, 221-250) called pCLuN(r) allows for generating sensible abductive explanations from finite inconsistent theories. Before this is shown, I give a more general account on how goal-directed proof procedures contribute to the study of abduction as backward reasoning. Between these two parts, I describe the goal-directed proof procedure for the propositional fragment of the 'inconsistency-adaptive' logic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. On Atocha Aliseda Abductive Reasoning.Atocha Aliseda, Johan van Benthem, Lorenzo Magnani, Angel Nepomuceno-Fernandez, Fernando Soler Toscano, Joke Meheus, Dagmar Provijn, John Woods, Silvio Pinto & Ilkka Niiniluoto - 2007 - Theoria 22 (60).
  6.  8
    A Formal Analysis of Diagnosis and Diagnostic Reasoning.Erik Weber & Dagmar Provijn - 1999 - Logique Et Analyse 165:61-180.
  7.  5
    Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs.Joke Meheus & Dagmar Provijn - 2009 - Theoria : An International Journal for Theory, History and Fundations of Science 22 (3):295-304.
    In this paper, we present the outline for a goal-directed proof procedure for abductive reasoning and compare this procedure with Aliseda’s approach.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  5
    Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs.Joke Meheus & Dagmar Provijn - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (3):295-304.
    In this paper, we present a goal-directed proof procedure for abductive reasoning. This procedure will be compared with Aliseda’s approach based on semantic tableaux. We begin with some comments on Aliseda’s algorithms for computing conjunctive abductions and show that they do not entirely live up to their aims. Next we give a concise account of goal-directed proofs and we show that abductive explanations are a natural spin-off of these proofs. Finally, we show that the goal-directed procedure solves the problems we (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  5
    Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning.Dagmar Provijn & Erik Weber - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 117--142.
  10.  3
    Direct Dynamic Proofs for Classical Compatibility.Dagmar Provijn & Joke Meheus - 2004 - Logique Et Analyse 185:305-317.