Features and Fluents: The Representation of Knowledge about Dynamical Systems

Features and Fluents: The Representation of Knowledge about Dynamical Systems

by Erik Sandewall
     
 

Techniques for reasoning about actions and change in the physical world are among the classic research topics in artificial intelligence, motivated by the needs of autonomous robots which must be able to anticipate future developments and analyze problems. This monograph presents a novel methodology for such reasoning. It is based on a systematic approach for

See more details below

Overview

Techniques for reasoning about actions and change in the physical world are among the classic research topics in artificial intelligence, motivated by the needs of autonomous robots which must be able to anticipate future developments and analyze problems. This monograph presents a novel methodology for such reasoning. It is based on a systematic approach for identifying the exact range of applicability of a given logic, as opposed to traditional methods based on proposing new logic variants supported by episodical examples. For a number of previously proposed logics, as well as for some new ones, this work characterizes exactly the class of those reasoning tasks where the logic results in the intended set of conclusions, and the class were it does not. The book will be a necessary resource for researchers in knowledge representation, cognitive robotics, and intelligent control. It can also be recommended as a graduate-level text in these fields, especially in light of its emphasis on a strict and systematic methodology.

Read More

Product Details

ISBN-13:
9780198538455
Publisher:
Oxford University Press, USA
Publication date:
02/28/1995
Series:
Oxford Logic Guides Series, #30
Edition description:
001
Pages:
352
Product dimensions:
6.38(w) x 9.50(h) x 0.97(d)

Table of Contents

1. Inert and inhabited dynamical systems
2. Inference operations on scenario descriptions
3. Underlying semantics for IDS worlds
4. Elementary feature logic and meta-logical concepts
5. Lexical-domain object-feature logic
6. Temporal feature logic for discrete time domains
7. Chronicle completion in *k-IA
8. Intended models for chronicles in *k-IA
9. Entailment methods for *k-IA using DFL-1
10. Duration constraints
11. Entailment methods for *k-IA using occlusion
12. Composite actions
13. Upper applicability bounds and assessment of soundness
14. Future directions
A. Term index
B. Notation
C. References to related work

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >