多値論理

論理学をつくる第4部-論理学はここから先が面白い非古典論理読書メモ

人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(非古典論理、多値論理、直観主義論理、様相論理)

2021.11.21

推論技術:inference Technology数理論理学:Mathematical logic

論理学をつくる第1部論理学をはじめる読書メモ

人工知能、数学の基礎のための論理学の教科書(命題論理から述語論理、そして意味論と多値論理、直感主義論理)

2021.10.03

Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic