Detection of Lies/Misinformation Based on Dynamic Epistemic Logic, and Application to a Game with Incomplete Information
基于动态认知逻辑的谎言/错误信息检测及其在不完全信息博弈中的应用
基本信息
- 批准号:21K17813
- 负责人:
- 金额:$ 3万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Early-Career Scientists
- 财政年份:2021
- 资助国家:日本
- 起止时间:2021-04-01 至 2023-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
本研究は、認識の変化を形式的に扱う論理である動的認識論理を用いて、これの発展体系として嘘や誤情報といった不確かな情報を形式的に扱うことを目的としている。昨年度は、OpenAI社のChatGPT(GPT-3, GPT-4)を筆頭に大規模言語モデルがあらゆる場面で話題を席巻した。それに伴いChatGPTの応答に見られるhallucinationとよばれる現象、偽情報をあたかも本当のことのようにアウトプットする現象(深層学習モデルに人間の意図に相当するものを持ち合わせていないが、端的に言えば虚情報)が多くの人に知られた。同様に、Deepfakeなどの映像や画像における生成系AIのめざましい発展と、それらが偽情報の作成に悪用され始めたことでインターネット上における嘘情報を見抜く必要性が広く認知された年であったと言える。また、ChatGPT(GPT-3、GPT-4)の驚異的な性能が本研究の研究手法にも影響を与えると考えている。たとえば、従来困難だった自然言語から論理式への変換作業を、GPT-3を適切な教師データでファインチューニングすることで容易にすることが可能である。そのため、昨年度は、この変換作業を通じて、SNSやブログなど特定の文脈で暗躍するチャットボットの嘘情報に対して、本研究の嘘探知の仕組みを適用できる可能性を検討した。GPTのファインチューニングを適切に活用することで、自然言語の論理式への変換や様相論理のモデル設計など、これまでの熟練者しかできなかった作業を容易化することができる。それに伴い、形式論理学の研究が実社会で応用される可能性が格段に高まったと言える。今後も生成AIを効果的に活用し、認識論理学の研究への応用可能性を見定めていきたい。
This paper studies the logic of knowledge transformation, the development system of knowledge transformation, and the purpose of knowledge transformation. Last year, OpenAI's ChatGPT (GPT-3, GPT-4) was written on a large scale. For example, if you want to know more about the topic, you can use the following method: In the same way, Deepfake is the image generation system of AI, which is used to create false information. The amazing performance of Chatta, GPT (GPT-3, GPT-4) was influenced by the research methods of this study. It's hard to get natural speech, it's hard to get logical speech, it's hard to get GPT-3, it's hard to get proper teacher speech, it's easy to get proper teacher speech. This paper discusses the possibility of applying the findings of this study to the study of social interaction, social interaction and social interaction. GPT's logic expression and phase logic are used appropriately to make it easier for skilled people to design and use GPT's logic expression and phase logic. The study of formal logic and social application is of high possibility. The possibility of using AI to generate results in the future and studying knowledge theory will be determined.
项目成果
期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Hybrid Reasoning Using Weighted Bipolar Argumentation Framework for Legal Simulation
使用加权双极性论证框架进行法律模拟的混合推理
- DOI:
- 发表时间:2021
- 期刊:
- 影响因子:0
- 作者:K. Nishihana;S. Nomura;and K. Takahashi.
- 通讯作者:and K. Takahashi.
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
野村 尚新其他文献
野村 尚新的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('野村 尚新', 18)}}的其他基金
W.V.クワインにおける存在論の探究-議論領域における個体定項の消去-
W.
- 批准号:
13J05119 - 财政年份:2013
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for JSPS Fellows
相似海外基金
社会的コミュニケーションにおける発話のダイナミクスの動的様相論理による学際的研究
在社交传播中使用语音动力学的动态模态逻辑进行跨学科研究
- 批准号:
23K21869 - 财政年份:2024
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
様相論理KTBとそれを含む様相論理がなす束の構造に関する研究
模态逻辑KTB及包含它的模态逻辑形成的丛的结构研究
- 批准号:
18700002 - 财政年份:2006
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
様相論理に基づいたプログラム解析手法の研究
基于模态逻辑的程序分析方法研究
- 批准号:
15700011 - 财政年份:2003
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
様相論理の濾過法に基づく暗黙知の論理的定式化およびその認知の有限的解釈への適用
基于模态逻辑过滤方法的隐性知识逻辑表述及其在认知有限解释中的应用
- 批准号:
09780305 - 财政年份:1997
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
マルチエージェント環境のための様相論理に対する推論システムの研究
多智能体环境下模态逻辑推理系统研究
- 批准号:
08680397 - 财政年份:1996
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
様相論理の部分式特性とその応用
模态逻辑的子表达式性质及其应用
- 批准号:
07640290 - 财政年份:1995
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
様相論理に基づく知識の表現と推論
基于模态逻辑的知识表示与推理
- 批准号:
63780019 - 财政年份:1988
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
様相論理プログラミングによる時相概念処理の研究
基于模态逻辑编程的时态概念处理研究
- 批准号:
60580020 - 财政年份:1985
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
様相論理を中心とする非古典論理学の研究とその哲学的諸問題への応用
以模态逻辑为中心的非经典逻辑研究及其在各类哲学问题中的应用
- 批准号:
57710002 - 财政年份:1982
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)