Logical Tools for Handling Change in Agent-Based Systems by Dov M. Gabbay & Karl Schlechta

Logical Tools for Handling Change in Agent-Based Systems

By

  • Genre Computers
  • Publisher Springer Science & Business Media
  • Released
  • Size 3.28 MB
  • Length 305 Pages

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.

More Dov M. Gabbay & Karl Schlechta Books