U.S.-Korea Cooperative Research on Constraint Methods and Inference Engines for Expert Systems

美韩专家系统约束方法和推理机合作研究

• 批准号: 9404905
• 负责人: Ken McAloon
• 金额: $ 2.29万
• 依托单位: CUNY Brooklyn College
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-09-01 至 1996-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9404905&HistoricalAwards=false
• 关键词: U.S.; Korea; Cooperative; Research; Constraint

9404905 McAloon This award provides funds to permit Drs. Kenneth McAloon and Carol Tretkoff, Department of Computer and Information Science, Brooklyn College of The City University of New York, to pursue with Dr. Geun Sik Jo, Department of Computer Science and Engineering, Inha University, Korea, for 24 months, a program of cooperative research on constraint methods and inference engines for expert systems. The goal of this collaboration is to build a new kind of programming tool for formulating and controlling the solution of complex operations research and artificial intelligence applications. This project has three immediate aims: (1) developing new algorithmic and logical control strategies using 2LP (Linear Programming and Logic Programming), MIP-Prolog (Mixed Integer Programming in Prolog), and related systems, (2) linking rule-based programming and constraint-based programming to achieve new advances in expert systems technology, (3) making the underlying logical and mathematical compilation more efficient, and (4) exploiting the knowledge representation power of constraint programming to make this technology more broadly applicable and usable. The proposed research is at the confluence of several disciplines: constraint logic programming, operations research, artificial intelligence, mathematical logic, and distributed computing. This research will emphasize increasing both the modeling power and the computational power of this technology in order to include more varied and more challenging applications. The collaborators have considerable complementary research experience in the field of their proposed project. This project is relevant to the objectives of the U.S.-Korea Cooperative Science Program which seeks to increase the level of cooperation between U.S. and Korean scientists and engineers through the exchange of scientific information, ideas, skills, and techniques and through collaboration on problems of mutual benefit. Korean particip ation in the project is supported by the Korea Science and Engineering Foundation (KOSEF). This project adds an international cooperative dimension to the PI's research under NSF Grant No. CCR-9115603. ***

[404905]该奖项提供资金，允许博士。纽约城市大学布鲁克林学院计算机与信息科学系Kenneth McAloon和Carol Tretkoff与韩国仁和大学计算机科学与工程系Geun Sik Jo博士合作开展为期24个月的专家系统约束方法和推理引擎合作研究项目。此次合作的目标是建立一种新的编程工具，用于制定和控制复杂运筹学和人工智能应用的解决方案。该项目有三个直接目标：(1)使用2LP（线性规划和逻辑规划）、MIP-Prolog （Prolog中的混合整数规划）和相关系统开发新的算法和逻辑控制策略；(2)将基于规则的规划和基于约束的规划联系起来，以实现专家系统技术的新进展；(3)使底层的逻辑和数学编译更高效；(4)利用约束规划的知识表示能力，使约束规划技术具有更广泛的适用性和可用性。拟议的研究是几个学科的融合：约束逻辑规划、运筹学、人工智能、数学逻辑和分布式计算。这项研究将强调提高该技术的建模能力和计算能力，以包括更多样化和更具挑战性的应用。合作者在他们所提议的项目领域具有相当丰富的互补研究经验。该项目与美韩合作科学项目的目标相关，该项目旨在通过科学信息、思想、技能和技术的交流以及在互利问题上的合作，提高美韩科学家和工程师之间的合作水平。韩国参与该项目得到了韩国科学工程财团（KOSEF）的支持。该项目在美国国家科学基金（NSF）资助下为PI的研究增加了一个国际合作的维度。ccr - 9115603。＊＊＊