The Logic of Partial Information
Part of the EATCS Monographs in Theoretical Computer Science series
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.