Challenges for action theories /

Bibliographic Details
Main Author:	Thielscher, Michael
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, 2000.
Series:	Lecture notes in computer science ; 1775. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Computer logic. System design. Formal methods (Computer science) robotique. méthode formelle. logique formelle. ramification. Logique informatique. Systèmes, Conception de. Méthodes formelles (Informatique) Kunstmatige intelligentie. Inteligencia Artificial (Computacao) Logica matematica. Handlungslogik. Automatische Handlungsplanung. Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

1. Foundations of Action Theories. 1.1. Purpose. 1.2. Basic Action Theory. 1.3. Bibliographic Remarks
2. Ramification Problem. 2.1. Indirect Effects of Actions. 2.2. Minimizing Change. 2.3. Categorizing Fluents. 2.4. Causal Relationships. 2.4.1. Causal Relationships and Their Application. 2.5. Influence Information. 2.6. Non-minimal Successor States. 2.7. Triggered vs. Coupled Effects. 2.8. Implicit Qualifications vs. Indirect Effects. 2.9. Fluent Calculus Axiomatization. 2.9.1. Reifying States. 2.9.2. Axiomatizing Action Laws and Causal Relationships. 2.9.3. Defining Transition Models. 2.9.4. Encoding Observations. 2.10. Bibliographic Remarks
3. Qualification Problem.