Constraint diagram reasoning

被引:0
|
作者
Meyer, B [1 ]
机构
[1] Monash Univ, Sch Comp Sci & Software Engn, Clayton, Vic 3168, Australia
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Diagrammatic human-computer interfaces are now becoming standard. In the near future, diagrammatic front-ends, such as those of UML-based CASE tools, will be required to offer a much more intelligent behavior than just editing. Yet there is very little formal support and there are almost no tools available for the construction of such environments. The present paper introduces a constraint-based formalism for the specification and implementation of complex diagrammatic environments. We start from grammar-based definitions of diagrammatic languages and show how a constraint solver for diagram recognition and interpretation can automatically be constructed from such grammars. In a second step, the capabilities of these solvers are extended by allowing to axiomatise formal diagrammatic systems, such as Venn Diagrams, so that they can be regarded as a new constraint domain. The ultimate aim of this schema is to establish a language of type CLP(Diagram) for diagrammatic reasoning applications.
引用
收藏
页码:316 / 330
页数:15
相关论文
共 50 条
  • [1] A decidable constraint diagram reasoning system
    Stapleton, G
    Howse, J
    Taylor, J
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (06) : 975 - 1008
  • [2] CONSTRAINT REASONING IN FOCALTEST
    Carlier, Matthieu
    Dubois, Catherine
    Gotlieb, Arnaud
    [J]. ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2010, : 82 - 91
  • [3] Streamlined constraint reasoning
    Comes, C
    Sellmann, M
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2004, PROCEEDINGS, 2004, 3258 : 274 - 289
  • [4] Probabilistic constraint reasoning
    Elsa Carvalho
    [J]. Constraints, 2015, 20 (4) : 509 - 510
  • [5] Type processing by constraint reasoning
    Stuckey, Peter J.
    Sulzmann, Martin
    Wazny, Jeremy
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4279 : 1 - +
  • [6] DEFAULT REASONING IN CONSTRAINT NETWORK
    LIAO, LJ
    SHI, ZZ
    [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 57 - 64
  • [7] Constraint reasoning over strings
    Golden, K
    Pang, WL
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 377 - 391
  • [8] CONSTRAINT-BASED REASONING
    KASIF, S
    [J]. IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1991, 6 (06): : 55 - 55
  • [9] Neutrality as a Constraint on Political Reasoning
    Grill, Kalle
    [J]. ETHICAL PERSPECTIVES, 2012, 19 (03) : 547 - 557
  • [10] Reasoning about Constraint Models
    Bessiere, Christian
    Hebrard, Emmanuel
    Katsirelos, George
    Kiziltan, Zeynep
    Narodytska, Nina
    Walsh, Toby
    [J]. PRICAI 2014: TRENDS IN ARTIFICIAL INTELLIGENCE, 2014, 8862 : 795 - 808