Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Distributed Autoepistemic Logic and its Application to Access Control
Van Hertum, Pieter; Cramer, Marcos; Bogaerts, Bart et al.
2016In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence
Peer reviewed
 

Files


Full Text
paper.pdf
Publisher postprint (248.89 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] 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.
Research center :
SnT
Disciplines :
Computer science
Author, co-author :
Van Hertum, Pieter
Cramer, Marcos ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Bogaerts, Bart
Denecker, Marc
External co-authors :
yes
Language :
English
Title :
Distributed Autoepistemic Logic and its Application to Access Control
Publication date :
2016
Event name :
International Joint Conference on Artificial Intelligence
Event place :
New York, United States - New York
Event date :
from 09-07-2016 to 15-07-2016
Audience :
International
Main work title :
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence
Pages :
1286-1292
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
FnR Project :
FNR4758104 - Specification Logics And Inference Tools For Verification And Enforcement Of Policies, 2011 (01/06/2012-30/04/2017) - Leon Van Der Torre
Name of the research project :
Specification logics and Inference tools for verification and Enforcement of Policies
Funders :
FNR - Fonds National de la Recherche [LU]
Available on ORBilu :
since 15 March 2017

Statistics


Number of views
60 (0 by Unilu)
Number of downloads
51 (0 by Unilu)

Scopus citations®
 
4
Scopus citations®
without self-citations
2

Bibliography


Similar publications



Contact ORBilu