| 逻辑学及其在计算机科学中的应用 |
| |
| 引用本文： | 孙兆豪.逻辑学及其在计算机科学中的应用[J].河北大学学报(自然科学版),1991(2). |
| |
| 作者姓名： | 孙兆豪 |
| |
| 作者单位： | 河北大学电子系 |
| |
| 摘 要： | 本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别是在人工智能领域中的应用。
|
| 关 键 词： | 逻辑学 人工智能 非单调逻辑 |
Logics and their Applications to Computer Science |
| |
| SunZhaohao.Logics and their Applications to Computer Science[J].Journal of Hebei University (Natural Science Edition),1991(2). |
| |
| Authors: | SunZhaohao |
| |
| Institution: | Electronics Dept |
| |
| Abstract: | In this paper propdsitionalLogic, first-order predicate logic, second-order logic, modal logic, temporal logic, dynamic Logic, fuzzy logic, non-monotonic logic,combinatory logic and A-calculus, etc, are briefly introduced.The interrelations among the above-mentioned logic and their applications to compute science, especially to artificial intelligence, are discussed. |
| |
| Keywords: | logic artificial intelligence non-monotonic Logic |
| 本文献已被 CNKI 等数据库收录！ |
|
