Logical Tools for Handling Change in Agent-Based Systems / Edition 1

Logical Tools for Handling Change in Agent-Based Systems / Edition 1

by Dov M. Gabbay, Karl Schlechta
     
 

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.See more details below

Overview

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.

Product Details

ISBN-13:
9783642044069
Publisher:
Springer Berlin Heidelberg
Publication date:
12/01/2009
Series:
Cognitive Technologies Series
Edition description:
2010
Pages:
305
Product dimensions:
6.20(w) x 9.20(h) x 1.10(d)

Meet the Author

Table of Contents

Introduction and Motivation.- A Discussion of Concepts.- Introduction to Representation Problems.- Preferential Structures.- Higher Preferential Structures.- Hierarchical Conditionals.- Update.- Deontic Logic.- Theory Revision.- An Analysis of Defeasible Inheritance Systems.- Argumentation.- References.- Index.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >