An Implemented System for Cognitive Planning

Autor: Jorge Fernandez, Dominique Longin, Emiliano Lorini, Frédéric Maris

Publikováno v: International Conference on Agents and Artificial Intelligence (ICAART 2022)
International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online, France

We present a system that implements a framework for cognitive planning 1. The system allows us to represent and reason about the beliefs, desires and intentions of other agents using an NP-fragment of a multiagent epistemic logic. The system has thre

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5515275ed114218dbfc1ae30285f02fc
https://ut3-toulouseinp.hal.science/hal-03763068

Conférence Nationale d'Intelligence Artificielle Année 2020

Autor: Isabelle Bloch, Zied Bouraoui, Stephan Brunessaux, Sylvie Doutre, Amal El Fallah-Seghrouchni, Sébastien Ferré, Frédéric Maris, Alexandre Niveau, Nicolas Sabouret, Yves Demazeau, Dominique Longin

Publikováno v: Conférence Nationale d’Intelligence Artificielle (CNIA 2020)
Isabelle Bloch; Zied Bouraoui; Yves Demazeau; Dominique Longin; Stephan Brunessaux; Sylvie Doutre; Amal El Fallah-Seghrouchni; Sébastien Ferré; Frédéric Maris; Alexandre Niveau; Nicolas Sabouret. Conférence Nationale d’Intelligence Artificielle (CNIA 2020), Jun 2020, Angers, France. Association Française pour l'Intelligence Artificielle (AFIA), 2020
HAL
Isabelle Bloch; Zied Bouraoui; Nicolas Sabouret; Yves Demazeau; Dominique Longin; Stephan Brunessaux; Sylvie Doutre; Amal El Fallah-Seghrouchni; Sébastien Ferré; Frédéric Maris; Alexandre Niveau. Conférence Nationale d’Intelligence Artificielle (CNIA 2020), Jun 2020, Angers, France. Association Française pour l'Intelligence Artificielle (AFIA), 2020

National audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9458b087577f0c2a5ce354769e3dcfda
https://hal.archives-ouvertes.fr/hal-02964840

A Simple Framework for Cognitive Planning

Autor: Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris

Publikováno v: Proceedings of the 35th AAAI Conference on Artificial Intelligence
35th AAAI Conference on Artificial Intelligence (AAAI 2021)
35th AAAI Conference on Artificial Intelligence (AAAI 2021), AAAI : Association for the Advancement of Artificial Intelligence, Feb 2021, Hong Kong (virtual), China

International audience; We present a novel approach to cognitive planning, i.e., an agent's planning aimed at changing the cognitive attitudes of another agent including her beliefs and intentions. We encode the cognitive planning problem in an epist

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7777ae83f41f478c59acd0a9ffcee60e
https://hal.archives-ouvertes.fr/hal-03091086/file/AAAI_2021_post_proceedings_20210327_HAL.pdf

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

TouIST: a Friendly Language for Propositional Logic and More

Autor: Emiliano Lorini, Jorge Fernandez, Frédéric Maris, Andreas Herzig, Olivier Gasquet, Pierre Régnier, Dominique Longin

Publikováno v: IJCAI
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence
Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}
Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence, Jul 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩

International audience; This work deals with logical formalization and problem solving using automated solvers. We present the automatic translator TouIST that provides a simple language to generate logical formulas from a problem description. Our to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f7ad4f9c43f51ba06ec9c004eb1ad4ee
https://doi.org/10.24963/ijcai.2020/756