认识逻辑(1):关于知识和信念的逻辑框架
인식라집(1):관우지식화신념적라집광가
EPISTEMIC LOGIC (1):A LOGICAL FRAMEWORK FOR KNOWLEDGE AND BELIEF
  • 万方数据
    计算机学报 계산궤학보
    CHINESE JOURNAL OF COMPUTERS
    1998年 7期 627-637 ,共11页

    刘瑞胜%孙吉贵%刘叙华

    류서성%손길귀%류서화

    知识表示%模态逻辑%认识逻辑%知识%信念 知識錶示%模態邏輯%認識邏輯%知識%信唸
    지식표시%모태라집%인식라집%지식%신념
    知识和信念是人工智能领域研究中经常涉及到的两个重要概念.本文讨论了知识和信念的涵义与关系,定义了认识逻辑系统EL,讨论了它的语法和语义,证明了认识逻辑EL不但是可靠的而且是完备的.认识逻辑EL不但可以用来描述人类的认识过程,还可以用于对常识推理以及分布式系统的形式化描述.
    지식화신념시인공지능영역연구중경상섭급도적량개중요개념.본문토론료지식화신념적함의여관계,정의료인식라집계통EL,토론료타적어법화어의,증명료인식라집EL불단시가고적이차시완비적.인식라집EL불단가이용래묘술인류적인식과정,환가이용우대상식추리이급분포식계통적형식화묘술.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문