References of "Satoh, Ken"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailExplainable ASP
Dauphin, Jérémie UL; Satoh, Ken

in PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings (2019)

Despite its proven relevance, ASP (answer set programming) suffers from a lack of transparency in its outputs. Much like other popular artificial intelligence systems such as deep learning, the results do ... [more ▼]

Despite its proven relevance, ASP (answer set programming) suffers from a lack of transparency in its outputs. Much like other popular artificial intelligence systems such as deep learning, the results do not come with any explanation to support their derivation. In this paper, we use a given answer set as guidance for a simplified top-down procedure of answer set semantics developed by Satoh and Iwayama to provide not only an explanation for the derivation (or non-derivation) of the atoms, but also an explanation for the consistency of the whole answer set itself. Additionally, we show that a full use of the Satoh-Iwayama procedure gives an explanation of why an atom is not present in any answer set. [less ▲]

Detailed reference viewed: 63 (8 UL)
Full Text
Peer Reviewed
See detailDialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal
Dauphin, Jérémie UL; Satoh, Ken

in International Conference on Principles and Practice of Multi-Agent Systems (2018)

Argumentation is dynamic in nature and most commonly exists in dialogical form between different agents trying to convince each other. While abstract argumentation framework are mostly static, many ... [more ▼]

Argumentation is dynamic in nature and most commonly exists in dialogical form between different agents trying to convince each other. While abstract argumentation framework are mostly static, many studies have focused on dynamical aspects and changes to these static frameworks. An important problem is the one of argument enforcement, modifying an argumentation framework in order to ensure that a certain argument is accepted. In this paper, we use dialogue games to provide an exhaustive list of minimal sets of attacks such that when removed, a given argument is credulously accepted with respect to preferred semantics. We then extend the method to enforce other acceptability statuses and cope with sets of arguments. [less ▲]

Detailed reference viewed: 63 (12 UL)
Full Text
Peer Reviewed
See detailArgumentation with Goals for Clinical Decision Support in Multimorbidity
Oliveira, Tiago; Dauphin, Jérémie UL; Satoh, Ken et al

in Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (2018)

The present work proposes a computational argumentation system equipped with goal seeking to combine independently generated recommendations for handling multimorbidity.

Detailed reference viewed: 36 (8 UL)