权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Studies on Logic of Argumentation Reflecting Eastern Rationalism and its Applications to Social Computation

体现东方理性主义的论证逻辑研究及其在社会计算中的应用

基本信息

批准号：
17500089
负责人：
SAWAMURA Hajime
金额：
$ 2.41万
依托单位：
Niigata University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2005
资助国家：
日本
起止时间：
2005 至 2007
项目状态：
已结题

项目摘要

The results of our investigation on Studies on Logic of Argumentation Reflecting Eastern Rationalism and its Applications to Social Computation are summarized as follows.(1) Logic of argumentation reflecting Eastern rationalismWe specialized an argumentation framework that allows agents to make arguments based on Tetralema from the Logic of Multiple-Valued Argumentation (LMA) originally formalized by us. It allows for constructing arguments reflecting Easterners' preference over argumentation as well as Eastern thought and philosophy. Through various argument examples, it was shown that it also allowed for a kind of pluralistic argumentation, or a fusion of Eastern and Western argumentation.(2) A logic of dialogue: from argumentation to dialogueArgumentation and dialogue provide important foundations for agent-oriented computing since social computing mechanism such as negotiation, cooperation, conflict resolution, etc. are to be built on them. We considered relationship between argume … More ntation and dialogue in a formal way. I doing so, We started setting a primitive but natural inter-agent dialogue model in which dialogue can be seen as partial argumentation that allows us to avoid excessive or unnecessary conflicts. Then, we gave the semantics for such a type of dialogue, and the soundness and completeness theorems.(3) Integrated Argumentation Environment (IAE) and its implementationWe devised an idea of Integrated Argumentation Environment (IAE) for arguing agents, so that it can inclusively support argumentation like an integrated environment for the software development. IAE yields three types of knowledge base designer: knowledge base editor, argument template and AM-LMA transform module, and three types of argumentation visualization tools for analyzing: live argumentation viewer, argumentation and argument tree viewer.(4)Other results on argumentation framework- We studied a more syncretic argumentation models such as the interplay between neural net argumentation and symbolic argumentation. They are beneficial for understanding or characterizing the computation power and outcome of the neural net argumentation from the perspective of the symbolic argumentation.- We studied translation of natural arguments in Araucaria to formal arguments in LMA, and vice versa. This helps to lighten users' knowledge burden forced by formal argumentation frameworks, and attain extensive usability of formal argumentation systems. Less

我们对反映东方理性主义的论证逻辑及其在社会计算中的应用的研究结果总结如下：(1)反映东方理性主义的论证逻辑我们从我们最初形式化的多值论证逻辑(LMA)出发，专门设计了一个论证框架，允许主体基于Tetralema进行论证。它允许构建论据，反映东方人对论辩的偏好，以及东方的思想和哲学。通过各种论证实例表明，它还允许一种多元化的论证，或东西方论证的融合。(2)对话逻辑：从论证到对话，论证和对话为面向主体的计算提供了重要的基础，因为协商、合作、冲突解决等社会计算机制都建立在它们的基础上。我们考虑了…与Argum之间的关系以正式的方式进行更多的交流和对话。我这样做了，我们开始建立一个原始但自然的机构间对话模式，在这种模式下，对话可以被视为部分论证，使我们能够避免过度或不必要的冲突。(3)集成论证环境(IAE)及其实现我们设计了一种用于辩论代理的集成论证环境(IAE)的思想，使其能够像软件开发的集成环境一样包容地支持论证。IAE提供了三种类型的知识库设计器：知识库编辑器、论证模板和AM-LMA转换模块，以及三种用于分析的论证可视化工具：实时论证查看器、论证和论证树查看器。(4)论证框架的其他结果--我们研究了神经网络论证和符号论证之间的相互作用等更融合的论证模型。它们有助于从符号论证的角度理解或刻画神经网络论证的计算能力和结果。-我们研究了Araucaria中的自然论点到LMA中的形式论点的翻译，反之亦然。这有助于减轻形式论证框架强加给用户的知识负担，实现形式论证系统的广泛可用性。较少

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Argumentation-Based Learning

基于论证的学习

DOI：
发表时间：
2007
期刊：
Lecture Notes in Computer Science 4766
影响因子：
0
作者：
Y.;Kuribara;A. Seno;H.;Sawamura;T. Fukumoto and H. Sawamura
通讯作者：
T. Fukumoto and H. Sawamura

AASLMA : An Automated Argument System Based on Logic of Multiple-Valued Argumentation

AASLMA：基于多值论证逻辑的自动论证系统

DOI：
发表时间：
2005
期刊：
Lecture Notes in Computer Science Vol.3684
影响因子：
0
作者：
Hajime;Sawamura;Takehisa;Takahashi;Hajime Sawamura;Hajime Sawamura;Kumiko Matsunaga
通讯作者：
Kumiko Matsunaga

Applying the Logic of Multiple-Valued Argumentation to Social Web: SNS and Wikipedia

将多值论证逻辑应用于社交网络：SNS 和维基百科

DOI：
发表时间：
2008
期刊：
to appear Computer Software
影响因子：
0
作者：
Y.;Kuribara;A. Seno;H.;Sawamura
通讯作者：
Sawamura

The Logic of Multiple-Valued Argumentation and its Applications to Web Technology

多值论证的逻辑及其在网络技术中的应用

DOI：
发表时间：
2006
期刊：
P.E.Dunne and T.J.N.Bench-Capon(eds.) : Computational Models of Argument, IOS Press
影响因子：
0
作者：
若木;沢村;福本;向井;新田;W.Makiguchi;W.Makiguchi;T.Wakaki;Yohsuke Takahashi;Hajime Sawamura
通讯作者：
Hajime Sawamura

議論に基づくスケジュール調整エージェント

基于讨论的调度代理