Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ MAnnheim DOCument Se...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Recolector de Ciencia Abierta, RECOLECTA
Conference object . 1993
License: CC BY NC ND
DBLP
Conference object
Data sources: DBLP
versions View all 4 versions
addClaim

Exploiting consistency maintenance for planning

Authors: Moerkotte, Guido; Mueller, Holger;

Exploiting consistency maintenance for planning

Abstract

A planning problem mainly consists of a description of an initial world, a set of formulas which declaratively define a goal world and a set of operator specifications which can be used to derive new worlds from given worlds. The goal of the planning procedure is to find a sequence of operators such that if they are applied to the initial world in succession, they result in a goal world in which all the formulas of the goal description hold. Deductive databases can be described by a triple consisting of a set of facts, a set of ru_les, and a set of constraints that each database state has to obey. Deductive databases will be used to model worlds in a planning domain. Further, we assume the existence of a consistency maintenance procedure which allows to find for an inconsistent database state consistent ones. The exploitation of automatic consistency maintenance is the main issue of the pa­ per. Hence, it will be described first. A simple example will motívate the usefulness of consistency maintenance for planning. Then, a planning procedure and sorne variants are specified which build upon consistency maintenance. This planner mainly consists of two layers, the deductive database and a specialized procedure devoted to planning. We call this a hybrid or heterogeneous approach. The basic planning procedure as well as sorne more advanced ones will be specified and sorne theoretical and empirical results will be g1ven. While this planner outperforms existing ones in both, expressiveness and performance, there still exist sorne problems which have to be tackled in order to improve its perfor­ mance. This will lead to a new, homogeneous planner. The key idea is to axiomatize the planning procedure and use consistency maintenance to derive descriptions of possible plans.

Countries
Spain, Germany, Germany
Keywords

ddc:004, Information storage and retrieval systems, Bases de dades, Informació -- Sistemes d'emmagatzematge i recuperació, Deductive databases, DATA processing & computer science, Sistemes d'informació per a la gestió, Bases de dades deductives, Management information systems, info:eu-repo/classification/ddc/004, 004

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
    OpenAIRE UsageCounts
    Usage byUsageCounts
    visibility views 49
    download downloads 12
  • 49
    views
    12
    downloads
    Powered byOpenAIRE UsageCounts
Powered by OpenAIRE graph
Found an issue? Give us feedback
visibility
download
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
views
OpenAIRE UsageCountsViews provided by UsageCounts
downloads
OpenAIRE UsageCountsDownloads provided by UsageCounts
0
Average
Average
Average
49
12
Green
Related to Research communities
Spanish Research Portal