scispace - formally typeset
Open AccessJournal ArticleDOI

Interpretation as abduction

Jerry R. Hobbs, +3 more
- 01 Oct 1993 - 
- Vol. 63, Iss: 1, pp 69-142
Reads0
Chats0
TLDR
In this article, the TACITUS project at SRI 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.
About: 
This article is published in Artificial Intelligence.The article was published on 1993-10-01 and is currently open access. It has received 856 citations till now. The article focuses on the topics: Pragmatics & Abductive reasoning.

read more

Citations
More filters
Book

The Description Logic Handbook

Franz Baader, +4 more
TL;DR: This introduction presents the main motivations for the development of Description Logics as a formalism for representing knowledge, as well as some important basic notions underlying all systems that have been created in the DL tradition.
Journal ArticleDOI

Indirect Speech Acts

Nicholas Asher, +1 more
- 01 Jul 2001 - 
TL;DR: It is shown how a formal semantictheory of discourse interpretation can be used to define speech acts and to avoid murky issues concerning the metaphysics of action.
Book ChapterDOI

Actions and Events in Interval Temporal Logic

James F. Allen, +1 more
- 01 Jul 1994 - 
TL;DR: A representation of events and action based on interval temporal logic that is significantly more expressive and more natural than most previous AI approaches is presented.
Proceedings Article

FASTUS: A Finite-state Processor for Information Extraction from Real-world Text.

Douglas E. Appelt, +4 more
TL;DR: FASTUS has been evaluated on several blind tests that demonstrate that state-of-the-art performance on information-extraction tasks is obtainable with surprisingly little computational effort.
Book

Presupposition and Assertion in Dynamic Semantics

David Beaver
TL;DR: Theories of Presupposition as discussed by the authors have been studied in the context of ABLE and the ABLE language. But they have not yet been applied to ABLE in ABLE.
References
More filters
Journal ArticleDOI

DIAGRAM: a grammar for dialogues

Jane J. Robinson
- 01 Jan 1982 - 
TL;DR: The DIAGRAM system as discussed by the authors is an augmented phrase-structure grammar with rule procedures that allow phrases to inherit attributes from their constituents and to acquire attributes from the larger phrases in which they themselves are constituents.
Journal ArticleDOI

An integrated understander

Roger C. Schank, +2 more
- 01 Jan 1980 - 
TL;DR: A new type of natural language parser is presented that uses an integrated conception of inferences, scripts, plans, and other knowledge to aid in the parse.
Book

Grammar, meaning and the machine analysis of language

Yorick Wilks
Proceedings ArticleDOI

A Logic for Semantic Interpretation

Eugene Charniak, +1 more
TL;DR: It is proposed that logic (enhanced to encode probability information) is a good way of characterizing semantic interpretation and an inference engine (Frail3) is described which actually takes this axiomatization and uses it to drive the semantic interpretation process.
Journal ArticleDOI

Weighted abduction for plan ascription

Douglas E. Appelt, +3 more
- 01 Mar 1992 - 
TL;DR: This work shows how the model of plan ascription developed by Konolige and Pollack can be recast in the framework of weighted abduction, and discusses the potential advantages and disadvantages of this encoding.
Frequently Asked Questions (6)
Q1. What are the contributions in this paper?

An approach to abductive inference developed in the TACITUS project has resulted in a dramatic simplification of how the problem of interpreting texts is conceptualized. It also suggests an elegant and thorough integration of syntax, semantics, and pragmatics. 

The relations r e / a n d nn are treated here as predicate variables, but they could be treated as predicate constants, in which case the authors would not have quantified over them. 

Implementations of different orders of interpretation, or different sorts of interaction among syntax, compositional semantics, and local pragmatics, can then be seen as different orders of search for a proof of s(O, n, e). 

In addition to type checking, the authors have introduced two other tevhnlques that are necessary for controlling the exploslon~unwinding recursive axioms and making use of syntactic noncoreference information. 

Syntax is captured in predicates like np, vp, and s. Compositional semantics is encoded in, for example, the way the predicat e p' is applied to its arguments in the first axiom, and in the lambda expression in the third argument of vp in the third axiom. 

The syntax portion is represented in standard Prolog manner, with nonterminals treated as predicates and having as two of its arguments the beginning and end points of the phrase spanned by the nonterminal.Â