Docherty, S;
Pym, D;
(2017)
Intuitionistic layered graph logic.
In: Sierra, C, (ed.)
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence.
(pp. pp. 4816-4820).
IJCAI: Marina del Rey (CA), USA.
Preview |
Text
Pym_Intuitionistic layered graph logic_AAM.pdf - Accepted Version Download (578kB) | Preview |
Abstract
Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature. We describe an intuitionistic substructural logic that gives an account of layering. As in other bunched systems, the logic includes the usual intuitionistic connectives, together with a non-commutative, non-associative conjunction (used to capture layering) and its associated implications. We give a soundness and completeness theorem for a labelled tableaux system with respect to a Kripke semantics on graphs. To demonstrate the utility of the logic, we show how to represent systems and security examples, illuminating the relationship between services/policies and the infrastructures/architectures to which they are applied.
| Type: | Proceedings paper |
|---|---|
| Title: | Intuitionistic layered graph logic |
| Event: | The Twenty-Sixth International Joint Conference on Artificial Intelligence |
| Location: | Melbourne, Australia |
| Dates: | 19th-25th April 2017 |
| ISBN-13: | 978-0-9992411-0-3 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.24963/ijcai.2017/673 |
| Publisher version: | https://doi.org/10.24963/ijcai.2017/673 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| Keywords: | Artificial Intelligence: knowledge representation and reasoning, Artificial Intelligence: other |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10061770 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
