Paul John King

Learn More
y ABSTRACT A description is an entity that can be interpreted as true or false of an object, and using feature structures as descriptions accrues several computational beneets. In this paper, I create an explicit interpretation of a typed feature structure used as a description, deene the notion of a satissable feature structure, and create a simple and(More)
Seminar f ur Sprachwissenschaft, Universitt at T ubingen y ABSTRACT In this paper, we argue that type inferenc-ing incorrectly implements appropriate-ness speciications for typed feature structures , promote a combination of type resolution and unnlling as a correct and ef-cient alternative, and consider the expressive limits of this alternative approach.(More)
The SRL (speciate re-entrant logic) of King 1989] is a sound, complete and decidable logic designed speciically to support formalisms for the HPSG (head-driven phrase structure grammar) of Pollard and Sag 1994]. The SRL notion of modellability in a signature is particularly important for HPSG, and the present paper modiies an elegant method due to Blackburn(More)
Classifying linguistic objects is a widespread and important linguistic task, and computational linguistics often requires the deduction of a classiicatory system from a general linguistic theory. Since hand deducing a classiicatory system may consume much eeort and introduce errors, a device that eeectively deduces accurate classiicatory systems from(More)
Introducing The Liar Barwise and Etchemendy's The Liar presents two accounts of the semantics of the liar sentence \this sentence is not true", named for Russell and Austin, and informed by situation semantics and non-well-founded set theory. The accounts diier over how a speaker uses a sentence and the world to express a proposition. \By a statement we(More)
  • 1