查詢結果分析
相關文獻
- 實質空間之宣告式語言描述方法
- 標準形式語言--抽象語法記法(1)(ASN.1)之型式
- 費雪[Johann Michael Fischer]建築風格與形式語言來源之探討
- How Much Innate Knowledge is Needed to Get Child Language Learners off the Ground? : Connectionist Models of Morphology and Syntax Revisited
- Outfix codes and PS-codes
- 語言的轉向與意義理論的變遷--兼評《笛卡兒,掰掰》[書評:Keith Devilin著;李國偉、饒偉立譯,《笛卡兒,掰掰》(«Goodbye, Descartes: The End of Logic and the Search for a New Cosmology of the Mind»)(臺北:遠見出版社,2000年)]
- 基於守恒論域語意的量限模態邏輯的樹法
- 語言、文法與掠奪性期刊
- 授權規範與內在觀點
頁籤選單縮合
題名 | 實質空間之宣告式語言描述方法=Declarative Languages for Describing Physical Space |
---|---|
作者 | 林峯田; 林峰田; Lin, Feng-Tyan; Lin, Feng-Tyan; |
期刊 | 國立臺灣大學建築與城鄉研究學報 |
出版日期 | 19900200 |
卷期 | 5:1 1990.02[民79.02] |
頁次 | 頁141-151 |
分類號 | 312.2 |
語文 | chi |
關鍵詞 | 宣告式語言; 多型代數語言; 形式語言; 邏輯語言; 限制式邏輯語言; Declarative Language; Many-sorted Algebraic Language; Formal Language; Logic Programming Language; Constraint Logic Programming Language; |
中文摘要 | 近年來,宣告式語言的發展在計算機科學界受到相當的重視,它被認為是電腦邁向人工智慧境界所必須具備的條件之一。但是,它在實質空間環境的規劃與設計應用領域,仍未受到應有的重視。從使用者的觀點來看,一種以描述問題結構為取向的語言,毋寧是必要的,它可讓使用者免除於程式設計的細節工作。本文從描敘實質空間環境的應用需求角度,介紹了一些具代表性的宣告式語言。 |
英文摘要 | In these years computer scientists have devoted a lot of efforts to the development of declarative languages which constitute an essential part in the field of artificial intelligence. However, only a few planners and physical designers recognize the potential usages of declarative languages. From the viewpoint of users, declarative languages provide an environment such that users can concentrate on the problems which they are interested without worrying about the details of programming design. This article introduces some declarative languages, such as many-sorted algebraic language, formal language, logic programming language (Prolog), and constraint logic programminr3 language, by which the spatial objects can be described. |
本系統之摘要資訊系依該期刊論文摘要之資訊為主。