Workshop on Research in Logic-Based Artificial Intelligence

基于逻辑的人工智能研究研讨会

• 批准号: 9820138
• 负责人: Jack Minker
• 金额: $ 3万
• 依托单位: University of Maryland, College Park
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-03-01 至 2000-02-29
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9820138&HistoricalAwards=false
• 关键词: Workshop; Research; Logic; Based; Artificial

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.

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