Abstract
A key component of computational diagrammatic reasoning is the automated interpretation of diagram notations. One common and successful approach to this is based on attributed multiset grammars. The disadvantages of grammars are, however, that they do not allow ready integration of semantic information and that the underlying theory is not strongly developed. Therefore, embeddings of grammars into first-order logic have been investigated. Unfortunately, these are unsatisfactory: Either they are complex and unnatural or else, because of the monotonicity of classical first-order logic, cannot handle diagrammatic reasoning. We investigate the use of two non-standard logics, namely linear logic and situation theory, for the formalization of diagram interpretation and reasoning. The chief advantage of linear logic is that it is a resource-oriented logic, which renders the embedding of grammars straightforward. Situation theory, on the other hand, has been designed for capturing the semantics of natural language and offers powerful methods for modelling more complex aspects of language, such as incomplete views of the world. The paper illustrates embeddings of grammar-based interpretation into both formalisms and also discusses their integration.
Original language | English |
---|---|
Title of host publication | Theory and Application of Diagrams |
Subtitle of host publication | First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings |
Editors | Michael Anderson, Peter Cheng, Volker Haarslev |
Place of Publication | Berlin Germany |
Publisher | Springer |
Pages | 42-57 |
Number of pages | 16 |
ISBN (Print) | 3540679154 |
DOIs | |
Publication status | Published - 2000 |
Event | International Conference on the Theory and Application of Diagrams 2000 - Edinburgh, United Kingdom Duration: 1 Sep 2000 → 3 Sep 2000 Conference number: 1st https://link-springer-com.ezproxy.lib.monash.edu.au/book/10.1007/3-540-44590-0 (Proceedings) |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 1889 |
ISSN (Print) | 0302-9743 |
Conference
Conference | International Conference on the Theory and Application of Diagrams 2000 |
---|---|
Abbreviated title | Diagrams 2000 |
Country | United Kingdom |
City | Edinburgh |
Period | 1/09/00 → 3/09/00 |
Internet address |