Mark E. Stickel  Home/Search
Context Related
| sri.com/~stickel/s...icsc88amai.ps.gz 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: sri.com/~stickel/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: By determining what added assumptions would suffice to make the logical form of a sentence in natural language provable, abductive inference can be used in the interpretation of sentences to determine what information should be added to the listener's knowledge, i.e., what he should learn from the sentence. This is a comparatively new application of mechanized abduction. A new form of abduction---least specific abduction---is proposed as being more appropriate to the task of interpreting... (Update)
Cited by: More
Modeling Students' Reasoning about Qualitative Physics: .. - Makatchev, Jordan.. (2004) (Correct)
Abductive Theorem Proving for Analyzing Student.. - Makatchev, Jordan.. (2004) (Correct)
Explaining Incompatibilities in Data Dictionary - Design Through Abduction (Correct)
Active bibliography (related documents): More All
0.3: Interpretation as Abduction - Hobbs, Stickel, Appelt, Martin (1990) (Correct)
0.2: The Complexity of Logic-Based Abduction - Eiter, Gottlob (1993) (Correct)
0.2: An Ontological-Semantic Framework for Text Analysis - Onyshkevych (1997) (Correct)
Similar documents based on text: More All
0.4: Abductive Explanation-Based Learning: A Solution to the Multiple.. - Cohen (1994) (Correct)
0.2: A Prolog Technology Theorem Prover: Implementation by an Extended .. - Stickel (1987) (Correct)
0.2: A First-Order Horn-Clause Abductive System And Its Use In Plan.. - Ng, Mooney (1992) (Correct)
Related documents from co-citation: More All
14: Interpretation as abduction - Hobbs, Stickel et al. - 1990
10: A mechanization of abductive logic (context) - Harry - 1973
9: Probabilistic Semantics for Cost Based Abduction (context) - Eugene, Shimony - 1990
BibTeX entry: (Update)
M. E. Stickel. A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation. Technical Report Technical Note 451, SRI International, Menlo Park, CA, September 1988. http://citeseer.ist.psu.edu/stickel88prologlike.html More
@techreport{ stickel88prologlike,
author = "M. Stickel",
title = "A Prolog-like Inference System for Computing Minimum-Cost Abductive Explanations in Natural-Language Interpretation {A} Prolog Technology Theorem Prover : Implementation by an Extended Prolog Compiler",
year = "1988",
url = "citeseer.ist.psu.edu/stickel88prologlike.html" }
Citations (may not include all citations):286 Interpretation as Abduction - Hobbs, Stickel et al. - 1988
142 Automated Theorem Proving (context) - Bibel - 1982
97 A Prolog Technology Theorem Prover: Implementation by an Ext.. - Stickel - 1988
73 Theorem Proving Via General Matings (context) - Andrews - 1981
62 the Mechanization of Abductive Logic (context) - Pople - 1973
50 Exploiting Constraints in Design Synthesis (context) - Finger - 1987
48 Causes for Events: Their Computation and Applications (context) - Cox, Pietrzykowski - 1986
41 Probabilistic semantics for cost based abduction (context) - Charniak, Shimony - 1990
39 General Diagnosis by Abductive Inference (context) - Cox, Pietrzykowski - 1987
19 Artificial Intelligence (context) - Shostak - 1976
15 An Analysis of Consecutively Bounded Depth-First Search with.. (context) - Stickel, Tyson - 1985
11 and Nonmonotonic Equality (context) - Charniak - 1988
9 Computing with Logic (context) - Maier, Warren - 1988
8 Inference in Text Understanding (context) - Norvig - 1987
5 Local Pragmatics (context) - Hobbs, Martin - 1987
1 the Complexity of Resolution Derivations (context) - Shostak
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ai.sri.com/~stickel/): More
Interpretation as Abduction - Hobbs, Stickel, Appelt, Martin (1990) (Correct)
Automated Deduction by Theory Resolution - Stickel (1985) (Correct)
Ordered Binary Decision Diagrams and the Davis-Putnam Procedure - Uribe, Stickel (1994) (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