格哈德·布鲁卡 动态论证系统：基于情境演算的论证过程的形式化模型。 （英语） Zbl 0986.68141号 J.日志。计算。 11，第2期，257-282（2001）. 摘要：我们提出了一个基于情境演算的论证形式化模型，该模型涵盖了论证过程的逻辑和程序方面。逻辑用于根据辩论期间的言语行为，确定参与讨论的每个主体和整个小组接受的内容。论证协议，也称为秩序规则，以声明的方式描述了在特定的论证状态下哪些言语行为是合法的。我们首先用固定的顺序规则来讨论论证。我们的模型允许违反协议，但可以反对非法行为。在现实环境中，秩序规则本身随时可能成为辩论的主题。我们展示了如何在我们所称的动态论证系统中对这种元级论证进行建模。为了说明本文中引入的概念，我们提出了对Rescher形式辩论理论的重构，以及一个三级动态辩论系统，用于讨论谋杀案。 引用于10文件 MSC公司： 68T27型 人工智能中的逻辑 关键词：论证的形式化模型;情境演算 PDF格式BibTeX公司 XML格式引用 \textit{G.Brewka}、J.Log。计算。11，编号2257-282（2001年；Zbl 0986.68141） 全文： 内政部 链接