|
|||||
|
|
| 应用于人工智能的逻辑学 | |
| 引用本文： | Ｒ．特纳!英,蔡曙山.应用于人工智能的逻辑学[J].世界哲学,1997(2). |
| 作者姓名： | Ｒ．特纳!英 蔡曙山 |
| 摘 要： | 导言非标准逻辑“非标准逻辑”这个名称通常用来指称那些不同于经典命题演算和谓词演算的逻辑。粗略地说，非标准逻辑可以被分为两类：相应于经典逻辑的逻辑和扩展了经典逻辑的逻辑。对于前者，我们以多值逻辑、模糊逻辑和直觉主义逻辑为例；对于后者，我们将阐述模态逻辑和时间逻辑。相应于经典逻辑的系统在所使用的语言上与经典的命题逻辑和谓词逻辑没有不同。所不同的是，经典逻辑的某些定理在非标准系统中是假的。最著名的例子是排中律，A或非A，它在经典逻辑中是可证的，而在直觉主义逻辑和3值逻辑的任何标准系统中都是不可证的。扩展… |
| 本文献已被 CNKI 等数据库收录！ | |