| 一个Lm4c意图后承的判定算法 |
| |
| 引用本文： | 周健君,张日华,陈小平.一个Lm4c意图后承的判定算法[J].小型微型计算机系统,2001,22(10):1254-1257. |
| |
| 作者姓名： | 周健君 张日华 陈小平 |
| |
| 作者单位： | 中国科学技术大学计算机系 |
| |
| 基金项目： | 国家自然基金(69875017 |
| |
| 摘 要： | 本文将提出一个基于Lm4c的意图后承判定算法，即输入任何命题公式φ、ψ，判断｜＝φ→ψ在Lm4c中是否成立。在变元较多的情况下，完全根据语义来判断意图后承的方法会使时间复杂度大得令人无法接受，因此，我们采用了语法、语义相结合的手段：用分析形式结构的方法排除多数情况，对剩余的从形式结构不好处理的少量情况再用语义检测。算法的最坏时间复杂度仍然是指数量级的，但出现最坏时间复杂度的概率被压缩到非常小的水平，因而平均时间复杂度相当好。我们还将给出实验结果，并证明算法的可靠性和完全性。
|
| 关 键 词： | 意图 Lm4c算法 语义 人工智能 |
| 文章编号： | 1000-1220(2001)10-1254-04 |
A DECISION ALGORITHM BASED ON Lm4c |
| |
| ZHOU,Jian,jun,ZHANG,Ri,hua,CHEN,Xiao,ping.A DECISION ALGORITHM BASED ON Lm4c[J].Mini-micro Systems,2001,22(10):1254-1257. |
| |
| Authors: | ZHOU Jian jun ZHANG Ri hua CHEN Xiao ping |
| |
| Abstract: | |
| |
| Keywords: | Intention L m4c Algorithm Syntax Semantics Complexity |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
