BriefGPT.xyz
Feb, 2016
基于范围的二值化论证语义模型
Range-based argumentation semantics as 2-valued models
HTML
PDF
Mauricio Osorio, Juan Carlos Nieves
TL;DR
本文利用二元逻辑模型提出了半稳定性和阶段扩展的特征,定义了GL支持和GL阶段模型,这两类逻辑模型是论证语义范围的逻辑编程对应概念。
Abstract
Characterizations of
semi-stable
and
stage extensions
in terms of
2-valued logical models
are presented. To this end, the so-called GL-sup
→