自动推理

✍ dations ◷ 2025-04-25 13:50:52 #理论计算机科学,人工智能,计算机逻辑,推理

自动推理是计算机科学和数理逻辑的一个交叉领域，致力于了解理智的方方面面。自动逻辑的研究帮助了利用计算机自动进行完全或几乎完全的推理，其内容一般可分为演绎推理和非演绎推理。自动推理被认为是人工智能的一个分支，还和理论计算机科学甚至哲学相关联。

自动推理的研究内容包括定理机器证明、证明自动检查（英语：Automated_proof_checking）、不确定性推理、非单调逻辑以及类比归纳和外展推理。

自动推理的技术和工具包括经典逻辑、微积分学、模糊逻辑、贝叶斯推断、推理与最大熵和大量的非正式特别技术。

相关

分子生物学的中心法则分子生物学的中心法则（英语：The central dogma of molecular biology，又译分子生物学的中心教条），首先由佛朗西斯·克里克于1958年提出，并于1970年在《自然》上的一篇文章中重申：中
饼干曲奇（美式英文：Cookie）是一种小而扁平和甜的烘焙或煮熟的食物。它通常含有面粉，糖和某种油或脂肪。也有可能包括其他原料，如葡萄干，燕麦，巧克力片，坚果，果酱等。在美国与加拿大解为细
沈志勋沈志勋（1962年7月－），美国华裔实验物理学家、斯坦福大学教授，主要从事超导与凝聚态物理领域的研究。沈志勋为浙江温州人，早年曾就读于温州二中，1979年考入复旦大学。毕业后通过CUSPE
span class=nowrapCusub2/subSOsub4/sub/span&g硫酸亚铜化学式为Cu2SO4，是铜(I)的硫酸盐(在Cu(I)氧化态中，3d电子层已全充满)，是离子化合物，常温下为灰色固体，属斜方晶系。硫酸亚铜有反磁性。由于Cu+不稳定，Cu2SO4溶于水或加热
卢照邻卢照邻（634年？－689年），字升之，号幽忧子，幽州范阳（今河北省涿州市）人，唐朝诗人，后因久病厌世，投水死。他与王勃、杨炯和骆宾王一起被称为“初唐四杰”。卢照邻出自范阳卢氏北祖，是东汉侍中
Durkheim, Émile埃米尔·涂尔干（法语：Émile Durkheim，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code20
新加坡闽南语新加坡福建话（台罗拼音：Sin-ka-pho Hok-kiàn-uē，白话字：Sin-ka-pho Hok-kiàn-ōe），是通行于新加坡一带的闽语分支，属于闽南语中的泉漳片。语言系属与中国闽南本地的泉州话、漳州
美国宪法第25条修正案宪法正文I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII ∙
爿部爿部，为汉字索引中的部首之一，康熙字典214个部首中的第九十个（四划的则为第三十个）。就中文而言，爿部归于四划部首。爿部只以左方为部字；而无其他部首可用者也会将部首归为爿部。1
俄勒冈州行政区划以下是美国俄勒冈州36个县的列表。俄勒冈州宪法（英语：Oregon Constitution）并没有明确规定县城:第六条，包括行政机关，只是简单地规定:更多俄勒冈州县名和地名的信息都在俄勒冈州