{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T23:36:07Z","timestamp":1761176167074,"version":"build-2065373602"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643686318","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T00:00:00Z","timestamp":1761004800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,21]]},"abstract":"<jats:p>It is not straightforward to reason about specific legal concepts such as epistemic rights and duties, which are crucial in AI systems that have to make autonomous decisions based on who knows what, who is entitled to know, and under what conditions information should be shared or withheld. Such issues are central to responsible AI, data governance, and regulatory compliance. A concrete application arises is in the context of the GDPR, where a data subject has a right to know whether and for what purpose her personal data is being processed, creating a duty to tell for the controller when asked. On the other hand, if the software used for the processing is proprietary, the data subject does not have the right to know its exact mechanisms, so her asking to know them does not create a corresponding duty for the data controller. In this paper, a shallow semantical embedding (SSE) of the Dynamic Logic of the Right to Know (LRK) in Higher-Order Logic is presented. The embedding is proven faithful, and it is encoded and experimented with in the Isabelle\/HOL proof assistant. The SSE is then used to reason with the GDPR example encoded in LRK. The embedding of LRK differs from existing ones in how it represents the dynamic updating of the model: instead of performing changes on the domain of possible worlds, the provided SSE maintains the accessibility and neighborhood relations within the context of a formula. Updates are then handled by updating the relations, while the domain of possible worlds stays the same. The work presented in this paper contributes to the LogiKEy knowledge engineering methodology and framework, which enables experimentation with logics and logic combinations, with general and domain knowledge, and with concrete use cases.<\/jats:p>","DOI":"10.3233\/faia250988","type":"book-chapter","created":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T09:47:53Z","timestamp":1761126473000},"source":"Crossref","is-referenced-by-count":0,"title":["Reasoning with Epistemic Rights and Duties: Automating a Dynamic Logic of the Right to Know in LogiKEy"],"prefix":"10.3233","author":[{"given":"Lara","family":"Lawniczak","sequence":"first","affiliation":[{"name":"Otto-Friedrich-Universit\u00e4t Bamberg"}]},{"given":"Luca","family":"Pasetto","sequence":"additional","affiliation":[{"name":"University of Luxembourg"}]},{"given":"Christoph","family":"Benzm\u00fcller","sequence":"additional","affiliation":[{"name":"Otto-Friedrich-Universit\u00e4t Bamberg"},{"name":"Freie Universit\u00e4t Berlin"}]},{"given":"Xu","family":"Li","sequence":"additional","affiliation":[{"name":"University of Luxembourg"}]},{"given":"R\u00e9ka","family":"Markovich","sequence":"additional","affiliation":[{"name":"University of Luxembourg"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","ECAI 2025"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA250988","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T09:47:53Z","timestamp":1761126473000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA250988"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,21]]},"ISBN":["9781643686318"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia250988","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,21]]}}}