第1期 王金艳，等：扩展规则方法研究综述 ·11. Journal of Automated Reasoning,2002,28(4):371-396. GU Xenxiang,GUO Honghe,YIN Minghao,et al.Compi- [38]WU Xia,SUN Jigui,HOU Kun.Extension rule in first or- ling multi-valued knowledge base[J].Journal of Northeast der logic[C]//Proceedings of the 5th International Confer- Normal University:Natural Science Edition,2011,43 ence on Cognitive Informatics.Beijing,China,2006:701 (4):44-48. 706. 作者简介： [39]BAADER F,CALVANESE D,MCGUINNESS D,et al. 王金艳，女，1982年生，讲师，博士， The description logic handbook:theory,implementation 主要研究方向为自动推理、智能规划、 and applications[M].New York:Cambridge University 不确定理论。主持广西自然科学基金、 Press,2003. 广西教育厅科学技术研究项目、广西师 [40]ZOU Tingting,LIU Lei,LU Shuai.Knowledge compilation 范大学博士启动基金各1项，参与国家 for description logic based on concept extension rule[J]. 自然科学基金项目3项。发表学术论 Journal of Computational Information System,2012,8 文10余篇，其中被SCI检索6篇。 (6):2409-2416. [41]HALPERN J Y,MOSES Y.A guide to completeness and 谷文祥，男，1947年生，教授，博士 complexity for modal logics of knowledge and belief[]. 生导师，主要研究方向为智能规划与规 Artificial Intelligence,1992,54(3):319-379. 划识别、形式语言与自动机理论、模糊 [42]WU Xia,SUN Jigui.Destructive extension rule in proposi- 数学及其应用。主持国家自然科学基 tion modal logic K[M]//LIU G R,TAN V B C,HAN X. 金项目3项，发表学术论文100余篇。 Computational Methods.Dordrecht,The Netherlands: Springer,2006:1087-1091. 罩少华，男，1969年生，副教授，博 [43]WU Xia,SUN Jigui,LIN Hai,et al.Modal extension rule 士，主要研究方向为自动推理、计算机 [J].Progress in Natural Science,2005,15(6):550-558. 网络。主持和参与国家自然科学基金 [44]DUBOIS D,PRADE H.Possibilistic logic:a retrospective 等项目多项，发表学术论文30余篇。 and prospective view[J].Fuzzy Sets and Systems,2004, 144(1)：3-23. [45]殷明浩，孙吉贵，林海，等.可能性扩展规则的推理和知 识编译[J.软件学报，2010,21(11)：2826-2837. 殷明浩，男，1979年生，副教授，博 YIN Minghao,SUN Jigui,LIN Hai,et al.Possibilistic ex- 士生导师，博士，主要研究方向为自动 tension rules for reasoning and knowledge compilation[J]. 推理、智能规划。主持和参与国家自然 Journal of Software,2010,21(11):2826-2837. 科学基金等项目多项，发表学术论文40 [46]谷文祥，郭鸿鹤，殷明浩，等.多值知识编译[J]东北师 余篇。 范大学学报：自然科学版，2011,43(4)：44-48.Ｊｏｕｒｎａｌ ｏｆ Ａｕｔｏｍａｔｅｄ Ｒｅａｓｏｎｉｎｇ， ２００２， ２８（４）： ３７１⁃３９６． ［３８］ＷＵ Ｘｉａ， ＳＵＮ Ｊｉｇｕｉ， ＨＯＵ Ｋｕｎ． Ｅｘｔｅｎｓｉｏｎ ｒｕｌｅ ｉｎ ｆｉｒｓｔ ｏｒ⁃ ｄｅｒ ｌｏｇｉｃ［Ｃ］ ／ ／ Ｐｒｏｃｅｅｄｉｎｇｓ ｏｆ ｔｈｅ ５ｔｈ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｃｏｎｆｅｒ⁃ ｅｎｃｅ ｏｎ Ｃｏｇｎｉｔｉｖｅ Ｉｎｆｏｒｍａｔｉｃｓ． Ｂｅｉｊｉｎｇ， Ｃｈｉｎａ， ２００６： ７０１⁃ ７０６． ［３９］ ＢＡＡＤＥＲ Ｆ， ＣＡＬＶＡＮＥＳＥ Ｄ， ＭＣＧＵＩＮＮＥＳＳ Ｄ， ｅｔ ａｌ． Ｔｈｅ ｄｅｓｃｒｉｐｔｉｏｎ ｌｏｇｉｃ ｈａｎｄｂｏｏｋ： ｔｈｅｏｒｙ， ｉｍｐｌｅｍｅｎｔａｔｉｏｎ ａｎｄ ａｐｐｌｉｃａｔｉｏｎｓ ［ Ｍ］． Ｎｅｗ Ｙｏｒｋ： Ｃａｍｂｒｉｄｇｅ Ｕｎｉｖｅｒｓｉｔｙ Ｐｒｅｓｓ， ２００３． ［４０］ＺＯＵ Ｔｉｎｇｔｉｎｇ， ＬＩＵ Ｌｅｉ， ＬＵ Ｓｈｕａｉ． Ｋｎｏｗｌｅｄｇｅ ｃｏｍｐｉｌａｔｉｏｎ ｆｏｒ ｄｅｓｃｒｉｐｔｉｏｎ ｌｏｇｉｃ ｂａｓｅｄ ｏｎ ｃｏｎｃｅｐｔ ｅｘｔｅｎｓｉｏｎ ｒｕｌｅ［ Ｊ］． Ｊｏｕｒｎａｌ ｏｆ Ｃｏｍｐｕｔａｔｉｏｎａｌ Ｉｎｆｏｒｍａｔｉｏｎ Ｓｙｓｔｅｍ， ２０１２， ８ （６）： ２４０９⁃２４１６． ［４１］ＨＡＬＰＥＲＮ Ｊ Ｙ， ＭＯＳＥＳ Ｙ． Ａ ｇｕｉｄｅ ｔｏ ｃｏｍｐｌｅｔｅｎｅｓｓ ａｎｄ ｃｏｍｐｌｅｘｉｔｙ ｆｏｒ ｍｏｄａｌ ｌｏｇｉｃｓ ｏｆ ｋｎｏｗｌｅｄｇｅ ａｎｄ ｂｅｌｉｅｆ ［ Ｊ］． Ａｒｔｉｆｉｃｉａｌ Ｉｎｔｅｌｌｉｇｅｎｃｅ， １９９２， ５４（３）： ３１９⁃３７９． ［４２］ＷＵ Ｘｉａ， ＳＵＮ Ｊｉｇｕｉ． Ｄｅｓｔｒｕｃｔｉｖｅ ｅｘｔｅｎｓｉｏｎ ｒｕｌｅ ｉｎ ｐｒｏｐｏｓｉ⁃ ｔｉｏｎ ｍｏｄａｌ ｌｏｇｉｃ Ｋ［Ｍ］ ／ ／ ＬＩＵ Ｇ Ｒ， ＴＡＮ Ｖ Ｂ Ｃ， ＨＡＮ Ｘ． Ｃｏｍｐｕｔａｔｉｏｎａｌ Ｍｅｔｈｏｄｓ． Ｄｏｒｄｒｅｃｈｔ， Ｔｈｅ Ｎｅｔｈｅｒｌａｎｄｓ： Ｓｐｒｉｎｇｅｒ， ２００６： １０８７⁃１０９１． ［４３］ＷＵ Ｘｉａ， ＳＵＮ Ｊｉｇｕｉ， ＬＩＮ Ｈａｉ， ｅｔ ａｌ． Ｍｏｄａｌ ｅｘｔｅｎｓｉｏｎ ｒｕｌｅ ［ Ｊ］． Ｐｒｏｇｒｅｓｓ ｉｎ Ｎａｔｕｒａｌ Ｓｃｉｅｎｃｅ， ２００５， １５（６）： ５５０⁃５５８． ［４４］ＤＵＢＯＩＳ Ｄ， ＰＲＡＤＥ Ｈ． Ｐｏｓｓｉｂｉｌｉｓｔｉｃ ｌｏｇｉｃ： ａ ｒｅｔｒｏｓｐｅｃｔｉｖｅ ａｎｄ ｐｒｏｓｐｅｃｔｉｖｅ ｖｉｅｗ［ Ｊ］． Ｆｕｚｚｙ Ｓｅｔｓ ａｎｄ Ｓｙｓｔｅｍｓ， ２００４， １４４（１）： ３⁃２３． ［４５］殷明浩，孙吉贵，林海，等．可能性扩展规则的推理和知 识编译［Ｊ］．软件学报， ２０１０， ２１（１１）： ２８２６⁃２８３７． ＹＩＮ Ｍｉｎｇｈａｏ， ＳＵＮ Ｊｉｇｕｉ， ＬＩＮ Ｈａｉ， ｅｔ ａｌ． Ｐｏｓｓｉｂｉｌｉｓｔｉｃ ｅｘ⁃ ｔｅｎｓｉｏｎ ｒｕｌｅｓ ｆｏｒ ｒｅａｓｏｎｉｎｇ ａｎｄ ｋｎｏｗｌｅｄｇｅ ｃｏｍｐｉｌａｔｉｏｎ［ Ｊ］． Ｊｏｕｒｎａｌ ｏｆ Ｓｏｆｔｗａｒｅ， ２０１０， ２１（１１）： ２８２６⁃２８３７． ［４６］谷文祥，郭鸿鹤，殷明浩，等．多值知识编译［ Ｊ］．东北师 范大学学报：自然科学版， ２０１１， ４３（４）： ４４⁃４８． ＧＵ Ｘｅｎｘｉａｎｇ， ＧＵＯ Ｈｏｎｇｈｅ， ＹＩＮ Ｍｉｎｇｈａｏ， ｅｔ ａｌ． Ｃｏｍｐｉ⁃ ｌｉｎｇ ｍｕｌｔｉ⁃ｖａｌｕｅｄ ｋｎｏｗｌｅｄｇｅ ｂａｓｅ［Ｊ］． Ｊｏｕｒｎａｌ ｏｆ Ｎｏｒｔｈｅａｓｔ Ｎｏｒｍａｌ Ｕｎｉｖｅｒｓｉｔｙ： Ｎａｔｕｒａｌ Ｓｃｉｅｎｃｅ Ｅｄｉｔｉｏｎ， ２０１１， ４３ （４）： ４４⁃４８． 作者简介： 王金艳，女，１９８２ 年生，讲师，博士， 主要研究方向为自动推理、智能规划、 不确定理论。 主持广西自然科学基金、 广西教育厅科学技术研究项目、广西师 范大学博士启动基金各 １ 项，参与国家 自然科学基金项目 ３ 项。 发表学术论 文 １０ 余篇，其中被 ＳＣＩ 检索 ６ 篇。 谷文祥，男，１９４７ 年生，教授，博士 生导师，主要研究方向为智能规划与规 划识别、形式语言与自动机理论、模糊 数学及其应用。 主持国家自然科学基 金项目 ３ 项，发表学术论文 １００ 余篇。 覃少华，男，１９６９ 年生，副教授，博 士，主要研究方向为自动推理、计算机 网络。 主持和参与国家自然科学基金 等项目多项，发表学术论文 ３０ 余篇。 殷明浩，男，１９７９ 年生，副教授，博 士生导师，博士，主要研究方向为自动 推理、智能规划。 主持和参与国家自然 科学基金等项目多项，发表学术论文 ４０ 余篇。 第 １ 期 王金艳，等：扩展规则方法研究综述 ·１１·