Cognitive Technologies

Logical Tools for Handling Change in Agent-Based Systems

Authors: Gabbay, Dov M., Schlechta, Karl

  • In this book the authors propose and explain general logical tools for handling change.

Buy this book

eBook $149.00
price for USA
  • ISBN 978-3-642-04407-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $189.00
price for USA
  • ISBN 978-3-642-04406-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $189.00
price for USA
  • ISBN 978-3-642-26187-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Reviews

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)


Table of contents (9 chapters)

  • Introduction and Motivation

    Gabbay, Dov M. (et al.)

    Pages 1-30

  • Basic Definitions and Results

    Gabbay, Dov M. (et al.)

    Pages 31-51

  • Abstract Semantics by Size

    Gabbay, Dov M. (et al.)

    Pages 53-71

  • Preferential Structures – Part I

    Gabbay, Dov M. (et al.)

    Pages 73-117

  • Preferential Structures – Part II

    Gabbay, Dov M. (et al.)

    Pages 119-155

Buy this book

eBook $149.00
price for USA
  • ISBN 978-3-642-04407-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $189.00
price for USA
  • ISBN 978-3-642-04406-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $189.00
price for USA
  • ISBN 978-3-642-26187-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logical Tools for Handling Change in Agent-Based Systems
Authors
Series Title
Cognitive Technologies
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-04407-6
DOI
10.1007/978-3-642-04407-6
Hardcover ISBN
978-3-642-04406-9
Softcover ISBN
978-3-642-26187-9
Series ISSN
1611-2482
Edition Number
1
Number of Pages
X, 305
Number of Illustrations and Tables
26 b/w illustrations
Topics