Features and Fluents: The Representation of Knowledge About Dynamical Systems - Couverture rigide

Sandewall, Erik

 
9780198538455: Features and Fluents: The Representation of Knowledge About Dynamical Systems
Couverture rigide
ISBN 10 : 0198538456 ISBN 13 : 9780198538455
Editeur : Clarendon Press, 1995

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Revue de presse

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)

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Clarendon Press
Date d'édition
1995
Langue
anglais
ISBN 10 
0198538456
ISBN 13 
9780198538455
Reliure
Relié
Nombre de pages
346
Coordonnées du fabricant
non disponible
Personne responsable
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italie