Scalable Knowledge Representation and Solving

点击翻译按钮获取中文摘要

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: