UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Intuitionistic layered graph logic

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. Green open access

[img]
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
Downloads since deposit
20Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item