Reasoning about ceteris paribus preference with constraint hierarchy framework

被引:0
|
作者
Zhang, YG [1 ]
Sun, JG [1 ]
机构
[1] Jilin Univ, Coll Comp Sci & Technol, Changchun 130012, Peoples R China
关键词
CP-networks; constraint hierarchy; constraint solving;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
CP-networks provides a convenient means for expressing preferences in reasoning, but it is not good at handling preferences with hard constraints. The paper proposes a new approach, which transforms the CP-network with hard constraints into one constraint hierarchy, therefore one could process preferences and constraints in a single formalism with fruitful constraint solving algorithms. Furthermore, illustrates it with some examples, proves that the transformation preserves the ceteris paribus property and presents some complexity results. Finally compares it with related work and concludes the paper.
引用
收藏
页码:2722 / 2726
页数:5
相关论文
共 50 条
  • [31] A general framework for reasoning about change
    Augusto, JC
    NEW GENERATION COMPUTING, 2003, 21 (03) : 209 - 246
  • [32] An analytical framework for reasoning about intrusions
    Upadhyaya, S
    Chinchani, R
    Kwiat, K
    20TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2001, : 99 - 108
  • [33] Reasoning about Solids Using Constraint Logic Programming
    Gilles Pesant
    Michel Boyer
    Journal of Automated Reasoning, 1999, 22 : 241 - 262
  • [34] A General Framework for Reasoning about Inconsistency
    Subrahmanian, V. S.
    Amgoud, Leila
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 599 - 604
  • [35] A FRAMEWORK FOR REASONING ABOUT TIME AND RELIABILITY
    HANSSON, H
    JONSSON, B
    REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1989, : 102 - 111
  • [36] Reasoning about agents in the KARO framework
    Hustadt, U
    Dixon, C
    Schmidt, RA
    Fisher, M
    Meyer, JJ
    van der Hoek, W
    EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 206 - 213
  • [37] A Framework for Reasoning About Uncertainty in Ontologies
    Jabbour, Said
    Ma, Yue
    Raddaoui, Badran
    IEEE INTELLIGENT SYSTEMS, 2022, 37 (06) : 27 - 37
  • [38] Certainty closure - A framework for reliable constraint reasoning with uncertainty
    Yorke-Smith, N
    Gervet, C
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 769 - 783
  • [39] A framework for dynamic constraint reasoning using procedural constraints
    Jónsson, AK
    Frank, JD
    ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 93 - 97
  • [40] A CONSTRAINT-BASED REASONING FRAMEWORK FOR BEHAVIORAL ANIMATION
    MAH, S
    CALVERT, TW
    HAVENS, W
    COMPUTER GRAPHICS FORUM, 1994, 13 (05) : 315 - 324