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

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

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. ***