See this document in CiteSeerX!

Natural properties of abductive hypotheses in  (Make Corrections)  
three-valued logic Marta Cialdea Mayer(*), Fiora Pirri(*), Clara Pizzuti(**) ...



  Home/Search   Context   Related

 
View or download:
dis.uniroma1.it/~pirri/PU...ICLP93WA.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dis.uniroma1.it/~pirri...publicat (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper shows some interesting properties of Kleene's threevalued logic in relation to abductive reasoning. A semantical characterization of abductive explanations is proposed, based on the notion of minimal three-valued model. This establishes a relation between the minimization problem in abductive reasoning and three-valued semantics, in the same sense as non-monotonic reasoning deals with minimization in two-valued semantics (Update)

Similar documents (at the sentence level):
53.1%:   Natural Properties of Abductive Hypotheses in Three-Valued.. - Mayer, Pirri, Pizzuti (1993)   (Correct)

Active bibliography (related documents):   More   All
1.1:   Explaining Incompatibilities in Data Dictionary - Design Through Abduction   (Correct)
0.5:   First Order Abduction Via Tableau and Sequent Calculi - Mayer, Pirri (1993)   (Correct)
0.2:   Abduction is not Deduction-in-Reverse - Mayer, Pirri (1996)   (Correct)

System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text:   More   All
0.5:   A Study on the Relation Between Explanans Explanandum: A Modal .. - Mayer, Pirri   (Correct)
0.4:   A Study on the Logic of Abduction - Mayer, Pirri (1996)   (Correct)
0.3:   Propositional Abduction in Modal Logic - Marta Cialdea Mayer (1994)   (Correct)

BibTeX entry:   (Update)

@misc{ marta-natural,
  author = "Three-Valued Logic Marta",
  title = "Natural Properties of Abductive Hypotheses in",
  url = "citeseer.ist.psu.edu/654789.html" }
Citations (may not include all citations):
174   A Kripke-Kleene semantics for logic programs (context) - Fitting - 1985
107   Foundations of Assumption-Based Truth Maintenance Systems: P.. (context) - Reiter, de Kleer - 1987
103   Prediction is Deduction but Explanation is Abduction - Shanahan - 1990
100   Theorist: a logical reasoning system for default and diagnos.. (context) - Poole, Goebel et al. - 1987
90   Explanation and Prediction: an architecture for default and .. - Poole - 1989
59   The problem of simplifying truth functions (context) - Quine - 1952
56   Linear Resolution for Consequence Finding (context) - Inoue - 1992
48   Causes for Events : their Computation and Applications (context) - Cox, Pietrzykowski - 1986
26   Compiling a Default Reasoning System into Prolog - Poole - 1991
15   On cores and prime implicants of truth functions (context) - Quine - 1959
13   Hypothesis Generation by Machine (context) - Morgan - 1971
12   North-Holland Publishing Company (context) - Introduction, Metamathematics - 1971
10   A Complete Nonredundant algorithm for reversed skolemization (context) - Cox, Pietrzykowski - 1984
7   Extending Abduction from Propositional to first order logic (context) - Marquis - 1991
6   A Constraint-Based Approach to Proof Procedures for Multi-Va.. (context) - Doherty - 1991
6   the Mechanization of Abductive Logic (context) - Jr, On - 1973
5   Gentzen-Type Systems, Resolution and Tableaux - Avron - 1993
3   Lecture Notes CSLI (context) - Partiality, Persistence - 1988
2   Presupposition, Implication and Self-Reference (context) - vanFraassen - 1968
2   NML3. A Non-Monotonic Logic with Explicit Default (context) - Doherty, Lukaszewicz - 1992

Documents on the same site (http://www.dis.uniroma1.it/~pirri/publicat.html):   More
Risks evaluation and Failures Diagnosis for Autonomous .. - Finzi, Pirri.. (2001)   (Correct)
A Uniform Tableau Method for Intuitionistic Modal Logics I - Amati, Pirri (1993)   (Correct)
Defaults as restrictions on classical Hilbert-style proofs - Amati, Aiello, Pirri (1995)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC