7,954 research outputs found
h-approximation: History-Based Approximation of Possible World Semantics as ASP
We propose an approximation of the Possible Worlds Semantics (PWS) for action
planning. A corresponding planning system is implemented by a transformation of
the action specification to an Answer-Set Program. A novelty is support for
postdiction wrt. (a) the plan existence problem in our framework can be solved
in NP, as compared to for non-approximated PWS of Baral(2000); and
(b) the planner generates optimal plans wrt. a minimal number of actions in
. We demo the planning system with standard problems, and
illustrate its integration in a larger software framework for robot control in
a smart home.Comment: 12th International Conference on Logic Programming and Nonmonotonic
Reasoning (LPNMR 2013
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity
We propose a new declarative planning language, called K, which is based on
principles and methods of logic programming. In this language, transitions
between states of knowledge can be described, rather than transitions between
completely described states of the world, which makes the language well-suited
for planning under incomplete knowledge. Furthermore, it enables the use of
default principles in the planning process by supporting negation as failure.
Nonetheless, K also supports the representation of transitions between states
of the world (i.e., states of complete knowledge) as a special case, which
shows that the language is very flexible. As we demonstrate on particular
examples, the use of knowledge states may allow for a natural and compact
problem representation. We then provide a thorough analysis of the
computational complexity of K, and consider different planning problems,
including standard planning and secure planning (also known as conformant
planning) problems. We show that these problems have different complexities
under various restrictions, ranging from NP to NEXPTIME in the propositional
case. Our results form the theoretical basis for the DLV^K system, which
implements the language K on top of the DLV logic programming system.Comment: 48 pages, appeared as a Technical Report at KBS of the Vienna
University of Technology, see http://www.kr.tuwien.ac.at/research/reports
Answer Set Planning Under Action Costs
Recently, planning based on answer set programming has been proposed as an
approach towards realizing declarative planning systems. In this paper, we
present the language Kc, which extends the declarative planning language K by
action costs. Kc provides the notion of admissible and optimal plans, which are
plans whose overall action costs are within a given limit resp. minimum over
all plans (i.e., cheapest plans). As we demonstrate, this novel language allows
for expressing some nontrivial planning tasks in a declarative way.
Furthermore, it can be utilized for representing planning problems under other
optimality criteria, such as computing ``shortest'' plans (with the least
number of steps), and refinement combinations of cheapest and fastest plans. We
study complexity aspects of the language Kc and provide a transformation to
logic programs, such that planning problems are solved via answer set
programming. Furthermore, we report experimental results on selected problems.
Our experience is encouraging that answer set planning may be a valuable
approach to expressive planning systems in which intricate planning problems
can be naturally specified and solved
Government review of the Mod-2 wind turbine (as-built)
The findings and recommendations of the Government committee formed to conduct an as-built review of the three Mod-2 wind turbine units at Goldendale, Washington are given. The purpose of the review was to identify any critical deficiencies in machine components that could result in failure, and to recommend any necessary corrective action before resuming safe machine operation. The review concluded that one of the deficiencies identified would preclude planned attended or unattended operation, provided that certain corrective actions were implemented
Remote Sensing and Problems of the Hydrosphere
A discussion of freshwater and marine systems is presented including areas of the classification of lakes, identification and quantification of major functional groups of phytoplankton, sources and sinks of biochemical factors, and temporal and regional variability of surface features. Atmospheric processes linked to hydrospheric process through the transfer of matter via aerosols and gases are discussed. Particle fluxes to the aquatic environment and global geochemical problems are examined
Preliminary assessment of industrial needs for an advanced ocean technology
A quick-look review of selected ocean industries is presented for the purpose of providing NASA OSTA with an assessment of technology needs and market potential. The size and growth potential, needs and problem areas, technology presently used and its suppliers, are given for industries involved in deep ocean mining, petrochemicals ocean energy conversion. Supporting services such as ocean bottom surveying; underwater transportation, data collection, and work systems; and inspection and diving services are included. Examples of key problem areas that are amenable to advanced technology solutions are included. Major companies are listed
Cross organisational compatible workflows generation and execution
With the development of internet and electronics, the demand for electronic and online commerce has increased. This has, in turn, increased the demand for business process automation. Workflow has established itself as the technology used for business process automation. Since business organisations have to work in coordination with many other business organisations in order to succeed in business, the workflows of business organisations are expected to collaborate with those of other business organisations. Collaborating organisations can only proceed in business if they have compatible workflows. Therefore, there is a need for cross organisational workflow collaboration.
The dynamism and complexity of online and electronic business and high demand from the market leave the workflows prone to frequent changes. If a workflow changes, it has to be re-engineered as well as reconciled with the workflows of the collaborating organisations. To avoid the continuous re-engineering and reconciliation of workflows, and to reuse the existing units of work done, the focus has recently shifted from modeling workflows to automatic workflow generation.
Workflows must proceed to runtime execution, otherwise, the effort invested in the build time workflow modeling is wasted. Therefore, workflow management and collaboration systems must support workflow enactment and runtime workflow collaboration.
Although substantial research has been done in build-time workflow collaboration, automatic workflow generation, workflow enactment and runtime workflow collaboration, the integration of these highly inter-dependent aspects of workflow has not been considered in the literature. The research work presented in this thesis investigates the integration of these different aspects. The main focus of the research presented in this thesis is the creation of a framework that is able to generate multiple sets of compatible workflows for multiple collaborating organisations, from their OWLS process definitions and high level goals. The proposed framework also supports runtime enactment and runtime collaboration of the generated workflows
- …