Integrating constraint solving into proof planning

被引：0
|
作者：
Melis, E [1 ]
Zimmer, J
Müller, T
机构：
[1] Univ Saarland, Fachbereich Informat, D-66041 Saarbrucken, Germany
[2] Univ Saarland, Programming Syst Lab, D-66041 Saarbrucken, Germany
来源：
FRONTIERS OF COMBINING SYSTEMS | 2000年 / 1794卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In proof planning mathematical objects with theory-specific properties have to be constructed. More often than not, mere unification offers little support for this task. However, the integration of constraint solvers into proof planning can sometimes help solving this problem. We present such an integration and discover certain requirements to be met in order to integrate the constraint solver's efficient activities in a way that is correct and sufficient for proof planning. We explain how the requirements can be met by n extension of the constraint solving technology and describe their implementation in the constraint solver CoSIE.
引用
收藏
页码：32 / 46
页数：15
相关论文
共 50 条
  • [21] LP-TPOP: Integrating planning and scheduling through constraint programming
    Liu, Yuechang
    Jiang, Yunfei
    PRICAI 2006: TRENDS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4099 : 844 - 848
  • [22] Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation
    Booth, Kyle E. C.
    Minh Do
    Beck, J. Christopher
    Rieffel, Eleanor
    Venturelli, Davide
    Frank, Jeremy
    TWENTY-EIGHTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING (ICAPS 2018), 2018, : 366 - 374
  • [23] Constraint-based problem solving in CAD/CAM process planning
    Arai, N
    Takata, O
    Watanabe, T
    VSMM 2000: 6TH INTERNATIONAL CONFERENCE ON VIRTUAL SYSTEMS AND MULTIMEDIA, 2000, : 210 - 218
  • [24] My First Look At Picat as a Modeling Language for Constraint Solving and Planning
    Kjellerstrand, Hakan
    26TH CHINESE CONTROL AND DECISION CONFERENCE (2014 CCDC), 2014, : 351 - 358
  • [25] Constraint Partitioning for Solving Planning Problems with Trajectory Constraints and Goal Preferences
    Hsu, Chih-Wei
    Wah, Benjamin W.
    Huang, Ruoyun
    Chen, Yixin
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 1924 - 1929
  • [26] A constraint-based method for solving sequential manipulation planning problems
    Lozano-Perez, Tomas
    Kaelbling, Leslie Pack
    2014 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2014), 2014, : 3684 - 3691
  • [27] Intelligent orchestration of planning processes: Application of logic-based constraint solving in factory planning
    Graefenstein, Julian
    Scholz, David
    Henke, Michael
    Winkels, Jan
    Rehof, Jakob
    ZWF Zeitschrift fuer Wirtschaftlichen Fabrikbetrieb, 2017, 112 (04): : 209 - 214
  • [28] Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems
    Aggoun, Abder
    Beldiceanu, Nicolas
    Carlsson, Mats
    Fages, Francois
    ERCIM NEWS, 2010, (81): : 34 - 36
  • [29] Deep Attentive Belief Propagation: Integrating Reasoning and Learning for Solving Constraint Optimization Problems
    Deng, Yanchen
    Kong, Shufeng
    Liu, Caihua
    An, Bo
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 35 (NEURIPS 2022), 2022,
  • [30] A Conflict-Driven Interface Between Symbolic Planning and Nonlinear Constraint Solving
    Ortiz-Haro, Joaquim
    Karpas, Erez
    Katz, Michael
    Toussaint, Marc
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2022, 7 (04) : 10518 - 10525
12345