全國中小學科展

電腦哲學家─ 符號邏輯與人工智慧的探討及實作

科展類別
全國中小學科展作品
屆次
第35屆--民國84年
科別
應用科學科
得獎情形
第一名
學校名稱
台北市北政國民中學
指導老師
劉更生
作者
唐宗漢
關鍵字
邏輯,人工智慧

摘要或動機

1993 年 7 月間(作者小學六年級時),閱及「有趣的人工智慧程式」中之 FOL (註 1 )程式 FETCH ,深覺其功能之侷限與不足;因此有人工智慧及邏輯方面之興趣,故期能加以改進,做出具完備符號邏輯推論能力之程式。\r
惜當時程式設計能力未逮,故僅撰一程式架構( LOGIC ) ,以處理三段論法規則( Syllogisticorules )之一種(註 2 ) ,經一年半之改進,並數度改寫其「推論機制」後,終於做出具「推論智慧」、接受多語混合輸入的「三段論法處理界面」〔 SAPI 〕 與「邏輯推論界面編譯器」〔 LPIC 〕 (註 3 ) ,並能處理多種不同邏輯關係之程式後,始達成原先期望之目標。\r
〔 SPAI 〕 即成,即以此報名參加校內科展。但因所學有限,致難有長足進步,常以為憾。及閱國外此類軟體之較新( 1994 )文獻,恍然大悟之餘,遂將〔 SAPI 〕之架構與功能擴充;因〔 SAPI 〕架構極「硬」(缺少彈性、擴充性),故未能改寫之處,撰一名為〔 IPAS 〕(註 4 )之獨立軟性架構程式以實作之;除取截長補短之效外,更以電腦實作維根斯坦<邏輯哲學論>中之邏輯世界為期。


「為配合國家發展委員會「推動ODF-CNS15251為政府為文件標準格式實施計畫」,以及 提供使用者有文書軟體選擇的權利,本館檔案下載部分文件將公布ODF開放文件格式, 免費開源軟體可至LibreOffice 下載安裝使用,或依貴慣用的軟體開啟文件。」

檔案名稱 檔案大小 格式
電腦哲學家\n─ 符號邏輯與人工智慧的探討及實作 2 MB Adobe Reader(Pdf)檔案