Results 1 
5 of
5
Introducing Ontological CPNets
"... Abstract. Preference representation and reasoning is a key issue in many realworld 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 CPnets. Their clear ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
Abstract. Preference representation and reasoning is a key issue in many realworld 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 CPnets. Their clear graphical structure unifies an easy representation of user desires with nice computational properties when computing the best outcome. Here, we introduce ontological CPnets, which allow the representation of preferences using a CPnet 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 spatial 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 spatial 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 relations (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 morphology 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 logics 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 description logics with fuzzy concrete domains. Two important issues are addressed in this paper: the modeling of the bipolarity of spatial relations at the terminological level and the integration of bipolar notions 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 nonstandard problems and the computation that solve them are very different from each other. We propose to unify the definitions of nonstandard services as special Secondorde ..."
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 nonstandard problems and the computation that solve them are very different from each other. We propose to unify the definitions of nonstandard services as special Secondorder sentences in DLs; when the solution concepts are optimal with respect to some preferences, a fixpoint replaces the Secondorder quantification. Moreover, we propose to combine the wellknown 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 nontrivial cases. 1
MultiAttribute 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