Semantic Interpretation as Computation in Nonmonotonic Logic: The Real Meaning of the Suppression Task

Cognitive Science 29 (6):919-960 (2005)
  Copy   BIBTEX

Abstract

Interpretation is the process whereby a hearer reasons to an interpretation of a speaker's discourse. The hearer normally adopts a credulous attitude to the discourse, at least for the purposes of interpreting it. That is to say the hearer tries to accommodate the truth of all the speaker's utterances in deriving an intended model. We present a nonmonotonic logical model of this process which defines unique minimal preferred models and efficiently simulates a kind of closed-world reasoning of particular interest for human cognition. Byrne's “suppression” data (Byrne, 1989) are used to illustrate how variants on this logic can capture and motivate subtly different interpretative stances which different subjects adopt, thus indicating where more fine-grained empirical data are required to understand what subjects are doing in this task. We then show that this logical competence model can be implemented in spreading activation network models. A one pass process interprets the textual input by constructing a network which then computes minimal preferred models for (3-valued) valuations of the set of propositions of the text. The neural implementation distinguishes easy forward reasoning from more complex backward reasoning in a way that may be useful in explaining directionality in human reasoning.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Real Logic is Nonmonotonic.Henry E. Kyburg - 2001 - Minds and Machines 11 (4):577-595.
Semantics-based Nonmonotonic Inference.Heinrich Wansing - 1995 - Notre Dame Journal of Formal Logic 36 (1):44-54.
Jumps and logic in the law.Aleksander Peczenik - 1996 - Artificial Intelligence and Law 4 (3-4):297-329.
Nonmonotonic theories and their axiomatic varieties.Zbigniew Stachniak - 1995 - Journal of Logic, Language and Information 4 (4):317-334.
Nonmonotonic reasoning: logical foundations of commonsense.Gerhard Brewka (ed.) - 1991 - New York: Cambridge University Press.
Nonmonotonic Inconsistency.Charles B. Cross - 2003 - Artificial Intelligence 149 (2):161-178.

Analytics

Added to PP
2013-11-21

Downloads
36 (#431,270)

6 months
7 (#425,192)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

Vision.David Marr - 1982 - W. H. Freeman.
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.

View all 31 references / Add more references