Logical foundations of knowledge representation and reasoning systems

知识表示和推理系统的逻辑基础

• 批准号: 26330263
• 负责人: KAMIDE Norihiro
• 金额: $ 2.08万
• 依托单位: Teikyo University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2014
• 资助国家: 日本
• 起止时间: 2014-04-01 至 2019-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-26330263/
• 关键词: 非古典論理; 矛盾許容論理; 時間論理; モデル検査; 埋め込み定理; 完全性定理; カット除去定理; シーケント計算

项目成果

Embedding from multilattice logic into classical logic and vice versa

从多格逻辑嵌入经典逻辑，反之亦然

• DOI: 10.1093/logcom/exw015
• 发表时间: 2017
• 期刊: Journal of Logic and Computation
• 影响因子: 0.7
• 作者: Norihiro Kamide;Yaroslav Shramko
• 通讯作者: Yaroslav Shramko

An Extended First-Order Belnap-Dunn Logic with Classical Negation

具有经典否定的扩展一阶 Belnap-Dunn 逻辑

• DOI: 10.1007/978-3-662-55665-8_6
• 发表时间: 2017
• 期刊: Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science, vol 10455
• 作者: Norihiro Kamide;Hitoshi Omori
• 通讯作者: Hitoshi Omori

Combining paraconsistency and probability in CTL

在 CTL 中结合次一致性和概率

• 发表时间: 2015
• 期刊: Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015)
• 作者: 安部 弘通;木下 和弥;馬場 謙介;髙野 茂;村上 和彰;Norihiro Kamide and Daiki Koizumi
• 通讯作者: Norihiro Kamide and Daiki Koizumi

矛盾許容モデル検査のための論理と翻訳

不一致模型检查的逻辑和翻译

• 发表时间: 2017
• 作者: 遠藤一樹;松尾洋祐;上出哲広
• 通讯作者: 上出哲広

Ruhr-University Bochum(Germany)

波鸿鲁尔大学（德国）