| 知识表示的F-K系统 |
| |
| 引用本文： | 梁彦彬.知识表示的F-K系统[J].南京航空航天大学学报,2000,32(6):614-619. |
| |
| 作者姓名： | 梁彦彬 |
| |
| 作者单位： | 南京航空航天大学计算机科学与工程系南京，210016 |
| |
| 基金项目： | 江苏省青年科技基金(编号：BQ98028)资助项目。 |
| |
| 摘 要： | 对经典知识表示系统（多系统）进行了扩充，引入一个刻划“大概知道”的模态词“Ｆ”，并建立了相应的公理系统Ｆ－Ｋ，该公理系统除包含“Ｆ”外也包含经典模态词“Ｋ”。同时，基于滤子对经典Ｋｒｉｐｋｅ框架及模型进行了扩充，从而给出了“Ｆ”的语义，并证明了该语义下Ｆ－Ｋ的完备性与可靠性。
|
| 关 键 词： | 人工智能 知识表示 克里普克结构 F－K系统 |
| 修稿时间： | 2000年3月21日 |
F-K System of Knowledge Representation |
| |
| Liang Yanbin.F-K System of Knowledge Representation[J].Journal of Nanjing University of Aeronautics & Astronautics,2000,32(6):614-619. |
| |
| Authors: | Liang Yanbin |
| |
| Abstract: | |
| |
| Keywords: | artificial intelligence modal logic knowledge representation Kripke structure |
| 本文献已被 维普 万方数据 等数据库收录！ |
