Premium
Toward a computational interpretation of situation semantics 1
Author(s) -
Lespérance Yves
Publication year - 1986
Publication title -
computational intelligence
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.353
H-Index - 52
eISSN - 1467-8640
pISSN - 0824-7935
DOI - 10.1111/j.1467-8640.1986.tb00067.x
Subject(s) - computer science , semantics (computer science) , context (archaeology) , natural language , representation (politics) , interpretation (philosophy) , focus (optics) , natural (archaeology) , natural language processing , artificial intelligence , logical consequence , computational semantics , embedding , knowledge representation and reasoning , theoretical computer science , operational semantics , programming language , paleontology , physics , optics , politics , political science , law , biology , history , archaeology
Situation semantics proposes novel and attractive treatments for several problem areas of natural language semantics, such as efficiency (context sensitivity) and prepositional attitude reports. Its focus on the information carried by utterances makes the approach very promising for accounting for pragmatic phenomena. However, situation semantics seems to oppose several basic assumptions underlying current approaches to natural language processing and the design of intelligent systems in general. It claims that efficiency undermines the standard notions of logical form, entailment, and proof theory, and objects to the view that mental processes necessarily involve internal representations. The paper attempts to clarify these issues and discusses the impact of situation semantics’ criticisms for natural language processing, knowledge representation, and reasoning. I claim that the representational approach is the only currently practical one for the design of large intelligent systems, but argue that the representations used should be efficient in order to account for the system's embedding in its environment. The paper concludes by stating some constraints that a computational interpretation of situation semantics should obey and discussing remaining problems.