Distributed Autoepistemic Logic and its Application to Access Control

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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu


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 wellstudied 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.
OtsikkoProceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016
KustantajaAAAI Press
ISBN (painettu)978-1-57735-770-4
TilaJulkaistu - 2016
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
TapahtumaInternational Joint Conference on Artificial Intelligence - New York Hilton Midtown, New York, Yhdysvallat
Kesto: 9 heinäk. 201615 heinäk. 2016
Konferenssinumero: 25


ConferenceInternational Joint Conference on Artificial Intelligence
KaupunkiNew York


Sukella tutkimusaiheisiin 'Distributed Autoepistemic Logic and its Application to Access Control'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä