厦门大学学报（自然科学版）
廈門大學學報（自然科學版）
하문대학학보（자연과학판）
JOURNAL OF XIAMEN UNIVERSITY (NATURAL SCIENCE)
2011年
6期
989-993
,共5页
知识库%依赖关系%真值维护系统%逻辑程序
知識庫%依賴關繫%真值維護繫統%邏輯程序
지식고%의뢰관계%진치유호계통%라집정서
人工智能以知识为基础,然而知识往往是可错的.当知识被发现是错误时,就要撤销该错误知识及依赖于该错误知识的知识.基于对Forget机制、TMS和ATMS的改进,提出一种新的知识表示方法,即带有依赖关系的知识库.基于命题逻辑程序,给出带有依赖关系的知识库的示例,同时还给出1个规则加入算法和2个规则撤销算法.第2个规则撤销算法可以处理循环依赖关系.带有依赖关系的知识库,是一种全新结构的知识库,在知识表示、信念修正和辩论推理中具有应用的前景.
人工智能以知識為基礎,然而知識往往是可錯的.噹知識被髮現是錯誤時,就要撤銷該錯誤知識及依賴于該錯誤知識的知識.基于對Forget機製、TMS和ATMS的改進,提齣一種新的知識錶示方法,即帶有依賴關繫的知識庫.基于命題邏輯程序,給齣帶有依賴關繫的知識庫的示例,同時還給齣1箇規則加入算法和2箇規則撤銷算法.第2箇規則撤銷算法可以處理循環依賴關繫.帶有依賴關繫的知識庫,是一種全新結構的知識庫,在知識錶示、信唸脩正和辯論推理中具有應用的前景.
인공지능이지식위기출,연이지식왕왕시가착적.당지식피발현시착오시,취요철소해착오지식급의뢰우해착오지식적지식.기우대Forget궤제、TMS화ATMS적개진,제출일충신적지식표시방법,즉대유의뢰관계적지식고.기우명제라집정서,급출대유의뢰관계적지식고적시례,동시환급출1개규칙가입산법화2개규칙철소산법.제2개규칙철소산법가이처리순배의뢰관계.대유의뢰관계적지식고,시일충전신결구적지식고,재지식표시、신념수정화변론추리중구유응용적전경.
