溯因推理和科学大纲

快捷方式: 差异，相似，杰卡德相似系数，参考。

溯因推理和科学大纲之间的区别

溯因推理 vs. 科学大纲

溯因法或溯因推理（英语：abductive reasoning，也译作反绎推理），是推理到最佳解释的过程。换句话说，它是开始于事实的集合--，并推导出其最佳解释的推理过程。有时使用术语溯因（abduction）意味生成假设来解释观察或结论，但是前者定义在哲学和计算二者中更常见。 演绎和溯因区别在于推理中使用“a 蕴涵b”这种规则的方向（与归纳的比较请参见逻辑推理）: （以下b. 以下大綱是科學的主題概述： 科学（Science，Επιστήμη）是通過經驗實證的方法，對現象（原來指自然現象，現泛指包括社會現象等現象）進行歸因的学科。科学活动所得的知识是条件明确的（不能模棱两可或随意解读）、能经得起检验的，而且不能与任何适用范围内的已知事实产生矛盾。科学原仅指对自然现象之规律的探索与总结，但人文学科也被越来越多地冠以“科学”之名。 人们习惯根据研究对象的不同把科学划分为不同的类别，传统的自然科学主要有生物學、物理學、化學、地球科學和天文學。逻辑学和数学的地位比较特殊，它们是其它一切科学的论证基础和工具。 科学在认识自然的不同层面上设法解决各种具体的问题，强调预测结果的具体性和可证伪性，这有别于空泛的哲学。科学也不等同于寻求绝对无误的真理，而是在现有基础上，摸索式地不断接近真理。故科学的发展史就是一部人类对自然界的认识偏差的纠正史。因此“科学”本身要求对理论要保持一定的怀疑性，因此它绝不是“正确”的同义词。.

人工智能

人工智能（Artificial Intelligence, AI）亦稱機器智能，是指由人製造出來的機器所表現出來的智能。通常人工智能是指通過普通電腦程式的手段實現的人類智能技術。該詞也指出研究這樣的智能系統是否能夠實現，以及如何實現科學領域。同時如此，人類的數量開始收斂及功能逐漸被其取代。 一般教材中的定义领域是“智能主体（intelligent agent）的研究与设计”，智能主体是指一个可以观察周遭环境并作出行动以达致目标的系统。约翰·麦卡锡于1955年的定义是「制造智能机器的科学与工程。」 人工智能的研究是高度技术性和专业的，各分支领域都是深入且各不相通的，因而涉及範圍極廣。人工智能的研究可以分为几个技术问题。其分支领域主要集中在解决具体问题，其中之一是，如何使用各种不同的工具完成特定的应用程序。 AI的核心问题包括建構能夠跟人類似甚至超越的推理、知识、规划、学习、交流、感知、移动和操作物体的能力等。強人工智能目前仍然是该领域的长远目标。目前強人工智慧已經有初步成果，甚至在一些影像辨識、語言分析、棋類遊戲等等單方面的能力達到了超越人類的水平，而且人工智慧的通用性代表著，能解決上述的問題的是一樣的AI程式，無須重新開發算法就可以直接使用現有的AI完成任務，與人類的處理能力相同，但達到具備思考能力的統合強人工智慧還需要時間研究，比较流行的方法包括统计方法，计算智能和传统意义的AI。目前有大量的工具应用了人工智能，其中包括搜索和数学优化、逻辑推演。而基於仿生學、認知心理學，以及基于概率论和经济学的演算法等等也在逐步探索當中。.

人工智能和溯因推理 · 人工智能和科学大纲 · 查看更多 »

哲学

哲學（philosophy）是研究普遍的、根本的问题的学科，包括存在、知识、价值、理智、心灵、语言等领域。哲学与其他学科的不同是其批判的方式、通常是系统化的方法，并以理性论证為基礎。在日常用语中，其也可被引申为个人或团体的最基本信仰、概念或态度。.

哲学和溯因推理 · 哲学和科学大纲 · 查看更多 »

社会科学

会科学是用科学的方法，研究人类社会的種種现象。如社會學研究人類社會（主要是當代），政治學研究政治、政策和有關的活動，經濟學研究資源分配。广义的“社会科学”，是人文学科和社会科学的统称。 社會科學起源於西元1930年出版的《社會科學百科全書》（Encyclopaedia of the Social Sciences），其內容包含了社會學、人類學、經濟學、政治學、犯罪學、生物學、地理學、醫學、教育學、心理學、語言學、倫理學、藝術、社會工作學及法律學等與社會科學概論相關的一門學科。.

溯因推理和社会科学 · 社会科学和科学大纲 · 查看更多 »

计算

計算（Calculation）是一種將「單一或多個的輸入值」轉換為「單一或多個的結果」的一種思考過程。 計算的定義有許多種使用方式，有相當精確的定義，例如使用各種算法進行的「算术」，也有較為抽象的定義，例如在一場競爭中「策略的計算」或是「計算」兩人之間關係的成功機率。 將7乘以8（7x8）就是一種簡單的算術。 利用布莱克-斯科尔斯模型（Black-Scholes Model）來算出財務評估中的公平價格（fair price）就是一種複雜的算術。 從投票意向計算評估出的選舉結果（民意調查）也包含了某種算術，但是提供的結果是「各種可能性的範圍」而不是單一的正確答案。.

溯因推理和计算 · 科学大纲和计算 · 查看更多 »

逻辑

邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.

溯因推理和逻辑 · 科学大纲和逻辑 · 查看更多 »

演化

--（evolution），指的是生物的可遺傳性狀在世代間的改變，操作定義是種群內基因頻率的改變。基因在繁殖過程中，會經複製並傳遞到子代。而基因的突变可使性狀改變，進而造成個體之間的遺傳變異。新性狀又會因為物種迁徙或是物種之間的水-平-基因轉移，而隨著基因在族群中傳遞。當這些遺傳變異受到非隨機的自然选择或隨機的遺傳漂變影響，而在族群中變得較為普遍或稀有時，就是演化。演化會引起生物各個層次的多樣性，包括物種、生物個體和分子 。 地球上所有生命的共同起源，約35-38億年前出現，其被稱為最後共同祖先，但是2015年一項在西澳的古老岩石進行的研究中發現41億年前「的行跡」。 新物種（物種形成）、種內的變化（）和物種的消失（絕種）在整個地球的不斷發生，這被形態學和生化性狀證實，其中包括共同的DNA序列，這些共同性狀在物種之間更相似，因為它源於最近的共同祖先，並且可以作為進化關係的依據建立生命之樹(系统发生学)，其利用現有的物種和化石建立，化石記錄的事物包括由的石墨 、，以至多細胞生物的化石。生物多樣性的現有模式被物種形成和滅絕塑造。據估計，曾經生活在地球上的物種99％以上已經滅絕。地球目前的物種估計有1000萬至1400萬。其中約120萬已被記錄。 物種是指一群可以互相進行繁殖行為的個體。當一個物種分離成各個交配行為受到阻礙的不同族群時，再加上突變、遺傳漂變，與不同環境對於不同性狀的青睞，會使變異逐代累積，進而產生新的物種。生物之間的相似性顯示所有已知物種皆是從共同祖先或是祖先基因池逐漸分化產生。 以自然選擇為基礎的演化理論，最早是由查爾斯·達爾文與亞爾佛德·羅素·華萊士所提出，詳細闡述出現在達爾文出版於1859年的《物種起源》.

溯因推理和演化 · 演化和科学大纲 · 查看更多 »