Scalable Knowledge Representation and Solving

我建议发展理论基础，代表复杂的模块化系统，高级编程语言，以指定这样的系统，并找到解决方案的算法。这项研究将帮助企业和其他组织处理越来越多的信息和越来越复杂的任务（包括组合优化）。由于问题的复杂性，拟议的研究将在三个方向上进行：*1）开发一个可扩展的知识表示形式主义，支持模块化的高级（声明式）问题解决;*2）开发一个计算框架，参数控制其表达能力和寻找解决方案的计算复杂性; *3）开发求解和合成模块化系统的算法技术。科学进步将在理论成果和原型系统的开发和彻底评价两方面加以衡量。核心交付成果之一将是潜在工业合作伙伴对技术理念的调整。* 拟议的研究有可能通过开发复杂性分析的新技术对计算理论做出贡献，并通过提供一种具有相关工具的语言来对技术做出贡献，该语言允许人们将不同的求解器和（可能只有部分可见）数据库结合起来，以解决新规模的问题。

I propose to develop theoretical foundations for representing complex modular systems, a high-level programming language to specify such systems, and algorithms for finding solutions. The research will help businesses and other organizations to deal with an increasing amount of information and with increasingly complex tasks (including combinatorial optimization). Because of the complexity of the problem, the proposed research will proceed in three directions:***1) Develop a scalable knowledge representation formalism that supports modular high-level (declarative) problem solving;***2) Develop a computational framework with parameters to control its expressive power and the computational complexity of finding solutions; ***3) Develop algorithmic techniques for solving and synthesizing modular systems.***The scientific progress will be measured both in theoretical results and in the development and thorough evaluation of prototype systems. One of the core deliverables will be an adaptation of the technological ideas by a potential industrial partner. ***The proposed research has potential to contribute to the theory of computing, through developing new techniques for complexity analysis, and to technology, by offering a language with associated tools, that allows one to combine different solvers and (potentially only partially visible) databases for solving problems of a new magnitude.**