Dov M. Gabbay, Karl Schlechta

Logical Tools for Handling Change in Agent-Based Systems

• Gebundenes Buch

Produktbeschreibung

Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for handling change. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic.

This book will be of benefit to researchers engaged with artificial intelligence, and in particular agents, multiagent systems and nonmonotonic logic.

Produktdetails

• Cognitive Technologies
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 12539444, 978-3-642-04406-9
• 2010
• Seitenzahl: 316
• Erscheinungstermin: 15. Dezember 2009
• Englisch
• Abmessung: 241mm x 160mm x 22mm
• Gewicht: 622g
• ISBN-13: 9783642044069
• ISBN-10: 3642044069
• Artikelnr.: 27360585

Inhaltsangabe

Introduction and Motivation.- A Discussion of Concepts.- Introduction to Representation Problems.- Preferential Structures.- Higher Preferential Structures.- Hierarchical Conditionals.- Update.- Deontic Logic.- Theory Revision.- An Analysis of Defeasible Inheritance Systems.- Argumentation.- References.- Index.

---

and Motivation.- Basic Definitions and Results.- Abstract Semantics by Size.- Preferential Structures #x2013; Part I.- Preferential Structures #x2013; Part II.- Higher Preferential Structures.- Deontic Logic and Hierarchical Conditionals.- Theory Update and Theory Revision.- An Analysis of Defeasible Inheritance Systems.

Rezensionen

From the reviews: "I welcome this book and its attempt to bring systematic, reductive, and semantical order to a field that has had many different approaches, written by two well-established researchers in this area and other related areas of technical work on philosophically and epistemically motivated logics." Saul Kripke (The City University of New York) "This book covers a broad range of ideas related to nonmonotonic reasoning. This review summarizes some of its nice ideas--or, as the authors say, its 'logical tools.' ... It would be fair to call this whole book an exposition on reactive diagrams in various application areas. ... there is substantial material for researchers. ... the book is primarily concerned with semantic structures." (K. Lodaya, ACM Computing Reviews, February, 2011)