Non-Determinism in Deductive Databases

该项目的目标是开发一个统一的框架，用于建模，表达和有效地支持构建下一代智能信息系统所需的语义概念和约束。 所提出的统一将包括演绎规则和数据库的主动规则，非单调逻辑和常识推理的非确定性。 项目目标将通过目前活跃在美国和欧洲这些领域的领先研究团队的合作来实现。 将通过学术出版物和在项目第二年组织的一次大型国际讲习班传播研究成果。 具体的研究任务将解决。

The objective of this project is to develop a unified framework for modeling, expressing and efficiently supporting semantic concepts and constraints required for building the next generation of intelligent information systems. The proposed unification will include non-determinism in deductive rules and active rules for databases, non monotonic logic and common-sense reasoning. The project goals will achieved through the collaborative of leading research teams who are currently active in these areas in the U.S. and Europe. Dissemination of the research results will be through scholarly publications and a major international workshop organized in the second year of the project. Specific research tasks will address.