全部 期刊 图书 学位论文 会议论文 专利 多媒体
当前位置:平台首页 / 期刊 / 中文

开放的限制理论

更新时间:2019-05-21 访问次数:13
关键词:开放逻辑  限制理论  人工智能
发明人:怀进鹏李未
作者单位:北京航空航天大学计算机科学与工程系
内容提要:本文基于开放逻辑理论,建立了一阶谓词限制理论的知识增长、更新及理论进化的开放的限制理论,给出了谓词限制理论中新假设、事实反驳及伪事实反驳、C-重构、C-认识进程及其极限的定义,讨论了它们的性质并证明了有关的定理,进而描述了限制理论的动态特征——C-认识进程,证明了其极限定理,并比较了它与一般认识进程及限制理论的关系.
期刊名:计算机学报
期号:第7-12期
年份:1994
页数:641-652