Conference on Theoretical Aspects of Reasoning About Knowledge (Computer and Information Science)

该奖项为一个关于知识推理的跨学科会议提供了部分支持。关于知识的推理，长期以来一直是哲学家们非常感兴趣的问题，最近被认为对许多其他领域都很重要，包括人工智能、密码学、分布式系统、经济学和语言学。会议将于1988年3月7日至9日在Asilomar（太平洋格罗夫，加利福尼亚）举行。作为第一次会议，来自不同学科的参与者将在投稿论文和邀请论文中介绍最新的发展。这次会议的重要性在于它的跨学科范围，以及它为人工智能和基于知识的系统的各种研究建立理论基础的贡献。

This award provides partial support for an interdisciplinary conference on Reasoning About Knowledge. Reasoning about knowledge, which has long been of great interest to philosophers, has recently been recognized to be of importance to many other fields, including artificial intelligence, cryptography, distributed systems, economics, and linguistics. The conference will be held at Asilomar (Pacific Grove, California) on March 7-9, 1988. As the first meeting, the participants from several different disciplines will present recent developments in contributed papers and invited papers. The importance of this conference is its interdisciplinary scope and the contribution it makes to building a theoretical base for a wide variety of research in artificial intelligence and knowledge based systems.