Workshop on Research in Logic-Based Artificial Intelligence

人工智能社区的某些成员认为，基于逻辑的人工智能方法在NSF的重要性尚未得到充分认识。本次研讨会将汇集基于逻辑的人工智能社区的主要研究人员，为他们提供一个机会，在各自的子学科中交流信息，了解基于逻辑的人工智能的相关工作，并评估整个领域的方向。一份提交给NSF的报告将描述该领域当前值得研究支持的重要主题，并将对人工智能领域的一些主要人物认为最有希望取得重大进展的研究领域进行评估。NSF资金将用于部分支持没有足够资金的与会者，以及少数学生与会者；没有资金将用于管理费用或pi。马里兰大学高级计算机研究所将捐助大约5 000美元，用于支付使用会议室、提供论文预印本和其他杂费的费用。

There is a perception among certain members of the artificial intelligence community that the logic-based approach to AI has not been sufficiently recognized as important at NSF. This workshop will bring together leading researchers in the logic-based AI community, to provide them with an opportunity to exchange information in their sub-disciplines, to learn about related work in logic-based AI, and to assess the direction of the field as a whole. A report to NSF will describes important current themes in the field which are worthy of research support, and will provide an assessment of an area of research that some of the leading figures in artificial intelligence believe to be among the most promising for significant future advances. NSF funds will be used to partially support attendees who do not have sufficient funds to come otherwise, as well as a small number of student attendees; no funds will be used for overhead or for the PIs. The University of Maryland Institute for Advanced Computer Studies will contribute approximately $5,000 to defray the charge for use of the conference rooms, to provide preprints of papers, and for other incidentals.