137 research outputs found
Interactive Optimization With Weighted Hypervolume Based EMO Algorithms: Preliminary Experiments
The objective functions in multiobjective optimization problems are often non-linear, noisy, or not available in a closed form and evolutionary multiobjective optimization (EMO) algorithms have been shown to be well applicable in this case. Nowadays, for example within the scope of sustainable development, many objectives are taken into account: besides classical objectives such as cost and profit, some new objectives like energy consumption, noise levels or risks have to be considered. With more and more objectives, the number of incomparable alternatives typically increases and the complexity of these problems does not make it easy for a decision maker to formalize preferences towards a specific solution or not even towards a specific but small enough portion of the search space. Moreover, also the algorithms themselves have difficulties to find a good approximation of the entire Pareto front if the number of incomparable solutions increases and the Pareto dominance relation does not indicate a good search direction anymore. In this case, combining the decision making with the search algorithm to an interactive optimization algorithm is considered as a valuable approach. While better and better solutions are found by the optimization algorithm, the DM can specify the preferences more and more precisely while learning about the problem and the objectives' inherent tradeoffs. Such an interactive approach should profit from evaluating solutions only within the interesting regions of the search space in terms of a faster convergence towards the DM's preferred solutions. In the field of EMO, interactive optimization has only been considered recently and in comparison to the vast amount of general EMO algorithms, significantly less interactive EMO algorithms exist. Although, for example, optimization algorithms based on the weighted hypervolume indicator allow to incorporate various preference types into the search, no effort has been made to use this concept within an interactive algorithm. In this report, we propose and discuss how to combine interactive decision making and weighted hypervolume based search algorithms. We focus on a basic model where the DM is asked to pick the most desirable solution among a set. Several examples on standard test problems show the working principles and the usefulness of the interactive approach, in particular with respect to the proximity of the algorithm's population to the DM's most preferred solution.Les fonctions objectif en optimisation multi-objectif sont souvent non-linĂ©aires, bruitĂ©es ou non-disponibles et l'optimisation multi-objectif Ă©volutionnaire est applicable dans ce cas. De nos jours, par exemple dans le dĂ©veloppement durable, plusieurs objectifs peuvent ĂȘtre pris en compte : en plus des objectifs "classiques" comme le coĂ»t et le profit, de "nouveaux" objectifs comme consommation d'Ă©nergie, niveaux de bruits ou de risque sont considĂ©rĂ©s. Avec de plus en plus d'objectifs Ă prendre en compte, le nombre d'alternatives incomparables croit exponentiellement et la complexitĂ© de ces problĂšmes ne permet pas aux dĂ©cideurs de formaliser ses prĂ©fĂ©rences afin de calculer une solution spĂ©cifique ou mĂȘme restreindre la recherche Ă un petit ensemble d'alternatives. De plus, les algorithmes ont des difficultĂ©s Ă trouver une bonne approximation de la rĂ©gion Pareto si le nombre d'alternatives incomparables est grand et la relation de dominance de Pareto ne permet plus une bonne direction de la recherche. Dans ce cas, combiner les algorithmes de recherche et la prise de dĂ©cision en un algorithme d'optimisation interactif est considĂ©rĂ©e comme une approche alternative. Pendant que de meilleures solutions sont trouvĂ©es par l'algorithme d'optimisation, le dĂ©cideur peut spĂ©cifier ses prĂ©fĂ©rences de maniĂšre de plus en plus spĂ©cifique en apprenant le problĂšme et le compromis entre les objectifs. Une telle approche interactive devrait bĂ©nĂ©ficier de l'Ă©valuation des solutions seulement dans des rĂ©gions intĂ©ressantes de l'espace de recherche en terme d'une convergence plus rapide vers les solutions prĂ©fĂ©rĂ©es pour le dĂ©cideur. Dans le domaine de l'optimisation multi-objectif Ă©volutionnaire, l'optimisation interactive a Ă©tĂ© seulement considĂ©rĂ©e rĂ©cemment et en comparaison au grand nombre algorithmes d'optimisation multi-objectif Ă©volutionnaire, peu d'algorithmes d'optimisation multi-objectif Ă©volutionnaire interactifs existent. Bien que, par exemple, des algorithmes d'optimisation basĂ©s sur l'indicateur d'hyper-volume pondĂ©rĂ© permettent d'inclure plusieurs types de prĂ©fĂ©rences dans la recherche, aucun effort n'a Ă©tĂ© fourni pour utiliser ce concept dans les algorithmes interactifs. Dans ce rapport, nous proposons et discutons comment combiner la prise de dĂ©cision interactive et les algorithmes de recherche basĂ©s sur l'hyper-volume pondĂ©rĂ©. Nous considĂ©rons le modĂšle basique oĂč le dĂ©cideur est appelĂ© Ă choisir les solutions qu'il prĂ©fĂšre dans un ensemble de solutions. Plusieurs exemples de problĂšmes de tests standards montrent les principes et l'intĂ©rĂȘt de l'approche interactive, en particulier par rapport Ă la proximitĂ© de la population de l'algorithme aux solutions prĂ©fĂ©rĂ©es du dĂ©cideur
Abduction and Dialogical Proof in Argumentation and Logic Programming
We develop a model of abduction in abstract argumentation, where changes to
an argumentation framework act as hypotheses to explain the support of an
observation. We present dialogical proof theories for the main decision
problems (i.e., finding hypothe- ses that explain skeptical/credulous support)
and we show that our model can be instantiated on the basis of abductive logic
programs.Comment: Appears in the Proceedings of the 15th International Workshop on
Non-Monotonic Reasoning (NMR 2014
Compilation de requĂȘtes Ă prĂ©fĂ©rences en problĂšmes de contraintes qualitatives
International audienceLes prĂ©fĂ©rences comparatives sont les ingrĂ©dients de base des logiques conditionnelles pour la reprĂ©sentation compacte de prĂ©fĂ©rences dâutilisateurs. Ces prĂ©fĂ©rences peuvent ĂȘtre strictes ou non et obĂ©ir Ă diffĂ©rentes sĂ©mantiques. Dans la littĂ©rature, des algorithmes ont Ă©tĂ© dĂ©veloppĂ©s afin de calculer une relation de prĂ©fĂ©rence sur des alternatives Ă©tant donnĂ© un ensemble de prĂ©fĂ©rences et une ou plusieurs sĂ©mantiques. Ces algorithmes en utilisant des principes du raisonnement non monotone (plus particuliĂšrement, les principes de minimum et de maximum de spĂ©cifi- citĂ©) veillent Ă ce que les relations de prĂ©fĂ©rence soient des prĂ©ordres complets. Cependant, la limitation prin- cipale de ces logiques concernent les requĂȘtes de prĂ©fĂ©rences lorsque deux alternatives sont comparĂ©es. En effet, Ă©tant donnĂ© deux alternatives ayant la mĂȘme prĂ©fĂ©rence par rapport Ă la relation de prĂ©fĂ©rence, il nây a aucune indication permettant de savoir si cette Ă©galitĂ© rĂ©sulte dâune Ă©galitĂ© des deux prĂ©fĂ©rences ou dâune incomparabilitĂ© des deux alternatives qui a Ă©tĂ© rĂ©duite en une Ă©galitĂ© par les principes de spĂ©cificitĂ©. Dâautre part, les prĂ©fĂ©rences comparatives et les sĂ©mantiques associĂ©es peuvent ĂȘtre traduites en problĂšmes de satisfaction de contraintes qualitatives Ă partir desquels nous pouvons avoir un ordre prĂ©cis entre deux alternatives. Dans cet article, nous Ă©tudions cette passerelle et proposons une compilation des requĂȘtes de prĂ©fĂ©rences basĂ©es sur des logiques conditionnelles en problĂšmes de contraintes qualitatives
Fusion de réseaux de contraintes qualitatives par morceaux
International audienceNon disponibl
Une approche syntaxique pour le problÚme de la fusion de réseaux de contraintes qualitatives
National audienceDans cet article, nous nous intĂ©ressons au problĂšme de la fusion de rĂ©seaux de contraintes qualitatives (RCQ) reprĂ©sentant des croyances ou des prĂ©fĂ©rences locales sur les positions relatives d'entitĂ©s spatiales ou temporelles. Nous dĂ©finissons deux classes d'opĂ©rateurs de fusion d1 et d2 qui, Ă un ensemble de RCQ dĂ©finis sur le mĂȘme formalisme qualitatif et le mĂȘme ensemble d'entitĂ©s, associent un ensemble cohĂ©rent de configurations qualitatives reprĂ©sentant une vision globale de ces RCQ. Ces opĂ©rateurs sont paramĂ©trĂ©s par une distance entre relations du formalisme qualitatif considĂ©rĂ© et par des fonctions d'agrĂ©gation. Contrairement aux prĂ©cĂ©dents opĂ©rateurs proposĂ©es pour la fusion de RCQ, nous optons pour une approche syntaxique, oĂč chacune des contraintes des RCQ fournis a une influence sur le rĂ©sultat de la fusion. Nous Ă©tudions les propriĂ©tĂ©s logiques des opĂ©rateurs de fusion dĂ©finis et montrons leur Ă©quivalence sous certaines restrictions. Nous montrons que le rĂ©sultat fourni par l'opĂ©rateur d2 correspond Ă l'ensemble des solutions optimales d'un RCQ pondĂ©rĂ© particulier. Afin de calculer ces solutions, un algorithme basĂ© sur la mĂ©thode de fermeture par faible composition Ă©tendu au cas des RCQ pondĂ©rĂ©s est proposĂ©
Preference-based argumentation: Arguments supporting multiple values
In preference-based argumentation theory, an argument may be preferred to another one when, for example, it is more specific, its beliefs have a higher probability or certainty, or it promotes a higher value. In this paper we generalize Bench-Caponâs value-based argumentation theory such that arguments can promote multiple values, and preferences among values or arguments can be specified in various ways. We assume in addition that there is default knowledge about the preferences over the arguments, and we use an algorithm to derive the most likely preference order. In particular, we show how to use non-monotonic preference reasoning to compute preferences among arguments, and subsequently the acceptable arguments, from preferences among values. We show also how the preference ordering can be used to optimize the algorithm to construct the grounded extension by proceeding from most to least preferred arguments
Preference in Abstract Argumentation
Consider an argument A that is attacked by an argument B, while A is preferred to B. Existing approaches will either ignore the attack or reverse it. In this paper we introduce a new reduction of preference and attack to defeat, based on the idea that in such a case, instead of ignoring the attack, the preference is ignored. We compare this new reduction with the two existing ones using a principle-based approach, for the four Dung semantics. The principle-based or axiomatic approach is a methodology to choose an argumentation semantics for a particular application, and to guide the search for new argumentation semantics. For this analysis, we also introduce a fourth reduction, and a semantics for preference-based argumentation based on extension selection. Our classification of twenty alternatives for preference-based abstract argumentation semantics using six principles suggests that our new reduction has some advantages over the existing ones, in the sense that if the set of preferences increases, the sets of accepted arguments increase as well
- âŠ