论文部分内容阅读
本文试图对逻辑程序语言的控制问题提出一个解决办法。本文从 Kowalski 的most showing,least finding 原则出发,通过一个谓词复杂性函数及简单的智能回溯方法的描述,提出一个谓词复杂性最小和智能回溯的控制策略。
逻辑程序语言的智能控制策略
【摘 要】
：
本文试图对逻辑程序语言的控制问题提出一个解决办法。本文从 Kowalski 的most showing,least finding 原则出发,通过一个谓词复杂性函数及简单的智能回溯方法的描述,提出一
【机 构】
：
复旦大学上海
【出 处】
：
贵州大学学报：自然科学版
【发表日期】
：
1987年3期
其他文献
2014年,乘着中央全面深化改革的东风,社会组织领域改革发展迎来了新的机遇。为更好地盘点年度社会组织发展情况,民政部民间组织管理局、清华大学NGO研究所、国家行政学院社会
均匀椭球体在均匀磁场中被磁化后产生的磁场,可通过求解拉普拉斯方程的边值问题得到解决,但用此方法求解较复杂。本文是先求出均匀椭球体产生的引力势后,利用泊松公式(?)=1/(
1．从2005年最早开始筹备做手机报，我提出了一个观点，手机迟早要成为人体一个延伸的器官。更不可思议的是，前些日子，我看到美国一个实验室，真的把芯片植入了人体。真是太疯狂了。看
本文从认知语言学的角度，探讨英语进行体的本质意义；在认知语言学“原型范畴”的理论基础上，试图构建英语进行体的原型图式及其变体，以期更好地认识英语进行体的本质意义和用法。
本文引入广义邻近非扩张半群的概念并建立了该类半群的一个公共不动点定理,所得结果推广了 Mo Tak Kiang 和 Kok-Keong Tan 所建立的关于邻近非扩张半群的一个公共不动点定理
民之交在于民相亲，民相亲始于少儿心。儿童剧“走向世界”在国外演出，不仅有面对少年儿童和孩子家长的天然优势，更有寓教于乐、春风化雨的文化优势；不仅有喜欢、理解、信任中国文
本文给出了电接触热过程研究的主要成果,以及用简化球场模型和有限元模型相结合,XAPNH体热源和电弧面热源相结合,处理轻电可分合接触过程算例。