UCL  IRIS
Institutional Research Information Service
UCL Logo
Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to your Research Finance Administrator. Your can find your Research Finance Administrator at https://www.ucl.ac.uk/finance/research/rs-contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:

Email: portico-services@ucl.ac.uk

Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Publication Detail
Intuitionistic layered graph logic
  • Publication Type:
    Conference
  • Authors:
    Docherty S, Pym D
  • Publisher:
    International Joint Conferences on Artificial Intelligence
  • Publication date:
    25/08/2017
  • Pagination:
    4816, 4820
  • Published proceedings:
    Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
  • Editors:
    Sierra C
  • ISBN-13:
    978-0-9992411-0-3
  • Status:
    Published
  • Name of conference:
    Twenty-Sixth International Joint Conference on Artificial Intelligence
  • Conference place:
    Melbourne, Australia
  • Conference start date:
    19/08/2017
  • Conference finish date:
    25/08/2017
  • Print ISSN:
    1045-0823
  • Language:
    English
  • Keywords:
    Artificial Intelligence: knowledge representation and reasoning, Artificial Intelligence: other
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.
Publication data is maintained in RPS. Visit https://rps.ucl.ac.uk
 More search options
UCL Researchers
Author
Dept of Computer Science
University College London - Gower Street - London - WC1E 6BT Tel:+44 (0)20 7679 2000

© UCL 1999–2011

Search by