TY - GEN
T1 - Formalization of visual mathematical notations
AU - Meyer, Bernd
N1 - Funding Information:
The author gratefully acknowledges discussions with Kim Marriott during a stay at Monash University in which manyi deas on diagram formalization were either born or substantially refined. During the time of writing the author was visiting the University of Colorado at Boulder supported by DFG Grant MEll/94.
Funding Information:
The author gratefully acknowledges discussions with Kim Marriott during a stay at Monash University in which manyideas on diagram formalization were either born or substantially refined. During the time of writing the author was visiting the University of Colorado at Boulder supported by DFGGrant MEll/94.
Publisher Copyright:
© 1997 AI Access Foundation. All rights reserved.
PY - 1997
Y1 - 1997
N2 - This paper discusses picture logic, a visual language for the specification of diagramsand diagramtrans formations. Formal specification techniques for diagrammaticor visual languages have previously mainly been targeted towards static diagrammatic languages. For reasoning about certain types of diagrams, however, formalizing a notion of change is inevitable. This is particularly true of visual mathematical notations who seevaluation rules or consequence relations correspond to visual or graphical transformations. The paper presents constraint-based extensions of picture logic whichrender it suitable for the specification of such diagramnotations and the required transformations.
AB - This paper discusses picture logic, a visual language for the specification of diagramsand diagramtrans formations. Formal specification techniques for diagrammaticor visual languages have previously mainly been targeted towards static diagrammatic languages. For reasoning about certain types of diagrams, however, formalizing a notion of change is inevitable. This is particularly true of visual mathematical notations who seevaluation rules or consequence relations correspond to visual or graphical transformations. The paper presents constraint-based extensions of picture logic whichrender it suitable for the specification of such diagramnotations and the required transformations.
UR - http://www.scopus.com/inward/record.url?scp=84957383844&partnerID=8YFLogxK
M3 - Conference Paper
AN - SCOPUS:84957383844
SP - 58
EP - 68
BT - AAAI Fall Symposium - Technical Report
PB - Association for the Advancement of Artificial Intelligence (AAAI)
T2 - 1997 AAAI Fall Symposium
Y2 - 8 November 1997 through 10 November 1997
ER -