推論技術:inference Technology 論理学をつくる 第4部-論理学はここから先が面白い 非古典論理 読書メモ
人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(非古典論理、多値論理、直観主義論理、様相論理)
推論技術:inference Technology 推論技術:inference Technology Symbolic Logic