Ontology for human talk and thought (not robotics)

Abstract 1. Introduction Hamm, Kamp, and van Lambalgen 2006 (hereafter HKL) propose to relate NL discourse to cognitive representations that also deal with world knowledge, planning, belief revision, etc. Their implementation involves translating NL discourse first into DRT, which explicates the linguistic information, and then into an event calculus, which uses world knowledge and non-monotonic reasoning to arrive at the final cognitive representation.