Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies) - Image 1

Price loading...

Springer Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)

Name: Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)
Brand: Springer

AI & Machine Learning

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

Product Description 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. Review 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)

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642261876
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 01 March 2012
Listed Since: 04 March 2012

Barcode

No barcode data available

Springer Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Handbook of Philosophical Logic: Volume 14

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law: 32 (Law and Philosophy Library, 32)

Logic for Applications (Texts in Computer Science)

Johan van Benthem on Logic and Information Dynamics: 5 (Outstanding Contributions to Logic, 5)

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Reactive Kripke Semantics (Cognitive Technologies)

Handbook of Philosophical Logic: Volume 8

Computation Engineering: Applied Automata Theory and Logic

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Routledge Philosophy of Logical Systems - Contemporary Philosophy

Meaning in Dialogue: An Interactive Approach to Logic and Reasoning: 33 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 33)

Johan van Benthem on Logic and Information Dynamics: 5 (Outstanding Contributions to Logic, 5)

Philosophy of Logical Systems (Routledge Studies in Contemporary Philosophy)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Conditionals and Modularity in General Logics (Cognitive Technologies)

Dynamic Tractable Reasoning: A Modular Approach to Belief Revision: 420 (Synthese Library, 420)

Springer - Specification and Verification of Multi-agent Systems

Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles

Design of Logic-based Intelligent Systems