全國中小學科展

依全國中小學科展屆次查詢

依相關評語查詢

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

科展類別

全國中小學科展作品

屆次

第35屆--民國84年

科別

應用科學科

得獎情形

第一名

學校名稱

台北市北政國民中學

指導老師

劉更生

作者

唐宗漢

關鍵字

邏輯,人工智慧

摘要或動機

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

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

Adobe Reader(Pdf)檔案