議論の形式検証を実現する論理的手法の研究

论证形式验证的逻辑方法研究

• 批准号: 21K12028
• 负责人: 蟻坂 竜大
• 金额: $ 2.66万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2021
• 资助国家: 日本
• 起止时间: 2021-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21K12028/
• 关键词: 詭弁検証; 議論検証; 数理議論; 議論進行サポート; 形式検証; 自動証明; プログラム検証; 信用; separation logic

健全な議論進行においては、誤謬や詭弁などを極力検出して排除できる必要がある。前年度で行った追加研究テーマ（２）「並行的に進行する議論をモデル化する数学的な議論理論の構築・理論性質究明」で構築した議論モデルについて、健全な議論で満たされるべき、もしくは場合によっては満たされるべき、要件を20制定し、「要件が不成立＝詭弁」、とする形式的詭弁検出法を考案し定式化した。詳細:当該の議論モデルはグラフ構造部と意味構造部から成り、20の要件のうちの5つはグラフ構造のみにかかる要件、残りの15は意味構造に及ぶ要件となる。４つのグラフ構造に対する要件が満たされる場合には必ず8つの意味構造に及ぶ要件を成立される意味構造が存在し、その逆も成り立つことを証明した。構築した議論モデル並びに各要件をPythonで実装した。これによって、モデル化された議論中の詭弁の有無の自動検証を可能とした。各要件の検証にかかる計算複雑性も求めた。その結果であるが、定めた要件群を検証することは一般的に多項式時間で行えない。大規模議論に提案手法を応用する際には、当該の議論モデルを簡素化するもしくは抽象化などの手法を構築する必要がある。これについては今後研究を進めていき解決策を考案する予定である。人工知能の議論研究における本研究成果の位置付け：形式的な議論研究を進める数理議論分野においては、グラフ構造のみから推論を進める抽象議論と、意味構造から抽象議論を抽出する構造議論を中心に研究が進められている。前者においては、意見主張間の関係は与えられたものとみなされ、例えばグラフ上の批判関係が、意見主張の意味を考慮した際に本当に批判関係を成しているかを判断できない。後者では実際の議論上の意見主張間の繋がりが考慮されないに加え、ほぼ論理矛盾＝批判を押し通すため、現実の批判関係を反映できていない。本研究成果はこの部分の解決の道を示した

It is necessary to carry out healthy discussions and eliminate errors and eliminate them as much as possible. Additional research on the previous year's activities (2) "Parallel discussions on the number of parallel projects The construction of the theory of discussion and the study of its nature Discussion of で満たされるべき、もしくはoccasionによっては満たされるべき、Requirementsを20 system Fixed し, "Requirement が is not established = 弁偁", とする form of 弁検出法を考案し成した. Detailed: When the discussion of the モデルはグラフStructural Department means the Structure Department から成り, 20 Requirements のうちThe の5つはグラフstructure のみにかかる requirement, the residual りの15は means the structure に and ぶrequisite となる. ４つのグラフstructureに対するrequisitesが満たされるoccasionには必ず8つのmeaning structureにThe establishment of the necessary conditions means the existence of the structure, and the proof of the establishment of the inverse of the structure. Constructing the discussion and arranging the various requirements of the Python installation.これによって, モデル化された Discussion on whether or not there is an automatic test certificate is possible. The proof of each requirement is calculated and the complex nature is required. The result is the result, the requirement group is the set of requirements, the proof is the general polynomial time, and the operation is the same. The proposal method of large-scale discussion is the use of the method, and the discussion method of the topic is the simplification and abstraction method, and the construction method is necessary.これについてはFuture researchをAdvancedめていきSolution decisionをExamination caseするPredeterminedである. Argumentative research on artificial intelligence. The position of this research result is: Argumentative research on form. Argumentative research on mathematics and physics. The construction of the inference and the abstract discussion, the meaning of the construction and the abstract discussion of the structure and the center of the discussion. The former においては, the relationship between opinions and claims, and the criticism of えられたものとみなされ, example えばグラフ上のRelationship が, opinion proposition のmeaning を consideration し た に Bend に criticism relationship を 成 し て い る か を judgment で き な い. The latter is the relationship between the opinions and claims in the discussion, and the relationship between the opinions and claims is considered.ぼTheoretical Contradiction=Critical を抗通すため, Present 実のcritical relationship をReflection できていない. The results of this research are part of the solution.

项目成果

Theme Aspect Argumentation Model for Handling Fallacies

处理谬误的主题方面论证模型

• 发表时间: 2022
• 期刊: arXiv
• 作者: 浅川翔;鈴木良弥;李吉吃;福本文代;Ryuta Arisaka
• 通讯作者: Ryuta Arisaka