| 再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究 |
| |
| 引用本文： | 刘富春.再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究[J].模糊系统与数学,2006,20(2):28-33. |
| |
| 作者姓名： | 刘富春 |
| |
| 作者单位： | 广东工业大学,应用数学学院,广东,广州,510090 |
| |
| 基金项目： | 广东省自然科学基金资助项目(020146031541)，广东工业大学青年基金资助项目(042027) |
| |
| 摘 要： | 模糊逻辑及其扩充是处理不确定性与模糊性信息的重要数学工具,在近似推理、人工智能等领域有着广泛的应用。而逻辑程序也已经成为人工智能的研究热点之一。本文是在再扩充模糊逻辑中,对逻辑程序进行了语义的研究。给出了其语法和语义描述,并且将逻辑程序的许多主要结论推广到再扩充模糊逻辑中。首先,得到了关于模糊逻辑推论的充分必要条件以及模型交与强模型交性质。然后,通过引入一个H erbrand解释算子Pτ:LBp→LBp,给出了确定性程序P的H erbrand模型的充分条件和强H erbrand模型的充分必要条件。最后,建立了确定性程序的最小强H erbrand模型的不动点刻画定理。
|
| 关 键 词： | 模糊逻辑 逻辑程序 模型论 Herbrand模型 不动点 |
| 文章编号： | 1001-7402（2006）02-0028-06 |
| 收稿时间： | 2005-03-25 |
| 修稿时间： | 2005年3月25日 |
Semantics of Model Theory and Fixed Points for Logic Programming Based on Further Extension of Fuzzy Logic |
| |
| LIU Fu-chun.Semantics of Model Theory and Fixed Points for Logic Programming Based on Further Extension of Fuzzy Logic[J].Fuzzy Systems and Mathematics,2006,20(2):28-33. |
| |
| Authors: | LIU Fu-chun |
| |
| Institution: | Faculty of Applied Mathematics,Guangdong University of Technology,Guangzhou 510090,China |
| |
| Abstract: | |
| |
| Keywords: | Fuzzy Logic Logic Programming Model Theory Herbrand Model Fixed Point |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
