26,128 research outputs found
Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries
A prominent approach to implementing ontology-mediated queries (OMQs) is to
rewrite into a first-order query, which is then executed using a conventional
SQL database system. We consider the case where the ontology is formulated in
the description logic EL and the actual query is a conjunctive query and show
that rewritings of such OMQs can be efficiently computed in practice, in a
sound and complete way. Our approach combines a reduction with a decomposed
backwards chaining algorithm for OMQs that are based on the simpler atomic
queries, also illuminating the relationship between first-order rewritings of
OMQs based on conjunctive and on atomic queries. Experiments with real-world
ontologies show promising results
Restructuring and simplifying rule bases.
Rule bases are commonly acquired, by expert and/or knowledge engineer, in a form which is well suited for acquisition purposes. When the knowledge base is executed, however, a different structure may be required. Moreover, since human experts normally do not provide the knowledge in compact chunks, rule bases often suffer from redundancy. This may considerably harm efficiency. In this paper a procedure is examined to transform rules that are specified in the knowledge acquisition process into an efficient rule base by way of decision tables. This transformation algorithms allows the generation of a minimal rule representation of the knowledge, and verification and optimization of rule bases and other specification (e.g. legal texts, procedural descriptions, ...). The proposed procedures are fully supported by the PROLOGA tool.
Non-Zero Sum Games for Reactive Synthesis
In this invited contribution, we summarize new solution concepts useful for
the synthesis of reactive systems that we have introduced in several recent
publications. These solution concepts are developed in the context of non-zero
sum games played on graphs. They are part of the contributions obtained in the
inVEST project funded by the European Research Council.Comment: LATA'16 invited pape
On Bisimulations for Description Logics
We study bisimulations for useful description logics. The simplest among the
considered logics is (a variant of PDL). The others
extend that logic with inverse roles, nominals, quantified number restrictions,
the universal role, and/or the concept constructor for expressing the local
reflexivity of a role. They also allow role axioms. We give results about
invariance of concepts, TBoxes and ABoxes, preservation of RBoxes and knowledge
bases, and the Hennessy-Milner property w.r.t. bisimulations in the considered
description logics. Using the invariance results we compare the expressiveness
of the considered description logics w.r.t. concepts, TBoxes and ABoxes. Our
results about separating the expressiveness of description logics are naturally
extended to the case when instead of we have any sublogic
of that extends . We also provide results
on the largest auto-bisimulations and quotient interpretations w.r.t. such
equivalence relations. Such results are useful for minimizing interpretations
and concept learning in description logics. To deal with minimizing
interpretations for the case when the considered logic allows quantified number
restrictions and/or the constructor for the local reflexivity of a role, we
introduce a new notion called QS-interpretation, which is needed for obtaining
expected results. By adapting Hopcroft's automaton minimization algorithm and
the Paige-Tarjan algorithm, we give efficient algorithms for computing the
partition corresponding to the largest auto-bisimulation of a finite
interpretation.Comment: 42 page
New methods for the estimation of Takagi-Sugeno model based extended Kalman filter and its applications to optimal control for nonlinear systems
This paper describes new approaches to improve the local and global approximation (matching) and modeling capability of Takagi–Sugeno (T-S) fuzzy model. The main aim is obtaining high function approximation accuracy and fast convergence. The main problem encountered is that T-S identification method cannot be applied when the membership functions are overlapped by pairs. This restricts the application of the T-S method because this type of membership function has been widely used during the last 2 decades in the stability, controller design of fuzzy systems and is popular in industrial control applications. The approach developed here can be considered as a generalized version of T-S identification method with optimized performance in approximating nonlinear functions. We propose a noniterative method through weighting of parameters approach and an iterative algorithm by applying the extended Kalman filter, based on the same idea of parameters’ weighting. We show that the Kalman filter is an effective tool in the identification of T-S fuzzy model. A fuzzy controller based linear quadratic regulator is proposed in order to show the effectiveness of the estimation method developed here in control applications. An illustrative example of an inverted pendulum is chosen to evaluate the robustness and remarkable performance of the proposed method locally and globally in comparison with the original T-S model. Simulation results indicate the potential, simplicity, and generality of the algorithm. An illustrative example is chosen to evaluate the robustness. In this paper, we prove that these algorithms converge very fast, thereby making them very practical to use
Urban and extra-urban hybrid vehicles: a technological review
Pollution derived from transportation systems is a worldwide, timelier issue than ever. The abatement actions of harmful substances in the air are on the agenda and they are necessary today to safeguard our welfare and that of the planet. Environmental pollution in large cities is approximately 20% due to the transportation system. In addition, private traffic contributes greatly to city pollution. Further, “vehicle operating life” is most often exceeded and vehicle emissions do not comply with European antipollution standards. It becomes mandatory to find a solution that respects the environment and, realize an appropriate transportation service to the customers. New technologies related to hybrid –electric engines are making great strides in reducing emissions, and the funds allocated by public authorities should be addressed. In addition, the use
(implementation) of new technologies is also convenient from an economic point of view. In fact, by implementing the use of hybrid vehicles, fuel consumption can be reduced. The different hybrid configurations presented refer to such a series architecture, developed by the researchers and Research and Development groups. Regarding energy flows, different strategy logic or vehicle management units have been illustrated. Various configurations and vehicles were studied by simulating different driving cycles, both European approval and homologation and customer ones (typically municipal and university). The simulations have provided guidance on the optimal proposed configuration and information on the component to be used
An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting
Abstract This paper presents an abstract tableau calculus for the description logic SHOI. SHOI is the extension of ALC with singleton concepts, role inverse, transitive roles and role inclusion axioms. The presented tableau calculus is inspired by a recently introduced tableau synthesis framework. Termination is achieved by a variation of the unrestricted blocking mechanism that immediately rewrites terms with respect to the conjectured equalities. This approach leads to reduced search space for decision procedures based on the calculus. We also discuss restrictions of the application of the blocking rule by means of additional side conditions and/or additional premises.
Expert supervision of conventional control systems
The objective of this paper is to outline a general concept for the design of supervising fuzzy controllers to back up or monitor a conventzonal control system. The use of fuzzy logic in an external, hierarchacal control structure provides a systematic approach to integrate heuristics in a conventional control loop. Supervising techniques become especially interesting, when the system to be controlled is highly non-linear (parameter variation, saturation of the control surfaces etc.). By the means of two application examples it will be shown, how this method can effectively be used to improve the performance of a conventional control system. Both examples are part of an extended research project that is being carried out at Akrospatiale and E.N.S.I.C.A. in France to study the role of fuzzy control for potential applications in aircraft control systems
Complexity of Nested Circumscription and Nested Abnormality Theories
The need for a circumscriptive formalism that allows for simple yet elegant
modular problem representation has led Lifschitz (AIJ, 1995) to introduce
nested abnormality theories (NATs) as a tool for modular knowledge
representation, tailored for applying circumscription to minimize exceptional
circumstances. Abstracting from this particular objective, we propose L_{CIRC},
which is an extension of generic propositional circumscription by allowing
propositional combinations and nesting of circumscriptive theories. As shown,
NATs are naturally embedded into this language, and are in fact of equal
expressive capability. We then analyze the complexity of L_{CIRC} and NATs, and
in particular the effect of nesting. The latter is found to be a source of
complexity, which climbs the Polynomial Hierarchy as the nesting depth
increases and reaches PSPACE-completeness in the general case. We also identify
meaningful syntactic fragments of NATs which have lower complexity. In
particular, we show that the generalization of Horn circumscription in the NAT
framework remains CONP-complete, and that Horn NATs without fixed letters can
be efficiently transformed into an equivalent Horn CNF, which implies
polynomial solvability of principal reasoning tasks. Finally, we also study
extensions of NATs and briefly address the complexity in the first-order case.
Our results give insight into the ``cost'' of using L_{CIRC} (resp. NATs) as a
host language for expressing other formalisms such as action theories,
narratives, or spatial theories.Comment: A preliminary abstract of this paper appeared in Proc. Seventeenth
International Joint Conference on Artificial Intelligence (IJCAI-01), pages
169--174. Morgan Kaufmann, 200
Generic Encodings of Constructor Rewriting Systems
Rewriting is a formalism widely used in computer science and mathematical
logic. The classical formalism has been extended, in the context of functional
languages, with an order over the rules and, in the context of rewrite based
languages, with the negation over patterns. We propose in this paper a concise
and clear algorithm computing the difference over patterns which can be used to
define generic encodings of constructor term rewriting systems with negation
and order into classical term rewriting systems. As a direct consequence,
established methods used for term rewriting systems can be applied to analyze
properties of the extended systems. The approach can also be seen as a generic
compiler which targets any language providing basic pattern matching
primitives. The formalism provides also a new method for deciding if a set of
patterns subsumes a given pattern and thus, for checking the presence of
useless patterns or the completeness of a set of patterns.Comment: Added appendix with proofs and extended example
- …