推論技術:inference Technology 解集合プログラミング(Answer Set Programming) 論理プログラミングの歴史とASP概要 デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される複雑な知識情報を表現するためのツールとしての解集合プログラム 2021.12.19 推論技術:inference Technology数理論理学
