three-valued logic Marta Cialdea Mayer(*), Fiora Pirri(*), Clara Pizzuti(**) ...  Home/Search
Context
Related
| dis.uniroma1.it/~pirri/PU...ICLP93WA.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dis.uniroma1.it/~pirri...publicat (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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