逻辑学及其在计算机科学中的应用

Logics and their Applications to Computer Science

本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别是在人工智能领域中的应用。

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.