期刊文献+

知识表示的F-K系统

F-K System of Knowledge Representation
下载PDF
导出
摘要 对经典知识表示系统 (多系统 )进行了扩充 ,引入一个刻划“大概知道”的模态词“F”,并建立了相应的公理系统 F- K,该公理系统除包含“F”外也包含经典模态词“K”。同时 ,基于滤子对经典 Kripke框架及模型进行了扩充 ,从而给出了“F”的语义 ,并证明了该语义下 F- Knowledge representation is an important part of artificial intelligence. In many areas of computer science and artificial intelligence it is concerned with the description or representation of knowledge of users or even the systems themselves. The classical know ledge representation system uses a modal operator ‘K’ to represent “agent i knows something”. However, sometimes we want to say “agent i knows something not very sure”, which “K” cannot deal with. This paper extends the classical knowledge representation system (multi system) by introducing a new operator into our language: F iφ for “agent i approximately knows that φ ”. And an axiomatization system including modal operator “F” and “K” is given. Based on the filter, the classical Kripke structure and the model are extended to give the semantics of “F”. And the soundness and the completeness of F K system under this semantics are proved.
作者 梁彦彬
出处 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2000年第6期614-619,共6页 Journal of Nanjing University of Aeronautics & Astronautics
基金 江苏省青年科技基金(编号:BQ98028)资助项目
关键词 人工智能 模态逻辑 知识表示 克里普克结构 artificial intelligence modal logic knowledge representation Kripke structure
  • 相关文献

参考文献4

  • 1Fagin R,Halpern J Y,Moses Y,et al.Reasoning about knowledge[]..1996
  • 2Halpern J Y,Moses Y.Knowledge and common knowledge in a distributed environment[].Journal of the ACM.1990
  • 3Meyer J J Ch,Hoek W van der.Epistemic logic for AI and computer science[]..1995
  • 4Marx M,Venema Y.Multi -dimensional modal logic[]..1997

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部