Thinking about reasoning about knowledge

被引:0
作者
Kyburg Jr. Henry E. [1 ]
机构
[1] Univ of Rochester, Rochester
关键词
Artificial Intelligence; System Theory;
D O I
10.1023/A:1008205914799
中图分类号
学科分类号
摘要
Issues revolving around reasoning about knowledge are presented. A remarkable array of thoughtful, thought-provoking, substantial, text-supplementing, and interesting exercises are included. Notes are presented which are decidedly helpful and generally provide a glimpse of the historical background of the topics covered in that chapter. The volume is fine for self study by the mathematically mature readers from several disciplines: computer science, artificial intelligence, philosophy, and game theory.
引用
收藏
页码:103 / 112
页数:9
相关论文
共 5 条
[1]  
Ackermann W.(1956)Begründung einer strengen Implikation Journal of Symbolic Logic 21 113-128
[2]  
Da Costa N.(1974)On the Theory of Inconsistent Formal Systems Notre Dame Journal of Formal Logic 15 497-501
[3]  
Kripke S.(1959)A Completeness Theorem in Modal Logic Journal of Symbolic Logic 24 1-14
[4]  
Lewis C. I.(1912)Implication and the Algebra of Logic Mind 21 552-531
[5]  
Priest G.(1989)Reasoning about Truth Artificial Intelligence 39 231-244