Tag Archive '三段式論證'

Posted by Mr. Thursday Read Write Web提到了一個問答系統 eeggi,使用者可以在上面用自然語言問句,來尋找答案,有興趣的讀者可以在這邊觀看約4分鐘的DEMO。eeggi可以區分同義字,並且根據問句的上下文來判斷回傳的答案,並且會把語意上真正相關的結果整理在一起回傳。文章中還提到了eeggi會依照發現的繼承關係,自動套用相關的屬性,譬如說Mary是一位女孩,那麼女孩相關的屬性就會自動列入搜尋範圍。不過這卻也讓我想到了算是人工智慧裡面一個知識表達還算有名的問題。 這個問題是甚麼呢?首先我們先提一下古老以前亞里斯多德提出了一種邏輯推論法,叫做三段式論證。三段式論證舉個例子如下: 1. 人都會死 (Men are mortal.) 2. 拿破崙是個人 (Napoleon is a man.) 3. 所以拿破崙會死 (Napoleon is mortal.) 不知道各位是否看出三段式論證的規則了呢?就是第一行先論述一整個類別的性質,地行行列出某個事物屬於這個類別,第三行就是結論,也就是這個事物具有第一行類別提到的性質,或是說這個事物繼承了這個性質。 不過後來研究人工智慧的學者,喜孜孜地想要應用到知識表達的邏輯系統裡面的時候,卻發現有個反例,舉例如下:

Read Full Post »