Intensional query answering by partial evaluation
Intensional query answering by partial evaluation
复制标题
通过部分评估进行内涵查询回答
DOI：
10.1007/bf00125368
复制
发表时间：
1996
影响因子：
3.4
通讯作者：
Giuseppe De Giacomo
中科院分区：
文献类型：
--
作者：
Giuseppe De Giacomo
内涵查询回答旨在通过利用内涵知识而不是外延知识来对针对知识库的查询提供响应。这样的响应是对传统答案的抽象描述，在许多情况下可能会引起人们的兴趣，例如，它可以增加系统的协作性，或者在访问知识库的扩展部分对于移动系统而言成本高昂的情况下，它可以取代传统答案。在本文中，我们提出了一个通用框架，用于在遵循逻辑编程范式的知识库中生成内涵答案。这样的框架基于程序转换技术，即部分评估，并允许生成完整的和程序上完整的（wrt SLDNF 分辨率）内涵答案集，方便地处理递归和否定。
Intensional query answering aims at providing a response to a query addressed to a knowledge base by making use of the intensional knowledge as opposed to extensional. Such a response is an abstract description of the conventional answer that can be of interest in many situations, for example it may increase the cooperativeness of the system, or it may replace the conventional answer in case access to the extensional part of the knowledge base is costly as for Mobile Systems. In this paper we present a general framework to generate intensional answers in knowledge bases adhering to the logic programming paradigm. Such a framework is based on a program transformation technique, namely Partial Evaluation, and allows for generating complete and procedurally complete (wrt SLDNF-resolution) sets of intensional answers, treating both recursion and negation conveniently.