Contacts :
Programme Andreas Herzig (herzig@irit.fr) Frédéric Maris (maris@irit.fr)
Organisation Tiago de Lima (delima@cril.fr) Elise Perrotin (perrotin@cril.fr)
| GDR IA |  |
Contacts :
Programme Andreas Herzig (herzig@irit.fr) Frédéric Maris (maris@irit.fr)
Organisation Tiago de Lima (delima@cril.fr) Elise Perrotin (perrotin@cril.fr)
| GDR IA | |
| Accueil, petit déjeuner — Faculté des Sciences Jean Perrin - Université d'Artois, Lens | |
| Bâtiment B, 2ème étage, suivre la flèche salle prestige (Salle des thèses) |
| Ouverture des 9èmes journées MAFTEC | |
| Salle des thèses |
Sébastien Konieczny (CRIL-CNRS, Lens)
Présentation du GDR IA.Andreas Herzig (IRIT-CNRS, Toulouse)
Présentation du groupe de travail MAFTEC et du rapport d'activité.
| Exposés et discussion | |
| Salle des thèses |
Zied Bouraoui (CRIL, Université d'Artois, Lens)
Integrating Ontologies and Vector Space Representations.Abstract: Vector space embeddings and ontologies are among the most popular frameworks for representing conceptual knowledge. While vector space embeddings aim at modelling similarity, ontologies capture logical dependencies between concepts. Given these complementary strengths, we present a framework that can combine the best of both worlds.
| Exposés et discussion | |
| Salle des thèses |
Ramon Pino Perez (CRIL, Université d'Artois, Lens)
Sur la représentation abstraite des états épistémiques.On montrera la nécessité de cette représentation abstraite et quelques applications.
| Pause déjeuner | |
| Salle des thèses |
| Exposés et sessions de travail | |
| Salle des thèses |
Catalin Dima (LACL, Université Paris-Est Créteil)
Model-checking Timed Epistemic CTL.Abstract: We present TCTLK, a continuous-time variant of the Computational Tree Logic with knowledge operators, generalizing both TCTL, the continuous-time variant of CTL, and CTLK. Formulas are interpreted over timed automata, and the observability relation requires specifying which clocks are visible for each agent. We show that the model-checking problem for TCTLK is undecidable for the perfect recall semantics, even if formulas do not use any clocks. We then discuss several restrictions which make the model-checking problem decidable.
Sergej Scheck (GREYC, Université de Caen Normandie, Caen)
Knowledge Compilation for Nondeterministic Action Languages.
Joint Work with Alexandre Niveau and Bruno ZanuttiniAbstract: Knowledge compilation is a set of techniques to preprocess the knowledge base in order to make reasoning easier or representations more compact. We apply this approach to abstracted versions of nondeterministic extensions of (grounded) action languages. We compare them from the point of view of the complexity of queries and transformations natural to planning, and of their relative succinctness.
Atelier — Groupes de discussion
| Table ronde - Prospective GT MAFTEC | |
| Salle des thèses |
Session de prospective
animée par Andreas Herzig et Frédéric Maris
| Rendez-vous au restaurant (Le Pain de la Bouche, 41 bis Rue de la Gare, 62300 Lens) |
| Accueil, petit déjeuner — Faculté des Sciences Jean Perrin - Université d'Artois, Lens | |
| Bâtiment B, 2ème étage, suivre la flèche salle prestige (Salle des thèses) |
| Exposés et discussion | |
| Salle des thèses |
Frédéric Maris (IRIT, Université Toulouse III - Paul Sabatier, Toulouse)
Optimal Encoding of Simple Cognitive Planning in QBF.
Joint work with Jorge Fernandez, Dominique Longin and Emiliano LoriniAbstract: Cognitive planning is a generalization of epistemic planning: the goal is to achieve cognitive states of target agents which could involve not only beliefs, but also intentions. We encode the cognitive planning problem in an epistemic logic with a semantics of explicit and implicit beliefs exploiting belief bases. We focus on a simple version for which only a special agent, called the machine, has implicit beliefs. We introduce a formalization of simple cognitive planning as a quantified boolean formula (QBF) with an optimal number of quantifiers in the prefix. Indeed, we show that the simple cognitive planning problem is on the second level of the polynomial hierarchy. We present some experiments showing that our approach allows one to efficiently solve practical cognitive planning problems.
Julien Vianey (IRIT, Université Toulouse Capitole, Toulouse)
How to do Parallel Planning the Right Way.
Joint Work with Andreas Herzig and Frédéric MarisAbstract: Planning allowing the execution of actions in parallel may feel more natural. However it needs constraints to avoid conflicts between parallelized actions. I'll show how parallel and sequential planning can be compared using a dynamic logic (DL-PPA) and the forall-Step semantic of Rintanen et al.
| Exposés et discussion | |
| Salle des thèses |
Jean-Guy Mailly (LIPADE, Université de Paris, Paris)
SAT-based Approaches for Abstract Argumentation: Computation in Dynamic and Uncertain Environments.Abstract: SAT-based techniques have been applied successfully to numerous reasoning tasks in abstract argumentation. We will present the approaches for determining the acceptability of arguments in a classical context (i.e. static environment and complete knowledge). Then, we’ll describe several recent works related to argumentation in a dynamic environment (in particular, when strategic issues must be considered) and/or in presence of uncertainty. Finally, we’ll discuss some open questions, in particular regarding the relation between (strategic) argumentation and planning.
| Pause déjeuner | |
| Salle des thèses |
| Exposés et sessions de travail | |
| Salle des thèses |
Andreas Herzig (IRIT-CNRS, Toulouse)
Strategic Argumentation and Epistemic Reasoning.
Joint work with Antonio Yuste Ginel, paper at IJCAI 2022
Sabine Frittella (INSA Centre Val de Loire, Bourges)
Non-standard probabilities and belief functions over Belnap Dunn logic.Abstract: Belnap Dunn logic [1] is a four-valued logic introduced in order to reason with incomplete and/or inconsistent information. It relies on the idea that pieces of evidence supporting a statement and its negation can be independent. Non-standard probabilities were proposed in [2] to generalize the notion of probabilities over formulas of Belnap Dunn logic. Here, we continue this line of research and study the implications of using mass functions, belief functions and plausibility functions [3] to formalize reasoning with incomplete/contradictory evidence within the framework of Belnap Dunn logic.
References
[1] Dunn, J.M.: Contradictory information: Too much of a good thing. Journal of Philosophical Logic 39, 425–452 (2010)
[2] D. Klein, O. Majer, and S. Rafiee Rad. Probabilities with gaps and gluts. Journal of Philosophical Logic, 50(5):1107–1141, October 2021.
[3] Shafer, G.: A mathematical theory of evidence. Princeton university press (1976)
Atelier — Groupes de discussion
| Exposés et sessions de travail | |
| Salle des thèses |
Andreas Herzig (IRIT-CNRS, Toulouse)
From Planning with Knowledge to Planning with Belief.
Joint work with Elise PerrotinAbstract: In previous work (AIJ 2021) we have proposed a lightweight logic of knowledge for which planning is in PSPACE. We here discuss whether and how that approach can be extended to belief.
Elise Perrotin (CRIL-CNRS, Lens)
Possible worlds, belief bases- or both?Abstract: Knowledge and belief representation is usually based either in Kripke semantics with possible worlds or in syntactic knowledge or belief base. The semantics of Lorini's Logic of Doxastic Attitudes offer an interesting hybrid between these two approaches. In this talk I will argue for the use of this semantics as a unifying framework against which to compare other representations of knowledge and belief from the literature.
Atelier — Groupes de discussion
| Rendez-vous au restaurant (Le Venezia, Lens) |
| Accueil, petit déjeuner — Faculté des Sciences Jean Perrin - Université d'Artois, Lens | |
| Bâtiment B, 2ème étage, suivre la flèche salle prestige (Salle des thèses) |
| Exposés et discussion | |
| Salle des thèses |
Daniil Kozhemiachenko (INSA Centre Val de Loire, Bourges)
Paraconsistent modal logic of comparative uncertainty.Abstract: We introduce a paraconsistent modal logic K𝖦2, based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation ¬. We use the logic to formalise reasoning with graded, incomplete and inconsistent information. Semantics of K𝖦2 is two-dimensional: we interpret K𝖦2 on crisp frames with two valuations v1 and v2, connected via ¬, that assign to each formula two values from the real-valued interval [0,1]. The first (resp., second) valuation encodes the positive (resp., negative) information the state gives to a statement. We obtain that K𝖦2 is strictly more expressive than the classical modal logic K by proving that finitely branching frames are definable and by establishing a faithful embedding of K into K𝖦2. We also construct a constraint tableau calculus for K𝖦2 over finitely branching frames, establish its decidability and provide a complexity evaluation.
Anasse Chafik (CRIL, Université d'Artois, Lens)
La logique linéaire temporelle révisable.La logique linéaire temporelle (LTL) est un formalisme pour la vérification et la spécification de programmes qui varient dans le temps. Le succès de LTL est dû principalement à sa syntaxe et à sa sémantique intuitive, qui simplifient la formulation et la vérification des propriétés souhaitées pour un programme. Nous allons présenter une extension non-monotone de cette logique, dénommée LTL révisable (defeasible LTL en anglais). Cette extension a pour but d’enrichir le formalisme initial afin d'exprimer des propriétés avec exceptions, en distinguant les exceptions anodines qui peuvent être tolérées de celles qui doivent être traitées pour garantir la fiabilité du système.
| Exposés et sessions de travail |
Sébastien Konieczny (CRIL-CNRS, Lens)
Révision itérée et Etats épistémiques.Dans ce travail nous nous intéressons à la révision itérée, et plus précisément aux opérateurs d’amélioration (improvement). Nous étudions des opérateurs purement commutatifs et montrons que les opérateurs de fusion peuvent être utilisés à cette fin. Mais ce travail permet surtout d’offrir une réflexion sur ce que sont les états épistémiques de Darwiche et Pearl. Nous montrons en particulier qu’ils ne peuvent pas être, en toute généralité, représentés par des pré-ordres totaux, hypothèse souvent faite dans des travaux sur la révision itérée.
Atelier — Groupes de discussion
| Pause déjeuner | |
| Salle des thèses |
| Sessions de travail | |
| Salle des thèses |
Atelier — Groupes de discussion
| Sessions de travail | |
| Salle des thèses |
Atelier — Groupes de discussion