Scholarlink

<p>Defining and reasoning about goals in multi-actor dialectical systems requires formalizing often incomplete or unclear stakeholder requirements within a goal model. This process involves actor dialogue to clarify assumptions, resolve gaps, and justify modeling decisions, making argumentation central to validating decisions collaboratively. This work explores how argumentation theories can capture the informal reasoning of multiple actors by integrating two frameworks: Argumentation-based Proof-Events (APEC), which treats goal-oriented problem solving as a social and temporal process, and Provers’ System (PS), which models the internal reasoning and meta-level attributes of individual actors. By combining these, the proposed APEC-PS framework bridges internal cognitive reasoning with external collaborative dynamics, offering a more comprehensive view of actor interactions and argument structures. Rooted in symbolic AI, it employs formal logic and structured representations to enable goal-oriented defeasible reasoning. This integration is particularly well-suited for managing evolving knowledge and uncertainty in open-ended decision-making contexts. We utilize a domain-agnostic example from mathematical practices, exemplified by the Mini-Polymath 4 project, to showcase how the model’s abstract and generic nature can support diverse goal-oriented applications through dynamic actor interactions without being constrained by specific domain aspects.</p>

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

A collaborative argumentation framework for goal-oriented reasoning

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2026年5月26日

查看全文
  • Sofia Almpani,
  • Asterios Gkantzounis,
  • Petros Stefaneas

摘要

Defining and reasoning about goals in multi-actor dialectical systems requires formalizing often incomplete or unclear stakeholder requirements within a goal model. This process involves actor dialogue to clarify assumptions, resolve gaps, and justify modeling decisions, making argumentation central to validating decisions collaboratively. This work explores how argumentation theories can capture the informal reasoning of multiple actors by integrating two frameworks: Argumentation-based Proof-Events (APEC), which treats goal-oriented problem solving as a social and temporal process, and Provers’ System (PS), which models the internal reasoning and meta-level attributes of individual actors. By combining these, the proposed APEC-PS framework bridges internal cognitive reasoning with external collaborative dynamics, offering a more comprehensive view of actor interactions and argument structures. Rooted in symbolic AI, it employs formal logic and structured representations to enable goal-oriented defeasible reasoning. This integration is particularly well-suited for managing evolving knowledge and uncertainty in open-ended decision-making contexts. We utilize a domain-agnostic example from mathematical practices, exemplified by the Mini-Polymath 4 project, to showcase how the model’s abstract and generic nature can support diverse goal-oriented applications through dynamic actor interactions without being constrained by specific domain aspects.