A Calculus of Partially Ordered Preferences for Compositional Modelling and Configuration

Preference elicitation to support solving synthesis problems in certain domains (e.g. automated ecological model construction) is inhibited by a severe lack of knowledge about the criteria that motivate decision making. Yet, even in these domains, humans are able to provide some partial ordering of their preferences, based on past experience and personal opinion. Working towards an e cient representation and reasoning mechanism with such partial preference information, this paper introduces a qualitative calculus of partially ordered preferences that is rooted in order of magnitude reasoning. It then integrates this calculus in a dynamic constraint satisfaction problem. A solution algorithm for the resulting dynamic preference constraint satisfaction problem is also presented. To demonstrate the ideas, the proposed techniques are applied to sample compositional modelling and configuration tasks.

[1]  Jeroen Keppens,et al.  Centre for Intelligent Systems and Their Applications on Compositional Modelling on Compositional Modelling on Compositional Modelling* , 2022 .

[2]  Olivier Raiman,et al.  Order of Magnitude Reasoning , 1986, Artif. Intell..

[3]  Salem Benferhat,et al.  Qualitative choice logic , 2004, Artif. Intell..

[4]  Thomas Schiex,et al.  Valued Constraint Satisfaction Problems: Hard and Easy Problems , 1995, IJCAI.

[5]  Jon Doyle,et al.  Background to Qualitative Decision Theory , 1999, AI Mag..

[6]  Edward P. K. Tsang,et al.  Applying Genetic Algorithms to Constraint Satisfaction Optimization Problems , 1990, ECAI.

[7]  Brian Falkenhainer,et al.  Dynamic Constraint Satisfaction Problems , 1990, AAAI.

[8]  William P. Birmingham,et al.  Automating the design of computer systems , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[9]  Sanjay Mittal,et al.  Towards a Generic Model of Configuraton Tasks , 1989, IJCAI.

[10]  Peter Haddawy,et al.  Problem-Focused Incremental Elicitation of Multi-Attribute Utility Models , 1997, UAI.

[11]  Torsten Schaub,et al.  Expressing preferences in default logic , 2000, Artif. Intell..

[12]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[13]  Jeroen Keppens,et al.  Towards Compositional Modelling of Ecological Systems via Dynamic Flexible Constraint Satisfaction , 2000 .

[14]  Alon Y. Halevy,et al.  Automated Model Selection for Simulation Based on Relevance Reasoning , 1997, Artif. Intell..

[15]  Craig Boutilier,et al.  A Constraint-Based Approach to Preference Elicitation and Decision Making , 1997 .

[16]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[17]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[18]  A. Tversky,et al.  Anomalies: Preference Reversals , 1990 .

[19]  Leo Joskowicz,et al.  Efficient Compositional Modeling for Generating Causal Explanations , 1996, Artif. Intell..