前言：
今天是文章正式開始的第一天，今天的主題是介紹人工智慧發展的前緣，那我們就一起來看吧。

前身：形式推理(Formal Reasoning)
人工智慧的基本假設是人類的思考過程可以機械化。對於機械化推理（就是形式推理(formal reasoning)）的研究已經有很長的歷史。
中國，印度和希臘哲學家早在公元前一個千年裡提出了形式推理的結構化方法。
他們的想法為後世的哲學家所繼承發展，其中著名的有亞里斯多德提出了對三段論邏輯進行了形式分析，歐幾里得著作的幾何原本就是形式推理的典範，形式推理對邏輯的歸納是AI發展很重要的一個前身。

形式推理包含了幾個架構領域

數理邏輯的擴展Extensions of mathematical logic

語境Context

形式化的非單調推理Elaboration tolerance
該程序必須能夠考慮新的事實，以獲得與舊事實所建議的不同的解決方案

同期活動Concurrent events
最近的人用了哪些演算法處理了這個問題

意向性Intentionality
在文獻中表述對事情看法的表述

物化Reification
理解邏輯中的對象

內省與超越Introspection and transcendence
人類智能有能力調查其整個活動，並考慮任何假設

描述級別Levels of description
如果有人問一個事件是如何發生的，通常可以通過給出一系列較低級別的事件來回答特定事件的問題

達特茅斯會議
在1956年，美國的達特茅斯大學舉行了一次會議，而會議上正式確立了人工智慧的研究領域。而他們預言：經過後人的努力，與人類具有同等智能水平的機器將會出現。同時，上千萬美元被投入到AI領域研究中，以期實現這一目標。
然而，因為低估了人工智慧的難度，在70年代及80年代都發生了投資者撤回資金的現象，而人工智慧的研究領域也起起落落。
而人工智慧最剛起步的年代1956-1974，當時的計算機用來解決數學、幾何推理證明問題，很多人很難想像機器居然能夠達到所謂的智能。

資料來源：
https://www.uu.nl/en/research/human-centered-artificial-intelligence/special-interest-groups/knowledge-representation-and-reasoning

https://zh.wikipedia.org/zh-tw/%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD%E5%8F%B2

http://www-formal.stanford.edu/overview.html