Distributed Autoepistemic Logic and its Application to Access Control

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

Reference : Distributed Autoepistemic Logic and its Application to Access Control


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/30187

Title :	Distributed Autoepistemic Logic and its Application to Access Control
Language :	English
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 []
Publication date :	2016
Main document title :	Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence
Pages :	1286-1292
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	International Joint Conference on Artificial Intelligence
Event date :	from 09-07-2016 to 15-07-2016
Event place (city) :	New York
Event country :	NY
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 centres :	SnT
Funders :	Fonds National de la Recherche - FnR
Name of the research project :	Specification logics and Inference tools for verification and Enforcement of Policies
Target :	Researchers ; Students
Permalink :	http://hdl.handle.net/10993/30187
FnR project :	FnR ; FNR4758104 > Leon Van Der Torre > SIEP > Specification logics and Inference tools for verification and Enforcement of Policies > 01/06/2012 > 30/04/2017 > 2011

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	paper.pdf		Publisher postprint	243.06 kB	View/Open

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices