A Proof System for Contact Relation Algebras |
| |
| Authors: | Düntsch Ivo Orłowska Ewa |
| |
| Institution: | (1) School of Information and Software Engineering, University of Ulster at Jordanstown, Newtownabbey, BT 37 0QB, N. Ireland;(2) Institute of Telecommunications, Szachowa 1, 04–894 Warszawa, Poland |
| |
| Abstract: | Contact relations have been studied in the context of qualitative geometry and physics since the early 1920s, and have recently received attention in qualitative spatial reasoning. In this paper, we present a sound and complete proof system in the style of Rasiowa and Sikorski (1963) for relation algebras generated by a contact relation. |
| |
| Keywords: | spatial reasoning mereology Rasiowa– Sikorski proof system |
| 本文献已被 SpringerLink 等数据库收录！ |
|
