• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Logical Tools for Handling Change in Agent-Based Systems

Logical Tools for Handling Change in Agent-Based Systems

Paperback

Series: Cognitive Technologies

FictionGeneral ComputersLogic

ISBN10: 3642261876
ISBN13: 9783642261879
Publisher: Springer
Published: Mar 1 2012
Pages: 305
Weight: 0.98
Height: 0.66 Width: 6.14 Depth: 9.21
Language: English

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.

Also from

Gabbay, Dov M.

Also in

General Computers