|
|||||
|
|
| 关于Cialdea一阶模态归结系统 | |
| 引用本文： | 孙吉贵,刘叙华.关于Cialdea一阶模态归结系统[J].吉林大学自然科学学报,1996(2):23-26. |
| 作者姓名： | 孙吉贵 刘叙华 |
| 摘 要： | 指出了Ｃｉａｌｄｅａ一介模态逻辑归结系统是不完备的，为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法。 |
| 关 键 词： | Cialdea 模态归结系统 自动推理 模态逻辑 |
| 本文献已被 维普 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |