Human-Centric Computing Languages and Environments, IEEE CS International Symposium on (2001)
Sept. 5, 2001 to Sept. 7, 2001
Paolo Bottoni , Universita? La Sapienza di Roma
Bernd Meyer , Monash University, Australia
Francesco Parisi-Presicce , Universita? La Sapienza di Roma
We present a formalization of diagrammatic systems and transformations in a linear logic framework. We start by showing how to embed Constraint Multiset Grammars, a well-known method for the specification of diagram languages, into a fragment of linear logic in a provably sound and complete way. We then show how this same fragment can express several forms of visual transformations that are commonly used in reasoning with diagrams. By using formal logic as the basis of our framework we gain the significant advantage of an integrated treatment of syntactic and semantic features of diagram languages. Furthermore, since the logic fragment we are using is implemented in linear logic programming languages, the proposed framework is not only formally well-defined, but also allows the verification of the specification via direct execution.
F. Parisi-Presicce, B. Meyer and P. Bottoni, "On a Uniform Logical Framework for Diagrammatic Reasoning," Human-Centric Computing Languages and Environments, IEEE CS International Symposium on(HCC), Stresa, Italy, 2001, pp. 64.