Studies on Logic of Argumentation Reflecting Eastern Rationalism and its Applications to Social Computation
| Project/Area Number |
17500089
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | Niigata University |
|---|
Principal Investigator |
SAWAMURA Hajime Niigata University, Institute of Science and Technology, Associate Professor (40282991)
|
|---|
| Project Period (FY) |
2005 – 2007
|
| Project Status |
Completed (Fiscal Year 2007)
|
| Budget Amount *help |
¥3,770,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥270,000)
Fiscal Year 2007: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2006: ¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 2005: ¥1,300,000 (Direct Cost: ¥1,300,000)
|
|---|
| Keywords | Argumentation / Paraconsistent Logic Programming / Dialogue / Many-valuednes / Tetralemma / Eastern rationalism / Neural net / Symbolic argumentation / 両是 / 両否 |
|---|
| Research Abstract |
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 rationalism
We 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 dialogue
Argumentation 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 implementation
We 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
|
Report
(4 results)
Research Products
(47 results)
