LISP Knowledge Information Processing Technologies Overview of techniques for handling the most important knowledge information in artificial intelligence tasks. 2021.12.19 LISPprologSymbolic Logicエキスパートシステム:expertsystemセマンテックウェブ技術:Semantic web Technologyデータベース技術:DataBase Technology推論技術:inference Technology数理論理学検索技術:Search Technology
推論技術:inference Technology Answer Set Programming: A Brief History of Logic Programming and ASP A solution set program as a tool for representing complex knowledge information used in digital transformation and artificial intelligence tasks. 2021.12.19 推論技術:inference Technology数理論理学
