實質空間之宣告式語言描述方法

Abstract

近年來，宣告式語言的發展在計算機科學界受到相當的重視，它被認?是電腦邁向人工智慧境界所必須具作備的條件之一。但是，它在實質空間環境的規則與設計應用領域，仍未受到應有的重視。從使用者的觀點來看，一種以描述問題結構?取向的語言，毋寧是必要的，它可讓使用者免除於程式設計的細節工作。本文從描?實質空間環境的應用需求角度，介紹了一些具代表性的宣告式語言。

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.