跳到主要內容

臺灣博碩士論文加值系統

(100.28.227.63) 您好!臺灣時間:2024/06/22 01:35
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

我願授權國圖
: 
twitterline
研究生:陳光霽
研究生(外文):CHEN, GUANG-JI
論文名稱:程式邏輯語言
指導教授:黃為德黃為德引用關係
指導教授(外文):HUANG, WEI-DE
學位類別:碩士
校院名稱:國立中央大學
系所名稱:資訊科學研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
畢業學年度:73
語文別:中文
中文關鍵詞:程式邏輯語言計算機軟體基本函數同化
外文關鍵詞:VON-NEUMANNUNIFYJOHN-BACKUS
相關次數:
  • 被引用被引用:0
  • 點閱點閱:138
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
目前計算機軟體發展所遭遇到最大的困擾之一,在於程式語言語法太過繁複,因此往
往使程式員耗費極大的精力,在於「問題如何解決」,因此造成程式的維護、驗證、
擴充上的困難,究其原因,在於目前所使用的傳統程式語言,在設計上過份依賴Von
Neumann 計算模式,以致於程式語法複雜而且語意不易表達。
我們認為程式邏輯是一套簡潔有力的語意表達方式,如能將之發展成為一套實用程式
語,言將是一種新軟體發展方向。本論文以LISP語言在傳統計算機上發展了一套
程式邏輯語言解釋器,以提使用者一些基本函數並具有John Backus 的功能程式語言
的組合能力,便於使用者可以自行用基本函數以邏輯方式創作較高階函數,這種語法
因為是邏輯方法推導,所以語法簡潔有力,且驗證程式之正確性時可直接用數學方法
證明。
在發展該解釋器的過程中,我們遭遇最大的技術問題是邏輯規則的辨認,因此我們弔
入人工智慧的同化(Unify )技術,以順利解決此一障礙,由此使該套系統真正實用
化。
#1017900P

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top