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 条
  • [31] Tanagra: Reactive Planning and Constraint Solving for Mixed-Initiative Level Design
    Smith, Gillian
    Whitehead, Jim
    Mateas, Michael
    IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES, 2011, 3 (03) : 201 - 215
  • [32] A synthesis of constraint satisfaction and constraint solving
    Maher, MJ
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 525 - 539
  • [33] Constraint solving with constraint handling rules
    Frühwirth, T
    INTENSIONAL PROGRAMMING II: BASED ON THE PAPERS AT ISLIP'99, 2000, : 14 - 30
  • [34] Constraint solving on terms
    Comon, H
    Kirchner, C
    CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 47 - 103
  • [35] Distributed constraint solving
    不详
    AGENT-ORIENTED PROGRAMMING, 1999, 1630 : 213 - 246
  • [36] Constraint solving for interpolation
    Rybalchenko, Andrey
    Sofronie-Stokkermans, Viorica
    JOURNAL OF SYMBOLIC COMPUTATION, 2010, 45 (11) : 1212 - 1233
  • [37] Constraint solving for interpolation
    Rybalchenko, Andrey
    Sofronie-Stokkermans, Viorica
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2007, 4349 : 346 - +
  • [38] Combining constraint solving
    Baader, F
    Schulz, KU
    CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 104 - 158
  • [39] Integrating environmental, evolutionary, and socioeconomic vulnerability to future-proof coastal conservation planning
    Nielsen, Erica S.
    Beger, Maria
    Henriques, Romina
    von der Heyden, Sophie
    BIOLOGICAL CONSERVATION, 2023, 286
  • [40] An efficient constraint method for solving planning problems under end-effector constraints
    Wang, Yahao
    Li, Zhen
    Li, Yanghong
    Dong, Erbao
    INDUSTRIAL ROBOT-THE INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH AND APPLICATION, 2024, 51 (03): : 413 - 423
12345