From modal logic to deductive databases : introducing a logic based approach to artificial intelligence
著者
書誌事項
From modal logic to deductive databases : introducing a logic based approach to artificial intelligence
Wiley, c1989
大学図書館所蔵 件 / 全23件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 351-369
Includes index
内容説明・目次
内容説明
This volume is an invaluable learning and reference source for students and researchers of computer science and artificial intelligence. It advances the study of the concepts and methods of artificial intelligence taking logic as a guideline. A knowledge of standard logic is required for an understanding of this book but this comprehensive approach to logic used in computer science is complemented by a companion volume, "From Standard Logic to Logic Programming". In this, the more elementary aspects of using logic for artificial intelligence are introduced.
目次
- Knowledge representation
- natural and formal languages
- modal logic
- intensional logic and Montague's semantics
- temporal logic and specification of concurrent programs
- revisable reasoning
- theory of relational and deductive databases
- representation of incomplete information in databases.
「Nielsen BookData」 より