scispace - formally typeset


Abductive reasoning

About: Abductive reasoning is a(n) research topic. Over the lifetime, 1917 publication(s) have been published within this topic receiving 44645 citation(s). The topic is also known as: abduction & abductive inference.

More filters
01 Jan 1995
Abstract: Thank you very much for reading commitment in dialogue basic concepts of interpersonal reasoning. As you may know, people have look hundreds times for their favorite readings like this commitment in dialogue basic concepts of interpersonal reasoning, but end up in harmful downloads. Rather than reading a good book with a cup of tea in the afternoon, instead they juggled with some harmful virus inside their laptop.

1,120 citations

01 Jan 2004
TL;DR: This landmark text takes the central concepts of knowledge representation developed over the last 50 years and illustrates them in a lucid and compelling way, and offers the first true synthesis of the field in over a decade.
Abstract: Knowledge representation is at the very core of a radical idea for understanding intelligence. Instead of trying to understand or build brains from the bottom up, its goal is to understand and build intelligent behavior from the top down, putting the focus on what an agent needs to know in order to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed. This landmark text takes the central concepts of knowledge representation developed over the last 50 years and illustrates them in a lucid and compelling way. Each of the various styles of representation is presented in a simple and intuitive form, and the basics of reasoning with that representation are explained in detail. This approach gives readers a solid foundation for understanding the more advanced work found in the research literature. The presentation is clear enough to be accessible to a broad audience, including researchers and practitioners in database management, information retrieval, and object-oriented systems as well as artificial intelligence. This book provides the foundation in knowledge representation and reasoning that every AI practitioner needs. *Authors are well-recognized experts in the field who have applied the techniques to real-world problems * Presents the core ideas of KR&R in a simple straight forward approach, independent of the quirks of research systems *Offers the first true synthesis of the field in over a decade Table of Contents 1 Introduction * 2 The Language of First-Order Logic *3 Expressing Knowledge * 4 Resolution * 5 Horn Logic * 6 Procedural Control of Reasoning * 7 Rules in Production Systems * 8 Object-Oriented Representation * 9 Structured Descriptions * 10 Inheritance * 11 Numerical Uncertainty *12 Defaults *13 Abductive Reasoning *14 Actions * 15 Planning *16 A Knowledge Representation Tradeoff * Bibliography * Index

938 citations

Journal ArticleDOI
Abstract: Abduction is inference to the best explanation. In the TACITUS project at SRI we have developed an approach to abductive inference, called “weighted abduction”, that has resulted in a significant simplification of how the problem of interpreting texts is conceptualized. The interpretation of a text is the minimal explanation of why the text would be true. More precisely, to interpret a text, one must prove the logical form of the text from what is already mutually known, allowing for coercions, merging redundancies where possible, and making assumptions where necessary. It is shown how such “local pragmatics” problems as reference resolution, the interpretation of compound nominals, the resolution of syntactic ambiguity and metonymy, and schema recognition can be solved in this manner. Moreover, this approach of “interpretation as abduction” can be combined with the older view of “parsing as deduction” to produce an elegant and thorough integration of syntax, semantics, and pragmatics, one that spans the range of linguistic phenomena from phonology to discourse structure. Finally, we discuss means for making the abduction process efficient, possibilities for extending the approach to other pragmatics phenomena, and the semantics of the weights and costs in the abduction scheme.

842 citations

Journal ArticleDOI
TL;DR: A simple logical framework for default reasoning by treating defaults as predefined possible hypotheses is presented, and it is shown how this idea subsumes the intuition behind Reiter's default logic.
Abstract: This paper presents a simple logical framework for default reasoning. The semantics is normal first-order model theory; instead of changing the logic, the way in which the logic is used is changed. Rather than expecting reasoning to be just deduction (in any logic) from our knowledge, we examine the consequences of viewing reasoning as a very simple case of theory formation. By treating defaults as predefined possible hypotheses we show how this idea subsumes the intuition behind Reiter's default logic. Solutions to multiple extension problems are discussed. A prototype implementation, called THEORIST, executes all of the examples given.

783 citations

Network Information
Related Topics (5)
Natural language

31.1K papers, 806.8K citations

82% related
Ontology (information science)

57K papers, 869.1K citations

79% related

36.8K papers, 1.3M citations

76% related

32.1K papers, 956.5K citations

76% related
Social network

42.9K papers, 1.5M citations

75% related
No. of papers in the topic in previous years