Features and Fluents: The Representation of Knowledge about Dynamical Systems, Volume 1: 30 - Rilegato

Sandewall, Erik

 
9780198538455: Features and Fluents: The Representation of Knowledge about Dynamical Systems, Volume 1: 30
Rilegato
ISBN 10: 0198538456 ISBN 13: 9780198538455
Casa editrice: Clarendon Press, 1995

Sinossi

Techniques for reasoning about actions an change in the physical world is one of the classical research topics in artificial intelligence. It is motivated by the needs of autonomous robots which must be able to anticipate their immediate future, to plan their future actions, and to figure out what went wrong in case of problems. It is also motivated by the needs of common-sense reasoning for example in the understanding of natural language texts, where processes and change over time is an ever-present phenomenon. The same set of problems arises in several other areas of computing such as in conceptual modelling for data bases, and in the rapidly growing area of intelligent control.

The present research monograph presents and uses a novel methodology for reasoning about actions and change. Traditional research contributions have proposed new logic variants which were only supported by episodical examples. THe work described here uses a systematic methodology for identifying the exact range of applicability of a given logic. For a number of previously proposed logics, as well as for some new ones, the present work characterizes exactly the class where it does not.

This book will be a necessary source of reference for researchers in knowledge representation, cognitive robotics, and intelligent control in the years to come. Particularly because of its emphasis on a strict and systematic methodology, it can also be recommended as a textbook for graduate university courses in these areas.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

The book presents deep and serious insight into inert and inhabited dynamical systems (IDS). (Zentralblatt fur Mathematik)

Those working in nonmonotonic reasoning, planning, temporal logic, reasoning about actions and change, and related areas will find this book worth reading. (Computing Reviews)

Contenuti

  • Inert and inhabited dynamical systems
  • Inference operations on scenario descriptions
  • Underlying semantics for IDS worlds
  • Elementary feature logic and meta-logical concepts
  • Lexical-domain object-feature logic
  • Temporal feature logic for discrete time domains
  • Chronicle completion in k-IA
  • Intended models for chronicles in k-IA
  • Entailment methods for k-IA using DFL-1
  • Duration constraints
  • Entailment methods for k-OA using occlusion
  • Composite actions
  • Upper applicability bounds and assessment of soundness
  • Future directions
  • Terms index
  • Notation
  • References to related work

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Clarendon Press
Data di pubblicazione
1995
Lingua
Inglese
ISBN 10 
0198538456
ISBN 13 
9780198538455
Rilegatura
Copertina rigida
Numero di pagine
346
Contatto del produttore
Messaggerie Libri
ufficio.anagrafiche@meli.it

Via Verdi, 8.
Assago Milano
20090
Italia