Distributed Autoepistemic Logic and its Application to Access Control

Van Hertum, Pieter; Cramer, Marcos; Bogaerts, Bart; Denecker, Marc

Distributed Autoepistemic Logic and its Application to Access Control

Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker

Download BibTeX Cite

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 1286-1291.

Abstract

In this paper we define and study an extension of autoepistemic logic (AEL) called distributed autoepistemic logic (dAEL) with multiple agents that have full introspection in their own knowledge as well as in that of others. This mutual full introspection between agents is motivated by an application of dAEL in access control. We define 2- and 3-valued semantic operators for dAEL. Using these operators, approximation fixpoint theory, an abstract algebraic framework that unifies different knowledge representation formalisms, immediately yields us a family of semantics for dAEL, each based on different intuitions that are well-studied in the context of AEL. The application in access control also motivates an extension of dAEL with inductive definitions (dAEL(ID)). We explain a use-case from access control to demonstrate how dAEL(ID) can be fruitfully applied to this domain and discuss how well-suited the different semantics are for the application in access control.

Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, and Marc Denecker. 2016. Distributed Autoepistemic Logic and its Application to Access Control. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16. IJCAI, 1286–1291. https://ijcai.org/proceedings/2016/186

@inproceedings{ijcai2016p186,
  title     = {Distributed Autoepistemic Logic and its Application to Access Control},
  author    = {Van Hertum, Pieter and Cramer, Marcos and Bogaerts, Bart and Denecker, Marc},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-16}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Subbarao Kambhampati},
  pages     = {1286--1291},
  year      = {2016},
  month     = {7},
  url       = {https://ijcai.org/proceedings/2016/186},
}

TY  - CPAPER
TI  - Distributed Autoepistemic Logic and its Application to Access Control
AU  - Van Hertum, Pieter
AU  - Cramer, Marcos
AU  - Bogaerts, Bart
AU  - Denecker, Marc
T2  - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2016
SP  - 1286
EP  - 1291
UR  - https://ijcai.org/proceedings/2016/186
ER  -