|
|||||
|
|
| 模拟抽象思维行为的形式系统 | |
| 引用本文： | 张云华,何世达.模拟抽象思维行为的形式系统[J].上海工业大学学报,1993,14(5):382-388. |
| 作者姓名： | 张云华 何世达 |
| 摘 要： | 由于一阶语言表达能力的局限性，本文首先在一阶语言的基础上增加一些算子构成新的语言，使语言的表达能力得到增强，并且给出了该语言下公式的语义解释。其次，使用这种语言对诸如信念之类的认知观念进行形式化，然后基于模态逻辑和时态逻辑结构念逻辑；最后基于信念逻辑对Ｄａｖｉｓ－Ｐｕｔｍａｎ方法进行推广来对认知公式进行推理。基于上述四点，提出了一个信念系统模型来模拟抽象思维行为，并在ＶＡＸ－Ⅱ上用ＣＯＭＭＯＮ－Ｌ |
| 关 键 词： | 抽象思维 信念系统 人工智能 |
| 本文献已被 维普 等数据库收录！ | |