Access the full text.
Sign up today, get DeepDyve free for 14 days.
W. Zadrozny, M.M. Kokar (1990)
Change of Representation and Inductive Bias
(1986)
Fearful Symmetry (Collier Books, Macmillan
L. Braden-Harder, W. Zadrozny (1991)
Lexical Acquisition: Using On-Line Resources to Build a Lexicon
R. Reiter (1986)
A Theory of Diagnosis from First PrinciplesArtif. Intell., 32
(1991)
Abductive rules for natural language understanding
J. Pearl (1987)
Embracing Causality in Formal Reasoning
R. Michalski, John Anderson (1982)
Machine learning - an artificial intelligence approach
(1990)
Focusing the diagnostic engine, presented at 1st Int
(2008)
(Preliminary Version)
A. Kakas, P. Mancarella (1990)
Generalized Stable Models: A Semantics for Abduction
Wlodek Zadrozny (1987)
A Theory of Default Reasoning
Wlodek Zadrozny, M. Kokar (1990)
A Logical Model of Machine Learning a Study of Vague Predicates
D. Poole (1988)
Representing Knowledge for Logic-Based Diagnosis
(1952)
Symmetry (Princeton
Wlodek Zadrozny (1992)
Explanations at the Knowledge Level
(1992)
ECAI'92 Workshop W15 on Improving the Use of Knowledge-Based Systems with Explanations, Report No. 92/21
(1990)
The role of coherence in adbductive explanation
R. Reiter, J. Kleer (1987)
Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report
Antonio Brogi, E. Lamma, P. Mancarella, P. Mello (1991)
Abductive Reasoning in a Multi-Theory Framework
Jerry Hobbs, M. Stickel, P. Martin, Douglas Edwards (1988)
Interpretation as Abduction
D. Poole (1988)
A Logical Framework for Default ReasoningArtif. Intell., 36
M. Genesereth (1984)
The Use of Design Descriptions in Automated DiagnosisArtif. Intell., 24
Hector Geffner (1990)
Causal Theories for Nonmonotonic Reasoning
P. Patel-Schneider (1985)
A decidable first-order logic for knowledge representationJournal of Automated Reasoning, 6
H. Weyl (1952)
Symmetry
Van Fraassen, C. Bastiaan (1989)
Laws and symmetry
Graeme Hirst (1987)
Semantic Interpretation and the Resolution of Ambiguity
J. Gibson (1967)
The Senses Considered As Perceptual Systems
H.T. Ng, R.J. Mooney (1990)
Proc. AAAI-90
Michael Wick, W. Thompson (1992)
Reconstructive Expert System ExplanationArtif. Intell., 54
(1985)
Abductive inference, in: Expert Systems in Government Symposium, ed
A. Brogi, E. Lamma, P. Mancarella, P. Mello (1991)
Trends in Artificial Intelligence
J. Kleer, Alan Mackworth, R. Reiter (1992)
Characterizing Diagnoses and SystemsArtif. Intell., 56
A. Chandra, D. Harel (1980)
Computable Queries for Relational Data BasesJ. Comput. Syst. Sci., 21
Eugene Charniak, R. Goldman (1988)
A Logic for Semantic Interpretation
E.P. Wigner (1967)
Symmetries and Reflections
D. Poole (1989)
Normality and Faults in Logic-Based Diagnosis
D. Poole (1989)
Explanation and prediction: an architecture for default and abductive reasoningComputational Intelligence, 5
(1991)
Lexicons for broad coverage semantics, in: Lexical Acquisition: Using On-Line Resources to Build a Lexicon, ed
J. Kleer, B. Williams (1987)
Diagnosing Multiple FaultsArtif. Intell., 32
H. Levesque (1984)
A Logic of Implicit and Explicit Belief
Wlodek Zadrozny (1994)
Is there a prototypical rule of abduction? (Yes, e.g. in proximity based explanations)J. Exp. Theor. Artif. Intell., 6
J. Pearl (1988)
Embracing Causality in Default ReasoningArtif. Intell., 35
J. Jaffar, J. Lassez (1987)
Constraint logic programming
A. Anderson, N. Belnap, J. Dunn (1975)
Entailment : the logic of relevance and necessity
Wlodek Zadrozny (1994)
REASONING WITH BACKGROUND KNOWLEDGE–A THREE‐LEVEL THEORYComputational Intelligence, 10
Wlodek Zadrozny, Karen Jensen (1991)
Semantics of ParagraphsComput. Linguistics, 17
(1990)
The logic od abduction (Preliminary Report)
J. Reggia, Dana Nau, Pearl Wang (1983)
Diagnostic Expert Systems Based on a Set Covering ModelInt. J. Man Mach. Stud., 19
(1967)
Symmetries and Reflections (Indiana
D. Marr (1982)
Vision
A. Zee (1986)
Fearful Symmetry
P. Brezillon (1992)
Report No. 92/21
J. Kleer, J. Brown (1984)
A Qualitative Physics Based on ConfluencesArtif. Intell., 24
We present a logical theory of abduction based on the idea of recognizing explanation, or abduction, as a separate reasoning activity. We describe a formalism for writing rules of abduction; furthermore, we define a validity criterion for such rules. The criterion is based on the concept of invariants. This idea allows us to link abduction with induction and deduction. We believe that the three types of inference rules can best be understood in terms of symmetry, i.e. types of relations they preserve, namely: explainability, falsifiability and truth. We also formulate a model theory of abduction and link it with a proof theory. We discuss a variety of rules of abduction and argue that logical forms of abduction do not have to be restricted to the reversemodus ponens. These rules are used to describe such tasks as word-sense disambiguation and anaphora resolution in natural language processing, as well as abduction-based diagnosis.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Apr 5, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.