毕节学院学报
畢節學院學報
필절학원학보
JOURNAL OF BIJIE UNIVERSITY
2009年
7期
54-61
,共8页
顺序条件函数%知识%信念
順序條件函數%知識%信唸
순서조건함수%지식%신념
经典的信念逻辑系统SKD45只能处理信念的表示与推理,而无法同时处理知识与信念.在对可能世界排序,给出顺序条件函数的基础上,将知识当作一种特殊的信念,建立一个新的信念逻辑系统SSBR,并给出完全性的证明.
經典的信唸邏輯繫統SKD45隻能處理信唸的錶示與推理,而無法同時處理知識與信唸.在對可能世界排序,給齣順序條件函數的基礎上,將知識噹作一種特殊的信唸,建立一箇新的信唸邏輯繫統SSBR,併給齣完全性的證明.
경전적신념라집계통SKD45지능처리신념적표시여추리,이무법동시처리지식여신념.재대가능세계배서,급출순서조건함수적기출상,장지식당작일충특수적신념,건립일개신적신념라집계통SSBR,병급출완전성적증명.
