The logic of partial information
著者
書誌事項
The logic of partial information
(Monographs in theoretical computer science : an EATCS series)
Springer-Verlag, c1995
- : Berlin
- : New York
大学図書館所蔵 件 / 全39件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
「Nielsen BookData」 より