[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.
Centre de recherche :
SnT
Disciplines :
Sciences informatiques
Auteur, co-auteur :
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
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Distributed Autoepistemic Logic and its Application to Access Control
Date de publication/diffusion :
2016
Nom de la manifestation :
International Joint Conference on Artificial Intelligence
Lieu de la manifestation :
New York, Etats-Unis - New York
Date de la manifestation :
from 09-07-2016 to 15-07-2016
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence
Pagination :
1286-1292
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
Projet FnR :
FNR4758104 - Specification Logics And Inference Tools For Verification And Enforcement Of Policies, 2011 (01/06/2012-30/04/2017) - Leon Van Der Torre
Intitulé du projet de recherche :
Specification logics and Inference tools for verification and Enforcement of Policies
Martín Abadi. Logic in Access Control. In Proceedings of LICS, pages 228-233, 2003.
Martín Abadi. Variations in Access Control Logic. In Proceedings of DEON, pages 96-109, 2008.
Vaishak Belle and Gerhard Lakemeyer. Only knowing meets common knowledge. In Proceedings of IJCAI, pages 2755-2761, 2015.
Bart Bogaerts, Joost Vennekens, and Marc Denecker. Grounded fixpoints and their applications in knowledge representation. AIJ, 224: 51-71, 2015.
Bart Bogaerts, Joost Vennekens, and Marc Denecker. Partial grounded fixpoints. In Proceedings of IJCAI, pages 2784-2790, 2015.
Bart Bogaerts. Groundedness in logics with a fixpoint semantics. PhD thesis, 2015.
Marcos Cramer, Diego Agustin Ambrossio, and Pieter Van Hertum. A Logic of Trust for Reasoning about Delegation and Revocation. In Proceedings of SACMAT, pages 173-184. ACM, 2015.
Marc Denecker and Joost Vennekens. The well-founded semantics is the principle of inductive definition, revisited. In Proceedings of KR, pages 22-31, 2014.
Marc Denecker, Victor Marek, and Mirosaw Truszczýnski. Fixpoint 3-valued semantics for autoepistemic logic. In Proceedings of AAAI, pages 840-845. MIT Press, 1998.
Marc Denecker, Victor Marek, and Mirosaw Truszczýnski. Approximations, stable operators, wellfounded fixpoints and applications in nonmonotonic reasoning. In Logic-Based Artificial Intelligence, Springer, volume 597, pages 127-144, 2000.
Marc Denecker, Victor Marek, and Mirosaw Truszczýnski. Uniform semantic treatment of default and autoepistemic logics. AIJ, 143(1): 79-122, 2003.
Marc Denecker, Victor Marek, and Mirosaw Truszczýnski. Ultimate approximation and its application in nonmonotonic knowledge representation systems. Information and Computation, 192(1): 84-121, July 2004.
Marc Denecker, Victor Marek, and Mirosaw Truszczýnski. Reiter's default logic is a logic of autoepistemic reasoning and a good one, too. In Nonmonotonic Reasoning-Essays Celebrating Its 30th Anniversary, pages 111-144. College Publications, 2011.
Marc Denecker. Extending classical logic with inductive definitions. In Proceedings of CL, pages 703-717, 2000.
Melvin Fitting. A Kripke-Kleene semantics for logic programs. The Journal of Logic Programming, 2(4): 295-312, 1985.
Deepak Garg and Frank Pfenning. Stateful Authorization Logic-Proof Theory and a Case Study. Journal of Computer Security, 20(4): 353-391, 2012.
Deepak Garg. Proof Theory for Authorization Logic and Its Application to a Practical File System. PhD thesis, 2009.
Valerio Genovese. Modalities in Access Control: Logics, Proof-theory and Application. PhD thesis, 2012.
Yuri Gurevich and Itay Neeman. DKAL: Distributed-knowledge authorization language. In Proceedings CSF, pages 149-162. IEEE, 2008.
A sa Hagström, Sushil Jajodia, Francesco Parisi-Presicce, and DumindaWijesekera. Revocations-A Classification. In Proceedings of CSF, pages 44-58. IEEE, 2001.
Joseph Y. Halpern and Yoram Moses. Towards a theory of knowledge and ignorance: Preliminary report. In Logics and Models of Concurrent Systems, volume 13 of NATO ASI Series, pages 459-476. Springer Berlin Heidelberg, 1985.
S. C. Kleene. On notation for ordinal numbers. The Journal of Symbolic Logic, 3(4): 150-155, 1938.
Kurt Konolige. On the relation between default and autoepistemic logic. AI, 35(3): 343-382, 1988.
Hector J. Levesque. All I know: A study in autoepistemic logic. AIJ, 42(2-3): 263-309, 1990.
Robert C. Moore. A Formal Theory of Knowledge and Action. In Formal Theories of the Commonsense World, pages 319-358. Springer-Verlag, 1985.
Robert C. Moore. Semantical considerations on nonmonotonic logic. AIJ, 25(1): 75-94, 1985.
Leora Morgenstern. A formal theory of multiple agent nonmonotonic reasoning. In Proceedings of AAAI, pages 538-544, 1990.
Ilkka Niemelä. Constructive tightly grounded autoepistemic reasoning. In Proceedings of IJCAI, pages 399-405, 1991.
Yongyuth Permpoontanalarp and John Yuejun Jiang. On multi-agent autoepistemic reasoning. In WOCFAI, pages 307-318, 1995.
Hannes Strass. Approximating operators and semantics for abstract dialectical frameworks. AIJ, 205: 39-70, 2013.
Katsuhiko Toyama, Takahiro Kojima, and Yasuyoshi Inagaki. Translating multi-agent autoepistemic logic into logic program. In Proceedings of CLIMA, pages 49-62, 2002.
Maarten H. van Emden and Robert A. Kowalski. The semantics of predicate logic as a programming language. J. ACM, 23(4): 733-742, 1976.
Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, and Marc Denecker. Ordered Epistemic Logic: Semantics, complexity and applications. In Proceedings of KR, pages 369-379, 2012.
