含意演算を中心とした量子論理に基づく推論および計算理論の展開

• 研究課題/領域番号: 24K03372
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 審査区分: 小区分01010:哲学および倫理学関連
• 研究機関: 大分工業高等専門学校
• 研究代表者: 徳尾 健司 大分工業高等専門学校, 情報工学科, 教授 (20455182)
• 研究期間 (年度): 2024-04-01 – 2027-03-31
• 研究課題ステータス: 交付 (2024年度)
• 配分額: 2,080千円 (直接経費: 1,600千円、間接経費: 480千円); 2026年度: 650千円 (直接経費: 500千円、間接経費: 150千円); 2025年度: 650千円 (直接経費: 500千円、間接経費: 150千円); 2024年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
• キーワード: 量子論理 / オーソモジュラ―束 / 含意演算

研究開始時の研究の概要

性質の良い含意演算を核とした量子論理の体系を用いることにより，量子論理に基づく推論・計算がどのようにして，またどの程度まで可能であるかを，次の段階に分けて考究する．【第1段階】Sasaki hook を含意演算，and-then 演算を連言演算とした量子論理の証明体系と，対応するλ計算の体系を構築する．【第2段階】証明体系およびλ計算の体系に関する諸性質を検証する．【第3段階】 第3段階：体系内で実行可能な推論や計算について具体的に考察する．