Now showing items 1-4 of 4
A Single-Significant-Digit Calculus for Semi-Automated Guesstimation
We describe a single-significant-digit calculus for estimating approximate solutions to guesstimation problems. The calculus is formalised as a collection of proof methods, which are combined into proof plans. These proof ...
Plan Execution Failure Analysis Using Plan Deconstruction
We consider the challenges that arise when plans are based on an incorrect representation of the domain in which they are executed. We describe how information about plan formation, and how the way in which each plan step ...
Diagnosing and Repairing Ontological Mismatches
The development of the semantic web ensures that the facilitation of agent communication is an issue of increasing importance. It is usually assumed that agents are using the same ontology and hence can understand one ...
An Automatic Translator from KIF to PDDL
In this paper, we present a translation process that we have developed to convert KIF ontologies into PDDL. This allows us to define KIF-based agents that can plan efficiently. We discuss the difficulties inherent in ...