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

知识推理的理论方面会议（计算机与信息科学）

• 批准号: 8715814
• 负责人: Moshe Vardi
• 金额: $ 2.15万
• 依托单位: IBM Almaden Research Center
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1988
• 资助国家: 美国
• 起止时间: 1988-02-01 至 1989-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8715814&HistoricalAwards=false
• 关键词: Conference; Theoretical; Aspects; Reasoning; About

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.

该奖项为关于知识推理的跨学科会议提供部分支持。关于知识的推理长期以来一直受到哲学家的极大兴趣，最近也被认为对许多其他领域具有重要意义，包括人工智能、密码学、分布式系统、经济学和语言学。该会议将于 1988 年 3 月 7 日至 9 日在阿西洛玛（太平洋格罗夫，加利福尼亚州）举行。作为第一次会议，来自多个不同学科的与会者将介绍贡献论文和特邀论文的最新进展。 这次会议的重要性在于其跨学科范围以及它为人工智能和基于知识的系统的各种研究建立理论基础所做出的贡献。