17,654 research outputs found
Recommended from our members
Completeness, robustness, and safety in real-time software requirements specification
This paper presents an approach to providing a rigorous basis for ascertaining whether or not a given set of software requirements is internally complete, i.e., closed with respect to questions and inferences that can be made on the basis of information included in the specification. Emphasis is placed on aspects of software requirements specifications that previously have not been adequately handled, including timing abstractions, safety, and robustness
Minimum maximum reconfiguration cost problem
This paper discusses the problem of minimizing the reconfiguration cost of
some types of reconfigurable systems. A formal definition of the problem and a proof
of its NP-completeness are provided. In addition, an Integer Linear Programming
formulation is proposed. The proposed problem has been used for optimizing a design
stage of Finite Virtual State Machines
Exact Cover with light
We suggest a new optical solution for solving the YES/NO version of the Exact
Cover problem by using the massive parallelism of light. The idea is to build
an optical device which can generate all possible solutions of the problem and
then to pick the correct one. In our case the device has a graph-like
representation and the light is traversing it by following the routes given by
the connections between nodes. The nodes are connected by arcs in a special way
which lets us to generate all possible covers (exact or not) of the given set.
For selecting the correct solution we assign to each item, from the set to be
covered, a special integer number. These numbers will actually represent delays
induced to light when it passes through arcs. The solution is represented as a
subray arriving at a certain moment in the destination node. This will tell us
if an exact cover does exist or not.Comment: 20 pages, 4 figures, New Generation Computing, accepted, 200
Distributed Abductive Reasoning: Theory, Implementation and Application
Abductive reasoning is a powerful logic inference mechanism that allows assumptions to be
made during answer computation for a query, and thus is suitable for reasoning over incomplete
knowledge. Multi-agent hypothetical reasoning is the application of abduction in a distributed
setting, where each computational agent has its local knowledge representing partial world and
the union of all agents' knowledge is still incomplete. It is different from simple distributed
query processing because the assumptions made by the agents must also be consistent with
global constraints.
Multi-agent hypothetical reasoning has many potential applications, such as collaborative planning
and scheduling, distributed diagnosis and cognitive perception. Many of these applications
require the representation of arithmetic constraints in their problem specifications as well as
constraint satisfaction support during the computation. In addition, some applications may
have confidentiality concerns as restrictions on the information that can be exchanged between
the agents during their collaboration. Although a limited number of distributed abductive systems
have been developed, none of them is generic enough to support the above requirements.
In this thesis we develop, in the spirit of Logic Programming, a generic and extensible distributed
abductive system that has the potential to target a wide range of distributed problem
solving applications. The underlying distributed inference algorithm incorporates constraint
satisfaction and allows non-ground conditional answers to be computed. Its soundness and
completeness have been proved. The algorithm is customisable in that different inference and
coordination strategies (such as goal selection and agent selection strategies) can be adopted
while maintaining correctness. A customisation that supports confidentiality during problem
solving has been developed, and is used in application domains such as distributed security
policy analysis. Finally, for evaluation purposes, a
flexible experimental environment has been
built for automatically generating different classes of distributed abductive constraint logic programs.
This environment has been used to conduct empirical investigation of the performance
of the customised system
Reason Maintenance - State of the Art
This paper describes state of the art in reason maintenance with a focus on its future usage in the KiWi project. To give a bigger picture of the field, it also mentions closely related issues such as non-monotonic logic and paraconsistency. The paper is organized as follows: first, two motivating scenarios referring to semantic wikis are presented which are then used to introduce the different reason maintenance techniques
CHR Grammars
A grammar formalism based upon CHR is proposed analogously to the way
Definite Clause Grammars are defined and implemented on top of Prolog. These
grammars execute as robust bottom-up parsers with an inherent treatment of
ambiguity and a high flexibility to model various linguistic phenomena. The
formalism extends previous logic programming based grammars with a form of
context-sensitive rules and the possibility to include extra-grammatical
hypotheses in both head and body of grammar rules. Among the applications are
straightforward implementations of Assumption Grammars and abduction under
integrity constraints for language analysis. CHR grammars appear as a powerful
tool for specification and implementation of language processors and may be
proposed as a new standard for bottom-up grammars in logic programming.
To appear in Theory and Practice of Logic Programming (TPLP), 2005Comment: 36 pp. To appear in TPLP, 200
- ā¦