|
|||||
|
|
| 锁语义归结原理和模糊逻辑 | |
| 引用本文： | 刘叙华.锁语义归结原理和模糊逻辑[J].计算机研究与发展,1980(9). |
| 作者姓名： | 刘叙华 |
| 作者单位： | 吉林大学 |
| 摘 要： | 一、LI-归结原理定义:设I是一个解释,已配锁的有限子句序列(E_1,…,E_q,N),q≥1,称为关于I的锁语义互撞,简称LI-互撞,当且仅当E_1,…,E_q,N满足下面条件: 1)E_1,…,E_q在I下为假, 2)令R_1=N,对每个i=1,…,q,存 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号-23 |
