scispace - formally typeset
Open AccessJournal ArticleDOI

Interpretation as abduction

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
Journal ArticleDOI

Abduction, conversational implicature and misleading in human dialogues

TL;DR: This article first study abduction in human dialogues, then considers conversational implicature used as pragmatic inference in speech acts and argues how speakers could use abduction or conversationalimplicature for the purpose of misleading hearers.
Book ChapterDOI

The Narrative Dimension

TL;DR: In this article, an overview of legal narratives with artificial intelligence techniques is presented, and pitfalls to avoid, in consideration of what controversy within legal scholarship implies about the need for the modelling of legal narrative with artificial-intelligence techniques to meet with approval from legal scholars.
Journal ArticleDOI

The breadth of semantics: reply to critics

TL;DR: This paper explored the scope and limits of linguistic knowledge in semantics and pragmatics for natural language, and drew heavily on the notion of coordination from David Lewis' book on conventions, which they used to develop Imagination and Convention.
Book ChapterDOI

Interpretation of Compound Nominals Using WordNet

TL;DR: An approach to interpreting noun-noun compounds within a question answering system, based on WordNet, that provides the basis for heuristics that group nouns in a compound with semantically similar words.
Book ChapterDOI

Pragmatic Reasoning, Defaults and Discourse Structure

TL;DR: This chapter argues for a rich, linguistic notion of discourse context which is computed by means of simple defeasible rules in a nonmonotonic propositional logic, and investigates particular justifications for the various pragmatic principles that the theory adopts, using a variety of game theoretic techniques.
References
More filters
Book

Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference

TL;DR: Probabilistic Reasoning in Intelligent Systems as mentioned in this paper is a complete and accessible account of the theoretical foundations and computational methods that underlie plausible reasoning under uncertainty, and provides a coherent explication of probability as a language for reasoning with partial belief.
Book ChapterDOI

Logic and conversation

H. P. Grice
- 12 Dec 1975 - 
Book

Relevance: Communication and Cognition

TL;DR: In this paper, the authors present a list of symbols for verb-verb communication in the context of Verbal Communication, including the following: preface to second edition, preface and postface to first edition.
Book

Understanding Natural Language

TL;DR: A computer system for understanding English that contains a parser, a recognition grammar of English, programs for semantic analysis, and a general problem solving system based on the belief that in modeling language understanding, it must deal in an integrated way with all of the aspects of language—syntax, semantics, and inference.
Book ChapterDOI

The Proper Treatment of Quantification in Ordinary English

TL;DR: The aim of this paper is to present in a rigorous way the syntax and semantics of a certain fragment of acertain dialect of English.
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.