In the fast-growing area of Artificial Intelligence (AI), the ability of autonomous agents to engage in complex debates is crucial for consensus building on beliefs, actions, or goals and forms the basis for applications in decision-making, planning, opinion polling, and negotiation. In this paper, we leverage the Timed Concurrent Language for Argumentation, a modelling language derived from concurrent programming paradigms and Argumentation Theory, to introduce well-known high-level propositions (claim, counter, why, argue, concede, and retract) to model various debate forms, making it a powerful tool for agent interaction. The obtained constructs, specifically designed for multi-agent reasoning and the facilitation of argumentation, define the dialogue language DICLA (DIalogic Concurrent Language for Argumentation) that enables domain experts to employ advanced computational argumentation tools without needing programming skills, bridging the gap between theoretical argumentation models and practical, real-world applications.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Modelling Dialogues in a Concurrent Language for Argumentation

  • Stefano Bistarelli,
  • Maria Chiara Meo,
  • Carlo Taticchi

摘要

In the fast-growing area of Artificial Intelligence (AI), the ability of autonomous agents to engage in complex debates is crucial for consensus building on beliefs, actions, or goals and forms the basis for applications in decision-making, planning, opinion polling, and negotiation. In this paper, we leverage the Timed Concurrent Language for Argumentation, a modelling language derived from concurrent programming paradigms and Argumentation Theory, to introduce well-known high-level propositions (claim, counter, why, argue, concede, and retract) to model various debate forms, making it a powerful tool for agent interaction. The obtained constructs, specifically designed for multi-agent reasoning and the facilitation of argumentation, define the dialogue language DICLA (DIalogic Concurrent Language for Argumentation) that enables domain experts to employ advanced computational argumentation tools without needing programming skills, bridging the gap between theoretical argumentation models and practical, real-world applications.