TY - BOOK ID - 8506087 TI - Logical tools for handling change in agent-based systems AU - Gabbay, Dov M. AU - Schlechta, Karl. PY - 2010 SN - 3642261876 3642044069 9786612836084 3642044077 1282836080 PB - Berlin : Springer, DB - UniCat KW - Intelligent agents (Computer software). KW - Logic, Symbolic and mathematical. KW - Nonmonotonic reasoning. KW - Programming languages (Electronic computers). KW - Mechanical Engineering KW - Engineering & Applied Sciences KW - Computer Science KW - Mechanical Engineering - General KW - Information Technology KW - Artificial Intelligence KW - Intelligent agents (Computer software) KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Non-monotonic reasoning KW - Agents, Autonomous (Computer software) KW - Agents, Cognitive (Computer software) KW - Agents, Intelligent (Computer software) KW - Assistants, Cognitive (Computer software) KW - Assistants, Intelligent software KW - Autonomous agents (Computer software) KW - Cognitive agents (Computer software) KW - Cognitive assistants (Computer software) KW - IAs (Computer software) KW - Intelligent agent software KW - Intelligent software agents KW - Intelligent software assistants KW - Software agents (Computer software) KW - Special agents (Computer software) KW - Computer science. KW - Logic. KW - Computers. KW - Mathematical logic. KW - Artificial intelligence. KW - Mathematics. KW - Computer Science. KW - Artificial Intelligence (incl. Robotics). KW - Mathematics, general. KW - Theory of Computation. KW - Mathematical Logic and Formal Languages. KW - Mathematical Logic and Foundations. KW - Artificial intelligence KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Reasoning KW - Computer programs KW - Information theory. KW - Artificial Intelligence. KW - Argumentation KW - Deduction (Logic) KW - Deductive logic KW - Dialectic (Logic) KW - Logic, Deductive KW - Intellect KW - Philosophy KW - Psychology KW - Science KW - Thought and thinking KW - Informatics KW - Communication theory KW - Communication KW - Cybernetics KW - Math KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Methodology KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Calculators KW - Cyberspace UR - https://www.unicat.be/uniCat?func=search&query=sysid:8506087 AB - 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. ER -