逻辑编程

✍ dations ◷ 2024-12-23 23:11:01 #逻辑编程

逻辑编程(逻辑程序设计)是种编程典范,它设置答案须符合的规则来解决问题,而非设置步骤来解决问题。过程是

不同的方法,可以看英语:Inductive logic programming。

逻辑编程的要点是将正规的逻辑风格带入计算机程序设计之中。数学家和哲学家发现逻辑是有效的理论分析工具。很多问题可以自然地表示成一个理论。说需要解答一个问题,通常与解答一个新的假设是否跟现在的理论无冲突等价。逻辑提供了一个证明问题是真还是假的方法。创建证明的方法是人所皆知的,故逻辑是解答问题的可靠方法。逻辑编程系统则自动化了这个程序。人工智能在逻辑编程的发展中发挥了重要的影响。

猴子和香蕉问题(英语:Monkey and banana problem)是逻辑编程社群的著名问题。电脑须自行找出令猴子接触香蕉的可行方法,取代程序员指定猴子接触香蕉的路径和方法。

逻辑编程创建了描述一个问题里的世界的逻辑模型。逻辑编程的目标是对它的模型创建新的陈述。世界上知识不断膨胀。传统来说,我们会将一个问题陈述成单一的假设。逻辑编程的程序透过证明这个假设在模型里是否为真来解决问题。

一些经常用到逻辑编程工具的范畴:

最常用的逻辑编程语言是Prolog,另外有较适用于大型方案的Mercury。详尽的清单可见于Category:逻辑编程语言。

早在二十世纪七十年代,罗伯特·科瓦尔斯基等人提出了逻辑可以作为程序设计语言的基本思想,把逻辑和程序这两个截然不同的概念协调统一为一个概念,于是诞生了逻辑程序设计。这也是早期自动定理证明和人工智能发展的自然结果。随后,逻辑程序设计得到了迅速发展,特别是基于一阶谓词的逻辑程序设计语言,将逻辑推理对应于计算,具有丰富的表达能力、非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等都有了广泛的应用。

相关

  • 二酸甘油酯二酸甘油酯(英语:diacylglycerol,或称为甘油二酯,英语:diglyceride,二酰基甘油,缩写DAG)是一类由两个脂肪酸链和一个甘油分子通过酯键形成的甘油酯。二酸甘油酯有两种类型:1,2-二酸甘
  • 隆裕太后孝定景皇后(满语:ᡥᡳᠶᠣᠣᡧᡠᠩᡤᠠ ᡨᠣᡴᠣᠩᡤᠣ ᠠᠮᠪᠠᠯᡳᠩᡤᡡ ᡥᡡᠸᠠᠩᡥᡝᠣ,穆麟德:hiyoošungga toktonggo ambalinggū hūwangheo,太清:hiyouxungga toktongg
  • 汕头话汕头话是汉藏语系汉语族闽语支闽南语的一种方言,属闽南语潮汕片。通行于广东省汕头市一带。汕头话有18个声母、61个韵母及8个声调。与潮州话相似,汕头话的连读变调中,前字变调,
  • 共同起源共同起源(英语:Common descent)是指一群生物体拥有最近共同祖先的情况。所有地球上的生命都源于最后共同祖先或最后共同祖先基因池。在演化生物学中,一群生物的某个共有的性状如
  • X档案:征服未来《X档案:征服未来》(英语:,又称)是一部于1998年上映的美国科幻惊悚片,由罗伯·鲍曼(英语:Rob Bowman (director))执导,克里斯·卡特编剧,法兰克·史帕尼兹(英语:Frank Spotnitz)协助构思故
  • 大施塔特湖坐标:53°29′43″N 13°5′25.81201″E / 53.49528°N 13.0905033361°E / 53.49528; 13.0905033361大施塔特湖(德语:Großer Stadtsee),是德国的湖泊,位于该国东北部,由梅克伦堡-
  • 井生崇光井生 崇光(いおう たかみつ、1981年3月12日 - )、福冈县北九州市出身的职业棒球选手外野手。目前效力于中央联盟广岛东洋鲤鱼。
  • 德国11号高速公路德国11号高速公路(Bundesautobahn 11,简称BAB 11或A 11)是德国的一条高速公路,始于首都柏林,终于goerlitz。德国11号高速公路全长112千米,最初建于1936年。该高速也是欧洲E28公路的一部分。
  • 保罗·孔蒂保罗·孔蒂(意大利语:Paolo Conti,1950年4月1日-),意大利前男子足球运动员,场上位置是守门员。他曾代表意大利国家队参加1978年国际足联世界杯,结果获得第四名。
  • 卢卡·巴比奇卢卡·巴比奇(克罗地亚语:Luka Babić,1991年9月29日-),克罗地亚篮球运动员。他现在效力于克罗地亚篮球联赛球队萨格勒布塞德维塔篮球俱乐部。他也代表克罗地亚国家篮球队参赛,参加了2014年篮球世界杯。