Logical tools for handling change in agent-based systems

Bibliographic Details
Authors and Corporations: Gabbay, Dov M.,, Schlechta, Karl.
Title: Logical tools for handling change in agent-based systems / Dov M. Gabbay, Karl Schlechta.
Edition:2010 ed.
published:
Berlin : Springer-Verlag Berlin and Heidelberg GmbH & Co. K : [distributor] Springer-Verlag Berlin and Heidelberg GmbH & Co. KG : [distributor] CoInfo Book Services : [distributor] CoInfo Book Services : [distributor] Stephan Phillips : [distributor] Springer-Verlag New York Inc., 2012.
Physical Description:1 Paperback / softback (305p.) :; 26 ill., black and white; x 305 p. 26 ill.s. ;; 24x16 cm.
Part of: Cognitive technologies
ISSN/ISBN: 9783642261879 (pbk.) :
3642261876 (pbk.) :
Summary:This book covers general logical tools for handling change. The tools are preferential reasoning, theory revision and reasoning in inheritance systems. Logics examined are nonmonotonic, deontic, modal, intuitionistic and temporal as well as counterfactuals.
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 Koehler, Zentralblatt MATH, Vol. 1215, 2011).
Type of Resource:Book
Source:PDA Print Nielsen
Notes:1 Paperback / softback. Previously published in hardcover. No outer packaging
Language: English