Pierre Bisquert

ECAI Conference 2024 Conference Paper

The Form and the Content: Non-Monotonic Reasoning with Syntactic Contextual Filtering

• Florence Dupin de Saint-Cyr
• Pierre Bisquert

In order to avoid ambiguity and be efficient, the context in which a query is made can help to better target the relevant pieces of information from the knowledge base to be processed by the inference system. In this paper, we are interested in the notion of dynamical compartmentalization where the knowledge base that will be used for reasoning is dynamically extracted from the original base. Compartmentalization is a selection of a sub-base which is done according to a function, called refiner, and depending on this function some properties are satisfied. We introduce a particular syntactic refiner that uses a similarity symbol-based distance between a context (a multiset of variable symbols) and a formula of a knowledge base. We prove that the inference operator based on this refiner, called contextual inference, satisfies a series of desirable axioms

AAAI Conference 2020 System Paper

DAMN: Defeasible Reasoning Tool for Multi-Agent Reasoning

• Abdelraouf Hecham
• Madalina Croitoru
• Pierre Bisquert

This demonstration paper introduces DAMN: a defeasible reasoning platform available on the web. It is geared towards decision making where each agent has its own knowledge base that can be combined with other agents to detect and visualize conflicts and potentially solve them using a semantics. It allows the use of different defeasible reasoning semantics (ambiguity blocking/propagating with or without team defeat) and integrates agent collaboration and visualization features.

ECAI Conference 2020 Conference Paper

Gradual Semantics for Logic-Based Bipolar Graphs Using T-(Co)norms

• Martin Jedwabny
• Madalina Croitoru
• Pierre Bisquert

In this paper we consider a bipolar graph structure encoding conflicting knowledge with logic formulas. Gradual semantics provide a way to assign strength values in the unit interval to nodes (i. e. logical inference steps) in the bipolar graph. Here, we introduce a new class of semantics based on the notions of T-norms and T-conorms and show that they handle circular reasoning and satisfy desirable properties such as provability and rewriting.

AAMAS Conference 2019 Conference Paper

NAKED: N-Ary Graphs from Knowledge Bases Expressed in Datalog±

• Bruno Yun
• Madalina Croitoru
• Srdjan Vesic
• Pierre Bisquert

In this demonstration paper, we introduce NAKED: a new generator for n-ary logic-based argumentation frameworks instantiated from inconsistent knowledge bases expressed using Datalog±. The tool allows to import a knowledge base in DLGP format, generate, visualise and export the corresponding argumentation hypergraph. We show its application on a use-case from the NoAW project.

AAMAS Conference 2019 Conference Paper

PAPOW: Papow Aggregates Preferences and Orderings to select Winners

• Martin Jedwabny
• Pierre Bisquert
• Madalina Croitoru

In this demonstration paper, we introduce PAPOW: Papow Aggregates Preferences and Orderings to select Winners. The tool allows for demographic filtering of voters depending on their characteristics. We show its application on a use-case from the NoAW H2020 project.

AAMAS Conference 2018 Conference Paper

DAGGER: Datalog+/- Argumentation Graph GEneRator

• Bruno Yun
• Madalina Croitoru
• Srdjan Vesic
• Pierre Bisquert

We introduce DAGGER: a generator for logic based argumentation frameworks instantiated from inconsistent knowledge bases expressed using Datalog+/-. The tool allows to import a knowledge base in DLGP format and the generation and visualisation of the corresponding argumentation graph. Furthermore, the argumentation framework can also be exported in the Aspartix format.

AAMAS Conference 2018 Conference Paper

Graph Theoretical Properties of Logic Based Argumentation Frameworks

• Bruno Yun
• Madalina Croitoru
• Pierre Bisquert
• Srdjan Vesic

Argumentation frameworks instantiated from logical language allow for argument generation over real knowledge. We present some graph theoretical properties of argumentation graphs obtained from an inconsistent knowledge base expressed using existential rules.

IJCAI Conference 2018 Conference Paper

Inconsistency Measures for Repair Semantics in OBDA

• Bruno Yun
• Srdjan Vesic
• Madalina Croitoru
• Pierre Bisquert

In this paper, we place ourselves in the Ontology Based Data Access (OBDA) setting and investigate reasoning with inconsistent existential rules knowledge bases. We use the notion of inconsistency measures on sets of facts to rank and filter repairs. We propose a generic framework to answer queries by using the best repairs and study productivity and properties of such a framework.

AAMAS Conference 2018 Conference Paper

On a Flexible Representation for Defeasible Reasoning Variants

• Abdelraouf Hecham
• Pierre Bisquert
• Madalina Croitoru

We propose Statement Graphs (SG), a new logical formalism for defeasible reasoning based on argumentation. Using a flexible labeling function, SGs can capture the variants of defeasible reasoning (ambiguity blocking or propagating, with or without team defeat, and circular reasoning). We evaluate our approach with respect to human reasoning and propose a working first order defeasible reasoning tool that, compared to the state of the art, has richer expressivity at no added computational cost. Such tool could be of great practical use in decision making projects such as H2020 NoAW.

AAMAS Conference 2017 Conference Paper

Are Ranking Semantics Sensitive to the Notion of Core?

• Bruno Yun
• Madalina Croitoru
• Pierre Bisquert

AAMAS Conference 2017 Conference Paper

Argumentation-Based Defeasible Reasoning For Existential Rules

• Abdelraouf Hecham
• Madalina Croitoru
• Pierre Bisquert

ECAI Conference 2016 Conference Paper

Substantive Irrationality in Cognitive Systems

• Pierre Bisquert
• Madalina Croitoru
• Florence Dupin de Saint-Cyr
• Abdelraouf Hecham

In this paper we approach both procedural and substantive irrationality of artificial agent cognitive systems and consider that when it is not possible for an agent to make a logical inference (too expensive cognitive effort or not enough knowledge) she might replace certain parts of the logical reasoning with mere associations.