Extending Theories of Action: Formal Theory and Practical Applications
Papers from the 1995 AAAI Symposium
Craig Boutilier and Moises Goldszmidt, Program Cochairs
Technical Report SS-95-07. 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
Representation of Deliberation and Execution Time in Influence Diagrams / 1
John M. Agosta
Control Strategies in Planning / 5
Fahiem Bacchus and Froduald Kabanza
Reasoning about Actions: Non-deterministic Effects, Constraints, and Qualification / 1
Chitta Baral
Representing Actions - I: (Laws, Observations and Hypothesis) / 17
Chitta Baral, Michael Gelfond and Alessandro Provetti
Analyzing Languages of Actions for the Purpose of Synthesis / 23
D. Paul Benjamin
AI Planning in Dynamic, Uncertain Domains / 28
Jim Blythe
Exploiting Structure in Policy Construction / 33
Craig Boutilier, Richard Dearden and Moise’s Goldszmidt
Nondeterministic Actions and the Frame Problem / 39
Craig Boutilier and Nir Friedman
Relating Formalizations of Actions / 45
Tom Costello
Observations on Observations in Action Theories (Position Paper) / 51
James M. Crawford and David W. Etherington
Structured-Based Generation of Plans / 56
Adnan Darwiche
Enhanced Propositional Dynamic Logic for Reasoning about Concurrent Actions (Extended Abstract) / 62
Giuseppe De Giacomo and Maurizio Lenzerini
Generating Macro Operators for Decision-Theoretic Planning / 68
AnHai Doan and Peter Haddawy
Formalizing Counterfactual and Nondeterministic Actions in First Order Logic / 74
Charles Elkan
On Solving the Qualification Problem / 77
Charles Elkan
Actions with Indirect Effects (Extended Abstract) / 80
Enrico Giunchiglia, G. Neelakantan Kartha and Vladimir Lifschitz
Conditional Actions, Context Dependent Actions and Information Gathering / 86
Robert P. Goldman and Mark S. Boddy
How to Avoid "Thinking on Your Feet" / 88
Lloyd Greenwald
A Theory of Complex Actions for Enterprise Modeling / 94
Michael Gruninger and Javier A. Pinto
A Decision-Based View of Causality / 100
David Heckerman and Ross Shachter
A Brief Outline of ALX3, a Multi-Agent Action Logic / 106
Zhisheng Huang and Michael Masuch
An Interdisciplinary Theory of Autonomous Action / 111
Richard Levinson
Reified Logic for Representing First Order Temporal Constraints / 117
Rasiah Loganantharaj
An Extended Theory of Temporal Propositions / 123
Jixin Ma and Brain Knight
Action Representations for Space Shuttle Operations Support / 129
Jane T. Malin, Dan Ryan, and Debra Schreckenghost
A Causal Theory of Ramifications and Qualifications (Extended Abstract) / 130
Normun McCain and Hudson Turner
Some Requirements on an Action Language for Legal Discourse (Position Paper) / 136
L. Thorne McCarty
Incorporating Action into Diagnostic Problem Solving (An Abridged Report) / 139
Sheila A. McIlraith
Situation Calculus Specifications for Event Calculus Logic Programs / 145
Rob Miller
Representing Iterative Loops for Decision Theoretic Planning (Preliminary Report) / 151
Liem Ngo and Peter Haddawy
Action as a Local Surgery / 157
Judea Pearl
Sensing and Acting in the Independent Choice Logics / 163
David Poole
Actions as Processes: a Position on Planning / 169
David Pym, Louise Pryor and David Murphy
Context-Sensitive Event Occurrence Minimisation / 174
Murray Shanahan
Representation and Evaluation of Plans with Loops / 180
David E. Smith and Mike Williamson
Abstract Actions for Stochastic Planning / 184
Jonathan King Tash
On the Logic of Dynamic Systems / 188
Michael Thielscher
Toward the Assessment of Logics for Concurrent Actions / 194
Choong-Ho Yi
The Role of Plans in Planning in Task-Related Discourse / 200
R. Michael Young
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.