tutorial-notes-4-steedman

Plans and the Computational Structure of Language The ClaimMark Steedman: Informatics, U. of Edinburgh AI Planning formalisms such as the Linear Dynamic Event Calculus (LDEC)provide a transparent notation for causal/teleological knowledgehttp://www.inf.ed.ac.uk/~steedmanrepresentations, in which:– Composition B characterizes seriation of actions in plans.– Type-raising T the affordances of objects.Not only speech, but all skilled acts seem to involve the same problems ofserial ordering, even down to the temporal coordination of muscular Composition B and type raising T also show up as the defining operations ofcontractions in such a movement as reaching and grasping. Analysis ofCombinatory Categorial Grammar (CCG).the nervous mechanisms underlying order in the more primitive acts may There is developmental, neuroanatomical, and neurophysiological evidencecontribute ultimately to the solution of even the physiology of logic.that suggests that the involvement of these operations in motor planning is aKarl Lashley 1951:122direct precursor of their involvement in natural language grammar. Multilayer Perceptrons, Associative Networks, and Recurrent Networks canbe used to learn the building blocks of such systems.IJCAI Workshop on Representation and Learning Edinburgh 20051 2I: The Linear Dynamic Event Calculus (LDEC) Dynamic Logic Actions as Accessibility Basic Dynamic Logic: The actions a;b;::: can be seen as defining the accessibility relation ...