Cantitate/Preț
Produs
Total produse
Vezi coșul
Logical Tools for Handling Change in Agent-Based Systems de Dov M. Gabbay

Logical Tools for Handling Change in Agent-Based Systems: Cognitive Technologies

Autor Dov M. Gabbay, Karl Schlechta
en Limba Engleză Hardback – 15 dec 2009
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.
Citește tot Restrânge

Din seria Cognitive Technologies

Preț: 79638 lei

Preț vechi: 137747 lei
-42%

Puncte Express: 1195
Paperback 99232 lei
Hardback 79638 lei

Carte indisponibilă temporar

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642044069
ISBN-10: 3642044069
Pagini: 316
Ilustrații: X, 305 p. 26 illus.
Dimensiuni: 160 x 241 x 22 mm
Greutate: 0.59 kg
Ediția:2010
Editura: Springer
Colecția Cognitive Technologies
Seria Cognitive Technologies

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.

Recenzii

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)
“The book gives a very solid and comprehensive overview of various logics. It focuses on mapping of the logics to the formalism of reactive diagrams. … The book is especially suited for logicians and researchers seeking to establish a rigorous theoretical foundation for their reasoning systems, or who are interested in comparing different reasoning systems on the basis of a common ground.” (Jana Köhler, Zentralblatt MATH, Vol. 1215, 2011)

Caracteristici

In this book the authors propose and explain general logical tools for handling change. Includes supplementary material: sn.pub/extras

Notă biografică

Dov Gabbay is the (Emeritus) Augustus de Morgan Professor of Logic at King's College London, an invited professor at the Université de Luxembourg, a professor at Bar-Ilan University, Israel, and a professor of theoretical computer Science at Ashkelon Academic College, Israel. He is Editor-in-chief of several international journals and handbooks, among them the Handbook of Philosophical Logic. His research interests include logic and computation, proof theory and goal-directed theorem proving, nonclassical logics and nonmonotonic reasoning, labeled deductive systems, fibring logics, and reactive systems. His most recent books include Conditionals and Modularity in General Logics (Springer 2011) and Logical Tools for Handling Change in Agent-Based Systems (Springer 2009). Karl Schlechta is a retired professor of computer science at Aix-Marseille University in France, and a member of the Laboratoire d'Informatique Fondamentale de Marseille. He works on nonmonotonic logics,theory revision, and related subjects, his main interest being the semantical side of these logics and in particular preferential structures and accompanying representation theorems. His books include Coherent Systems (Elsevier 2004), Logical Tools for Handling Change in Agent-Based Systems (Springer 2009), and Conditionals and Modularity in General Logics (Springer 2011).