Results 1 -
5 of
5
Introducing Ontological CP-Nets
"... Abstract. Preference representation and reasoning is a key issue in many real-world scenarios. Currently, there are many approaches allowing preferences to be assessed in a qualitative or quantitative way. The most prominent qualitative approach for representing preferences are CP-nets. Their clear ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
(Show Context)
Abstract. Preference representation and reasoning is a key issue in many real-world scenarios. Currently, there are many approaches allowing preferences to be assessed in a qualitative or quantitative way. The most prominent qualitative approach for representing preferences are CP-nets. Their clear graphical structure unifies an easy representation of user desires with nice computational properties when computing the best outcome. Here, we introduce ontological CP-nets, which allow the representation of preferences using a CP-net over an ontological domain, i.e., variable values are logical formulas constrained relative to a background domain ontology. 1
Integrating bipolar fuzzy mathematical morphology in description logics for spatial reasoning
- In European Conference on Artificial Intelligence ECAI 2010
, 2010
"... Abstract. Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spa-tial positioning or in pairs of opposite spatial relations such as left and right. Another important feature is imprecision which has to be taken into account to m ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
(Show Context)
Abstract. Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spa-tial positioning or in pairs of opposite spatial relations such as left and right. Another important feature is imprecision which has to be taken into account to model vagueness, inherent to many spatial re-lations (as for instance vague expressions such as close to, to the right of), and to gain in robustness in the representations. In previous works, we have shown that fuzzy sets and fuzzy mathematical mor-phology are appropriate frameworks, on the one hand, to represent bipolarity and imprecision of spatial relations and, on the other hand, to combine qualitative and quantitative reasoning in description log-ics extended with fuzzy concrete domains. The purpose of this paper is to integrate the bipolarity feature in the latter logical framework based on bipolar and fuzzy mathematical morphology and descrip-tion logics with fuzzy concrete domains. Two important issues are addressed in this paper: the modeling of the bipolarity of spatial re-lations at the terminological level and the integration of bipolar no-tions in fuzzy description logics. At last, we illustrate the potential of the proposed formalism for spatial reasoning on a simple example in brain imaging. 1
Difference, a Concept Unifier, or an Interpolant Concept, to name
"... a few. Although some reasoning services have been unified already (e.g., LCS and Most Specific Concept), the definition of non-standard problems and the computation that solve them are very different from each other. We propose to unify the definitions of non-standard services as special Second-orde ..."
Abstract
- Add to MetaCart
(Show Context)
a few. Although some reasoning services have been unified already (e.g., LCS and Most Specific Concept), the definition of non-standard problems and the computation that solve them are very different from each other. We propose to unify the definitions of non-standard services as special Second-order sentences in DLs; when the solution concepts are optimal with respect to some preferences, a fixpoint replaces the Second-order quantification. Moreover, we propose to combine the well-known Tableaux calculi for DLs with rules that compute substitutions of Concept Variables. We prove soundness and completeness of the combined calculus and we give a sufficient condition for termination, which covers some non-trivial cases. 1
Multi-Attribute Decision Making using Weighted Description Logics
"... Abstract. We introduce a framework based on Description Logics, which can be used to encode and solve decision problems in terms of combining inference services in DL and utility theory to represent preferences of the agent. The novelty of the approach is that we consider ABoxes as alternatives and ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. We introduce a framework based on Description Logics, which can be used to encode and solve decision problems in terms of combining inference services in DL and utility theory to represent preferences of the agent. The novelty of the approach is that we consider ABoxes as alternatives and weighted concept and role assertions as preferences in terms of possible outcomes. We discuss a relevant use case to show the benefits of the approach from the decision theory point of view. 1
Compactly Representing Utility Functions Using Weighted Goals and the Max AggregatorI
"... Title Compactly representing utility functions using weighted goals and the max aggregator ..."
Abstract
- Add to MetaCart
(Show Context)
Title Compactly representing utility functions using weighted goals and the max aggregator
