https://scholars.lib.ntu.edu.tw/handle/123456789/81215
標題: | 實質空間之宣告式語言描述方法 Declarative Languages for Describing Physical Space |
作者: | 林?田 Lin, F.T. |
關鍵字: | 宣告式語言;多型代數語言;形式語言;邏輯語言;限制式邏輯語言;Declarative Language;Many-sorted Algebraic Language;Formal Language;Logic Programming Language;Constraint Logic Programming Language | 公開日期: | 二月-1990 | 期: | 5 | 起(迄)頁: | 141-151 | 來源出版物: | 建築與城鄉學報 | 摘要: | 近年來,宣告式語言的發展在計算機科學界受到相當的重視,它被認?是電腦邁向人工智慧境界所必須具作備的條件之一。但是,它在實質空間環境的規則與設計應用領域,仍未受到應有的重視。從使用者的觀點來看,一種以描述問題結構?取向的語言,毋寧是必要的,它可讓使用者免除於程式設計的細節工作。本文從描?實質空間環境的應用需求角度,介紹了一些具代表性的宣告式語言。 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 programming language, by which the spatial objects can be described. |
URI: | http://ntur.lib.ntu.edu.tw//handle/246246/281588 |
顯示於: | 建築與城鄉研究所 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。