Agents Interpreting Imperative Sentences

The aim of this paper is to present a model for the interpretation of imperative sentences in which reasoning agents play the role of speakers and hearers. A requirement is associated with both the person who makes and the person who receives the order, which prevents the hearer coming to inappropriate conclusions about the actions s/he has been commanded to do. By relating imperatives with the actions they prescribe, the dynamic aspect of imperatives is captured. Further, by using the idea of encapsulation, it is possible to distinguish what is demanded by an imperative from the inferential consequences of the imperative. These two ingredients provide agents with the tools to avoid inferential problems in interpretation.

[1]  Alf Ross,et al.  Imperatives and Logic , 1944, Philosophy of Science.

[2]  Robert Walter.  Jörgensen's Dilemma and How to Face It , 1996 .

[3]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

[4]  Krister Segerberg.  Validity and Satisfaction in Imperative Logic , 1990, Notre Dame J. Formal Log..

[5]  Harry Bunt,et al.  Abduction, Belief and Context in Dialogue , 2000, Natural Language Processing.

[6]  Harry Bunt,et al.  Dialogue pragmatics and context specification , 2000, Abduction, Belief and Context in Dialogue.

[7]  Michael Luck,et al.  Empowered Situations of Autonomous Agents , 2002, IBERAMIA.

[8]  Michael Böttner,et al.  Natural Language , 1997, Relational Methods in Computer Science.

[9]  Georg Henrik.  Deontic Logic: A Personal View , 1999 .

[10]  Henry Prakken,et al.  Contrary-to-duty obligations , 1996, Stud Logica.

[11]  Raymond Turner,et al.  Properties, propositions and semantic theory , 1992 .

[12]  Paul Piwek,et al.  Imperatives, Commitment and Action: Towards a Constraint-based Model , 2000, LDV Forum.

[13]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[14]  Jörgen Jörgensen,et al.  Imperatives and logic , 1937, Erkenntnis.

[15]  Miguel Toro,et al.  Advances in Artificial Intelligence — IBERAMIA 2002 , 2002, Lecture Notes in Computer Science.

[16]  M. Rosner,et al.  Computational linguistics and formal semantics , 1992 .

[17]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[18]  Irene Santini de Sigel,et al.  Communication and Cognition , 1998 .