登录
注册
全部
期刊
图书
学位论文
会议论文
专利
多媒体
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
当前位置:
平台首页
/
期刊
/
中文
开放的限制理论
更新时间:2019-05-21
访问次数:13
关键词:
开放逻辑 限制理论 人工智能
发明人:
怀进鹏
,
李未
作者单位:
北京航空航天大学计算机科学与工程系
内容提要:
本文基于开放逻辑理论,建立了一阶谓词限制理论的知识增长、更新及理论进化的开放的限制理论,给出了谓词限制理论中新假设、事实反驳及伪事实反驳、C-重构、C-认识进程及其极限的定义,讨论了它们的性质并证明了有关的定理,进而描述了限制理论的动态特征——C-认识进程,证明了其极限定理,并比较了它与一般认识进程及限制理论的关系.
期刊名:
计算机学报
期号:
第7-12期
年份:
1994
页数:
641-652
推荐内容
一类新型保健食品-低聚糖
热门内容
1999昆明世界园艺博览会会场总体规划构思
RBAC系统中用户权限同步更新应用研究
构建和谐社会过程中的政治发展观
技术进步与经济增长
UPVC管应用在给水工程中的两个问题
“电气”词源考
我国钢铁工业现状及远景
多媒体电子出版物的开发研制