14,246 research outputs found
Algebraic foundations for qualitative calculi and networks
A qualitative representation is like an ordinary representation of a
relation algebra, but instead of requiring , as
we do for ordinary representations, we only require that , for each in the algebra. A constraint
network is qualitatively satisfiable if its nodes can be mapped to elements of
a qualitative representation, preserving the constraints. If a constraint
network is satisfiable then it is clearly qualitatively satisfiable, but the
converse can fail. However, for a wide range of relation algebras including the
point algebra, the Allen Interval Algebra, RCC8 and many others, a network is
satisfiable if and only if it is qualitatively satisfiable.
Unlike ordinary composition, the weak composition arising from qualitative
representations need not be associative, so we can generalise by considering
network satisfaction problems over non-associative algebras. We prove that
computationally, qualitative representations have many advantages over ordinary
representations: whereas many finite relation algebras have only infinite
representations, every finite qualitatively representable algebra has a finite
qualitative representation; the representability problem for (the atom
structures of) finite non-associative algebras is NP-complete; the network
satisfaction problem over a finite qualitatively representable algebra is
always in NP; the validity of equations over qualitative representations is
co-NP-complete. On the other hand we prove that there is no finite
axiomatisation of the class of qualitatively representable algebras.Comment: 22 page
Temporal Data Modeling and Reasoning for Information Systems
Temporal knowledge representation and reasoning is a major research field in Artificial
Intelligence, in Database Systems, and in Web and Semantic Web research. The ability to
model and process time and calendar data is essential for many applications like appointment
scheduling, planning, Web services, temporal and active database systems, adaptive
Web applications, and mobile computing applications. This article aims at three complementary
goals. First, to provide with a general background in temporal data modeling
and reasoning approaches. Second, to serve as an orientation guide for further specific
reading. Third, to point to new application fields and research perspectives on temporal
knowledge representation and reasoning in the Web and Semantic Web
Dirichlet to Neumann Maps for Infinite Quantum Graphs
The Dirichlet problem and Dirichlet to Neumann map are analyzed for elliptic
equations on a large collection of infinite quantum graphs. For a dense set of
continuous functions on the graph boundary, the Dirichlet to Neumann map has
values in the Radon measures on the graph boundary
Duality and interval analysis over idempotent semirings
In this paper semirings with an idempotent addition are considered. These
algebraic structures are endowed with a partial order. This allows to consider
residuated maps to solve systems of inequalities . The
purpose of this paper is to consider a dual product, denoted , and the
dual residuation of matrices, in order to solve the following inequality . Sufficient conditions ensuring the
existence of a non-linear projector in the solution set are proposed. The
results are extended to semirings of intervals
- ā¦