论文部分内容阅读
第十届国际人工智能联会定于1987年8月23日至28日在意大利米兰举行。为提高人们对人工智能在工程中应用的兴趣,此届联会决定将技术程序分为科学部与工程部。科学部论文在8月23日至26日宣读,内容偏重于人机之间思维与感知方面的计算原理。工程部论文在8月25日至28日介绍,主要强调计算原理的应用成果。联会对下述方面的学术论文和研究简报感兴趣,即结构与语言(包括逻辑程序设计、用户交互技术),推理(包括定理证明、规划、解释),知识获取
The 10th International Artificial Intelligence Federation is scheduled to be held in Milan, Italy from August 23 to August 1987. In order to raise the interest of artificial intelligence in engineering applications, the session of the federation decided to divide technical programs into scientific departments and engineering departments. The papers of the Department of Science were read from August 23 to August 26, with emphasis on the computational principles of thinking and perception between man and machine. Engineering papers in the August 25 to 28, introduced the main emphasis on the application of computational results. The Federation is interested in dissertations and research briefs in the areas of structure and language (including logic programming, user interaction techniques), reasoning (including theorem proving, planning, interpretation), knowledge acquisition