資料紹介

【東京大学】【優】

資料の原本内容 ( この資料を購入すると、テキストデータがみえます。 )

知能コンピューティング　レポート課題（プランニング2008）
１．
(a)

述語の定義：

At(x, y):xがyにいる

SameRoom(x, y):xとyは同じ部屋である

LightOn(s):sのスイッチがONになっている
ロボットの４つの行為：

①ロボットがxからyに移動する

Op(Action:go(x,y), precond:SameRoom(x, y)∧At(Rob, x), effect:At(Rob, y)∧￢At(Rob, x)

②箱bをxからyに移動する

Op(Action:push(b,x,y), precond:SameRoom(x, y)∧At(Rob, x)∧At(b, x), effect:At(Rob, y)∧￢At(Rob, x)∧At(b, y)∧￢At(b, x)

③証明スイッチsをOnにする

Op(Action:turnon(s), precond: At(Rob, s)∧￢LightOn(s), effect:LightOn(s)

④証明スイッチｓをOffにする

Op(Action:turnoff(s), precon...

コメント0件