一階述語論理形式の定義
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/11/04 08:12 UTC 版)
「STRIPS」の記事における「一階述語論理形式の定義」の解説
一階述語論理形式の定義では、命題論理形式のアクション集合にパラメータの概念を導入する。ここでアクションは ⟨ p a r a m , p r e , e + , e − ⟩ {\displaystyle \langle param,pre,e^{+},e^{-}\rangle } で表され、 p r e , e + , e − {\displaystyle pre,e^{+},e^{-}} は p a r a m {\displaystyle param} で修飾される。
※この「一階述語論理形式の定義」の解説は、「STRIPS」の解説の一部です。
「一階述語論理形式の定義」を含む「STRIPS」の記事については、「STRIPS」の概要を参照ください。
- 一階述語論理形式の定義のページへのリンク