一.数理逻辑与人工智能 数理逻辑来自于悖论的研究，一 般说来，凡“似是而非 似非而是”的论点，都被 人们称之为“悖论” 9粥 构成一个悖论需要具备如下条件： 9咒 (1)悖论都表现为两个相互矛盾的命题等价式，其一般 形式为：P→P; (2)悖论作为一种特殊的逻辑矛盾，具有与普通逻辑矛 9粥 盾相区别的两个特征： 第一，任一悖论都是相对于某些公认的背景知识而言的， 这些共识既可以是人们公认的明晰知识，也可以是人们不 自觉地确认的共同直觉； 第二，任一悖论都是从某些共识合乎逻辑地推导出来的。一 . 数理逻辑与人工智能