知识表示的F-K系统

F-K System of Knowledge Representation

对经典知识表示系统 (多系统 )进行了扩充 ,引入一个刻划“大概知道”的模态词“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.