Reasoning about Mental States - Formal Theories and Applications
Papers from the 1993 Spring Symposium
John Horty and Yoav Shoham, Program Cochairs
Technical Report SS-93-05. Published by The AAAI Press, Menlo Park, California. This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
The Revision of Beliefs and Intentions in a Changing World / 1
Nicholas Asher and Robert Koons
Macro and Micro Attributions of Mental Attitudes to Agents / 10
Afzal Ballim
Changing Attitudes / 20
John Bell
A Modal Characterization of Defeasible Deontic Conditionals and Conditional Goals / 30
Craig Boutilier
Norms as Mental Objects. From Normative Beliefs to Normative Goals / 40
Rosaria Conte and Cristiano Castelfranchi
An Integrated Framework for Ought-to-be and Ought-to-do Constraints (Extended Abstract) / 48
P. d'Altan, J.-J. Ch. Meyer and R. J. Wieringa
Variables Influencing the Intensity of Simulated Affective States / 58
Clark Elliott and Greg Siegle
Speech Actions and Mental States in Task-Oriented Dialogues / 68
Peter Heeman
Knowledge About Planning: On the Meaning and Representation of Plan Decomposition / 74
Diane Horton and Graeme Hirst
An Approach to Modeling Indexicality in Action and Communication / 79
Yves Lespérance
Belief as an Effect of an Act of Introspection: Some Preliminary Remarks / 86
Susan W. McRoy
Reasoning about Perception / 90
Daniela Musto and Kurt Konolige
A Calculus of Pragmatic Obligation / 96
Judea Pearl
Definite Descriptions and the Dynamics of Mental States / 106
Massimo Poesio
Verification of Agent-Oriented Situated Systems: A Model-Theoretic Approach / 115
Anand S. Rao and Michael P. Georgeff
A Logic for Representing Actions, Beliefs, Capabilities, and Plans / 125
Becky Thomas
Towards a Logical Theory of Practical Reasoning / 133
Richmond H. Thomason
Mental State in the TRAINS-92 Dialogue Manager / 143
David R. Traum
A Logic of Capabilities (Extended Abstract) / 150
W. van der Hoek, B. van Linder and J.-J.Ch. Meyer
Informational Redundancy and Resource Bounds in Dialogue / 160
Marilyn A. Walker
Intentions Are Plans Plus Wishes (And More) / 170
Roberto Zamparelli
A Representationalist Theory of Intention / 178
Kurt Konolige and Martha E. Pollack
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.