UCL logo

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.

[img] Text
Pym_Intuitionistic layered graph logic_AAM.pdf - ["content_typename_Accepted version" not defined]
Access restricted to UCL open access staff until 21 January 2019.

Download (578kB)

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
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 > 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: http://discovery.ucl.ac.uk/id/eprint/10061770
Downloads since deposit
2Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item