Paper: Some Computational Aspects Of Situation Semantics

ACL ID P81-1026
Title Some Computational Aspects Of Situation Semantics
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1981
Authors
  • Jon Barwise (Stanford University, Stanford CA; University of Wisconsin-Madison, Madison WI)

y as PARTIAL functions from relations and objects to 0 and I. For example, the type s(belong, Jackie, Jonny) = 1 s(dog, Jackie) " l s(smart, Jackle) = 0 represents a number of true facts about my son, Jonny, and his dog. (It is important to realize that s is taken to be a function from objects, properties and relations to 0,I, not from words to 0,Io) A typical sltuatlon--type representing a discourse situation might be given by d(speak, Bill) = I d(father, Bill, Alfred) - i d(dog, Jackle) " I representing the type of discourse situation where Bill, the father of Alfred, is speaking and where there is a single dog, Jackie, present. The meaning of (2) The dog belongs to my son is a relation (or,-tlti-valued function) R between various types of discourse situations a~d other types of situatio...