Logic, Computational Complexity and Rule Based Systems

该项目涉及三个研究领域， 特定种类的基于规则的系统：（1）逻辑编程， (2)分层和知识库管理，以及（3） Petri网与向量加法系统。 在区域（1）中， 正在调查与分析有关的问题 统一推广的基本算法 和语义递归理论问题， 约束逻辑编程（Constraint Logic Programming） 面积 (2)，PI正在寻求应用 分层到基于规则的系统，其语义 那些命题逻辑。 预期模型语义， 查询及相关问题也在研究之中。 面积 (3)PI正在对算法进行理论分析， Petri网及其可能的扩展。 提出的问题是重要的问题，解决方案 使逻辑编程更合理， 适用因 将产生实际影响的结果是 预期。

This project concerns three areas of research that deal with particular kinds of rule based systems: (1) logic programming, (2) stratification and knowledge base management, and (3) Petri nets and vector addition systems. In area (1) several problems are being investigated that deal with the analysis of fundamental algorithms of unification & generalization and semantic & recursion theoretic issues for Prolog and extensions such as Constraint Logic Programming. In area (2), the PI is seeking applications of the notion of stratification to rule based systems whose semantics are those of propositional logic. Intended Model Semantics, querying and related issues are also under study. In area (3), the PI is making proof-theoretic analyses of algorithms for Petri nets and possible extensions. The problems proposed are important ones for which solutions are needed to make logic programming sound and more generally applicable. Results that will have practical impact are anticipated.