ツールね解集合プログラム

解集合プログラミング(Answer Set Programming) 論理プログラミングの歴史とASP概要

デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される複雑な知識情報を表現するためのツールとしての解集合プログラム

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

タイトルとURLをコピーしました