Výsledky vyhledávání - "Elise Perrotin"

A Computationally Grounded Logic of 'Seeing-to-it-that'

Autor: Andreas Herzig, Emiliano Lorini, Elise Perrotin

Publikováno v: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence.

We introduce a simple model of agency that is based on the concepts of control and attempt. Both relate agents and propositional variables. Moreover, they can be nested: an agent i may control whether another agent j controls a propositional variable

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::370d916728c05ce92808fdaeedf1bbd2
https://doi.org/10.24963/ijcai.2022/367

Zobrazit plný text záznamu

A semantic approach to non-prioritized belief revision

Autor: Elise Perrotin, Fernando R. Velázquez-Quesada

Publikováno v: Logic Journal of the IGPL, 29(4). Oxford University Press

Belief revision is concerned with belief change fired by incoming information. Despite the variety of frameworks representing it, most revision policies share one crucial feature: incoming information outweighs current information and hence, in case

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::91a6587ec6aa9bdb69a4cc6f5b0079e0
https://doi.org/10.1093/jigpal/jzz045

Zobrazit plný text záznamu

A Lightweight Epistemic Logic and its Application to Planning

Autor: Pierre Régnier, Faustine Maffre, Frédéric Maris, Andreas Herzig, Elise Perrotin, Martin C. Cooper

Publikováno v: Mémoires en Sciences de l'Information et de la Communication
Hyper Article en Ligne
Hal-Diderot
ORCID
Microsoft Academic Graph
HAL Descartes
Artificial Intelligence, Elsevier, 2020, 298, pp.103437. ⟨10.1016/j.artint.2020.103437⟩
Artificial Intelligence
Artificial Intelligence, 2021, Special issue: SI: Ethics for Autonomous Systems, 298, pp.103437. ⟨10.1016/j.artint.2020.103437⟩

Edited by Michael Fisher, Sven Koenig and Marija Slavkovik.; International audience; We study multiagent epistemic planning with a simple epistemic logic whose language is a restriction of that of standard epistemic logic. Its formulas are boolean co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::546c89f61d67642d662dbed529cfad6c
https://hal.archives-ouvertes.fr/hal-03147798

Zobrazit plný text záznamu

A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition

Autor: Andreas Herzig, Frédéric Maris, Elise Perrotin

Publikováno v: Hyper Article en Ligne
Microsoft Academic Graph
HAL Descartes
Mémoires en Sciences de l'Information et de la Communication
Hal-Diderot
18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021)
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning ; ISBN: 978-1-956792-99-7
18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2020, virtual, Vietnam. pp.676-680, ⟨10.24963/kr.2021/68⟩
KR
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning

International audience; Existing dynamic epistemic logics combine standard epistemic logic with a restricted version of dynamic logic. Instead, we here combine a restricted epistemic logic with a rich version of dynamic logic. The epistemic logic is

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::536e3dd9599c7d70b173c5ad4b3833ef
https://hal-univ-tlse3.archives-ouvertes.fr/hal-03450078

Zobrazit plný text záznamu

Lightweight Parallel Multi-Agent Epistemic Planning

Autor: Frédéric Maris, Andreas Herzig, Martin C. Cooper, Elise Perrotin, Julien Vianey

Publikováno v: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
17th International Conference on Principles of Knowledge Representation and Reasoning-KR 2020
17th International Conference on Principles of Knowledge Representation and Reasoning-KR 2020, Sep 2020, Rhodes, Greece
HAL
KR
Hyper Article en Ligne
Mémoires en Sciences de l'Information et de la Communication
Hal-Diderot
ORCID
UnpayWall
Microsoft Academic Graph

International audience; We study a simple version of multi-agent epistemic planning with common knowledge where the number of parallel steps has to be minimized. We prove that this extension of classical planning is in PSPACE. We propose an encoding

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67ba04d5ca48d2950e95945627a1faf2
https://hal.archives-ouvertes.fr/hal-03015803

Zobrazit plný text záznamu

When 'knowing whether' is better than 'knowing that'

Autor: Martin Cooper, Andreas Herzig, Faustine Maffre, Maris, F., Elise Perrotin, Pierre Régnier

Publikováno v: Actes JIAF 2019
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019)
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
HAL

International audience; We study a simple epistemic logic with a restricted language where formulas are boolean combinations of (epistemic) atoms: sequences of 'know-ing whether' operators followed by propositional variables. Our language is strictly

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::349a68230ef6b9dc9f055a26a3d13368
https://hal.archives-ouvertes.fr/hal-02302984

Zobrazit plný text záznamu

Public Group Announcements and Trust in Doxastic Logic

Autor: Elise Perrotin, Quentin Canu, Natasha Alechina, Rustam Galimullin

Publikováno v: Logic, Rationality, and Interaction ISBN: 9783662602911
LORI

We present a doxastic logic for multi-agent systems with public group announcements. Beliefs are represented using belief bases and a dynamic of trust is introduced in order to handle belief change under contradictory announcements. We provide a comp

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::159b9cfffa26af401c8ef9386c96f58f
https://doi.org/10.1007/978-3-662-60292-8_15

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání