Overview

This monograph presents the foundations of reasoning with partial information and a theory of common sense reasoning based on monotonic logic and partial structures. This theory was designed specifically for the needs of practising computer scientists and provides easily implementable algorithms. The essential research in common-sense reasoning has been developed in isolation from the disciplines of theoretical computer science and classical logic. This work breaks the isolation and establishes deep links. Proof-theoretic and model-theoretic views are considered in the applications, as well as logical problems of theoretical physics, such as issues related to Heisenberg's uncertainty principle.

Full Product Details

9783540565833

Table of Contents

Reviews

Author Information

Tab Content 6

Countries Available