首页> 外文期刊>IEEE Transactions on Knowledge and Data Engineering >A deductive environment for dealing with objects and nonmonotonic reasoning
【24h】

A deductive environment for dealing with objects and nonmonotonic reasoning

机译:处理对象和非单调推理的演绎环境

获取原文
获取原文并翻译 | 示例

摘要

The Bottom-up Query machine (BQM)-the role played by our system in the framework of the KIWIS system (K. Apt et al., 1987)-extends deductive database technology with knowledge structuring capabilities to provide an advanced environment for the development of data and knowledge based applications. The system relies on a knowledge representation language that combines the declarativeness of logic programming with the notions of object, inheritance with exceptions, and message passing. Exceptions are supported by allowing rules with negated heads. The use of exceptions inside the inheritance mechanism makes the language inherently nonmonotonic. The paper contains a comprehensive description of both the language and the implementation principles of the BQM system. It begins by providing a model theoretic semantics of the language based on the notion of least model. A fixpoint semantics, providing a constructive definition of the least model, is given as well. Then, a number of implementation techniques for efficient query evaluation are described. Such techniques significantly extend "traditional" deductive database query evaluation strategies to deal with monotonic reasoning. A description of the architecture of the current prototype of the BQM system is also given.
机译:自下而上的查询机(BQM)-我们的系统在KIWIS系统的框架中所扮演的角色(K. Apt等人,1987年)-将演绎数据库技术扩展为具有知识结构化功能,从而为开发提供了先进的环境基于数据和知识的应用程序。该系统依赖于一种知识表示语言,该语言将逻辑编程的声明性与对象的概念,带异常的继承以及消息传递相结合。通过允许规则具有反头的规则来支持例外。在继承机制内部使用异常使该语言具有固有的非单调性。本文包含对BQM系统的语言和实现原理的全面描述。它首先基于最小模型的概念提供语言的模型理论语义。还提供了固定点语义,提供了最小模型的建设性定义。然后,描述了用于高效查询评估的多种实现技术。这些技术极大地扩展了“传统”演绎数据库查询评估策略,以处理单调推理。还给出了BQM系统当前原型的体系结构的描述。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号