免费精品视频一区二区三区学生,被3个黑人老外玩的4p,人妻精品无码中文无码一区无,添女人荫蒂全部过

首頁> 外文會議>International conference on principles and practice of multi-agent systems >Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction
【24h】

Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction

機譯:在基于邏輯的論證與古典邏輯句和信念收縮之間平衡合理性和效用

獲取原文

摘要

Compared to abstract argumentation theory which encapsulates the exact nature of arguments, logic-based argumentation is more specific and represents arguments in formal logic. One significant advantage of logic-based argumentation over abstract argumentation is that it can directly benefit from logical properties such as logical consistency, promoting adherence of an argumentation framework to rational principles. On the other hand, a logical argumentation framework based on classical logic has been also reported of its less-than-desirable utility. In this work we show a way of enhancing utility without sacrificing so much of rationality. We propose a rational argumentation framework with just classical logic sentences and a belief contraction operation. Despite its minimalistic appearance, this framework can characterise attack strengths, allowing us to facilitate coalition profitability and formability semantics we previously defined for abstract argumentation.
機譯:與抽象論證理論封裝了論證的確切性質相比,基于邏輯的論證更為具體,并以形式邏輯表示論據。與抽象論證相比,基于邏輯的論證的一個重要優勢在于,它可以直接受益于邏輯屬性(例如邏輯一致性),從而促進了論證框架對理性原則的遵守。另一方面,也已經報道了一種基于古典邏輯的邏輯論證框架,它的實用性不盡人意。在這項工作中,我們展示了一種在不犧牲太多合理性的情況下提高效用的方法。我們提出了一個僅包含經典邏輯語句和信念收縮運算的理性論證框架。盡管其外觀極簡,但該框架仍可表征攻擊強度,從而使我們能夠促進先前為抽象論證定義的聯盟盈利性和可成形性語義。

著錄項

相似文獻

  • 外文文獻
  • 中文文獻
  • 專利
獲取原文

客服郵箱:kefu@zhangqiaokeyan.com

京公網安備:11010802029741號 ICP備案號:京ICP備15016152號-6 六維聯合信息科技 (北京) 有限公司?版權所有
  • 客服微信

  • 服務號

主站蜘蛛池模板: 衡阳市| 浦县| 蒙山县| 金塔县| 白玉县| 察哈| 永善县| 齐齐哈尔市| 兴隆县| 大同县| 增城市| 兴和县| 高安市| 黔西县| 清原| 呼图壁县| 白银市| 砀山县| 射洪县| 祥云县| 房产| 喀喇沁旗| 东海县| 德兴市| 襄樊市| 德庆县| 叙永县| 金阳县| 清新县| 石柱| 渝北区| 南木林县| 鹤庆县| 漠河县| 方正县| 穆棱市| 巴里| 报价| 鲜城| 叶城县| 玉龙|