303 research outputs found
Symmetry Breaking for Answer Set Programming
In the context of answer set programming, this work investigates symmetry
detection and symmetry breaking to eliminate symmetric parts of the search
space and, thereby, simplify the solution process. We contribute a reduction of
symmetry detection to a graph automorphism problem which allows to extract
symmetries of a logic program from the symmetries of the constructed coloured
graph. We also propose an encoding of symmetry-breaking constraints in terms of
permutation cycles and use only generators in this process which implicitly
represent symmetries and always with exponential compression. These ideas are
formulated as preprocessing and implemented in a completely automated flow that
first detects symmetries from a given answer set program, adds
symmetry-breaking constraints, and can be applied to any existing answer set
solver. We demonstrate computational impact on benchmarks versus direct
application of the solver.
Furthermore, we explore symmetry breaking for answer set programming in two
domains: first, constraint answer set programming as a novel approach to
represent and solve constraint satisfaction problems, and second, distributed
nonmonotonic multi-context systems. In particular, we formulate a
translation-based approach to constraint answer set solving which allows for
the application of our symmetry detection and symmetry breaking methods. To
compare their performance with a-priori symmetry breaking techniques, we also
contribute a decomposition of the global value precedence constraint that
enforces domain consistency on the original constraint via the unit-propagation
of an answer set solver. We evaluate both options in an empirical analysis. In
the context of distributed nonmonotonic multi-context system, we develop an
algorithm for distributed symmetry detection and also carry over
symmetry-breaking constraints for distributed answer set programming.Comment: Diploma thesis. Vienna University of Technology, August 201
Preferential Multi-Context Systems
Multi-context systems (MCS) presented by Brewka and Eiter can be considered
as a promising way to interlink decentralized and heterogeneous knowledge
contexts. In this paper, we propose preferential multi-context systems (PMCS),
which provide a framework for incorporating a total preorder relation over
contexts in a multi-context system. In a given PMCS, its contexts are divided
into several parts according to the total preorder relation over them,
moreover, only information flows from a context to ones of the same part or
less preferred parts are allowed to occur. As such, the first preferred
parts of an PMCS always fully capture the information exchange between contexts
of these parts, and then compose another meaningful PMCS, termed the
-section of that PMCS. We generalize the equilibrium semantics for an MCS to
the (maximal) -equilibrium which represents belief states at least
acceptable for the -section of an PMCS. We also investigate inconsistency
analysis in PMCS and related computational complexity issues
Asynchronous Multi-Context Systems
In this work, we present asynchronous multi-context systems (aMCSs), which
provide a framework for loosely coupling different knowledge representation
formalisms that allows for online reasoning in a dynamic environment. Systems
of this kind may interact with the outside world via input and output streams
and may therefore react to a continuous flow of external information. In
contrast to recent proposals, contexts in an aMCS communicate with each other
in an asynchronous way which fits the needs of many application domains and is
beneficial for scalability. The federal semantics of aMCSs renders our
framework an integration approach rather than a knowledge representation
formalism itself. We illustrate the introduced concepts by means of an example
scenario dealing with rescue services. In addition, we compare aMCSs to
reactive multi-context systems and describe how to simulate the latter with our
novel approach.Comment: International Workshop on Reactive Concepts in Knowledge
Representation (ReactKnow 2014), co-located with the 21st European Conference
on Artificial Intelligence (ECAI 2014). Proceedings of the International
Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014),
pages 31-37, technical report, ISSN 1430-3701, Leipzig University, 2014.
http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-15056
On the cost-complexity of multi-context systems
Multi-context systems provide a powerful framework for modelling
information-aggregation systems featuring heterogeneous reasoning components.
Their execution can, however, incur non-negligible cost. Here, we focus on
cost-complexity of such systems. To that end, we introduce cost-aware
multi-context systems, an extension of non-monotonic multi-context systems
framework taking into account costs incurred by execution of semantic operators
of the individual contexts. We formulate the notion of cost-complexity for
consistency and reasoning problems in MCSs. Subsequently, we provide a series
of results related to gradually more and more constrained classes of MCSs and
finally introduce an incremental cost-reducing algorithm solving the reasoning
problem for definite MCSs
Contextual and Possibilistic Reasoning for Coalition Formation
In multiagent systems, agents often have to rely on other agents to reach
their goals, for example when they lack a needed resource or do not have the
capability to perform a required action. Agents therefore need to cooperate.
Then, some of the questions raised are: Which agent(s) to cooperate with? What
are the potential coalitions in which agents can achieve their goals? As the
number of possibilities is potentially quite large, how to automate the
process? And then, how to select the most appropriate coalition, taking into
account the uncertainty in the agents' abilities to carry out certain tasks? In
this article, we address the question of how to find and evaluate coalitions
among agents in multiagent systems using MCS tools, while taking into
consideration the uncertainty around the agents' actions. Our methodology is
the following: We first compute the solution space for the formation of
coalitions using a contextual reasoning approach. Second, we model agents as
contexts in Multi-Context Systems (MCS), and dependence relations among agents
seeking to achieve their goals, as bridge rules. Third, we systematically
compute all potential coalitions using algorithms for MCS equilibria, and given
a set of functional and non-functional requirements, we propose ways to select
the best solutions. Finally, in order to handle the uncertainty in the agents'
actions, we extend our approach with features of possibilistic reasoning. We
illustrate our approach with an example from robotics
- …