知能コンピューティングレポート課題

会員540円 | 非会員648円
ダウンロード カートに入れる
ページ数4
閲覧数104
ダウンロード数0
履歴確認

    ファイル内検索

    タグ

    資料紹介

    【東京大学】【優】

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

    知能コンピューティング レポート課題(プランニング2008)
    1.
    (a)
    述語の定義:
    At(x, y):xがyにいる
    SameRoom(x, y):xとyは同じ部屋である
    LightOn(s):sのスイッチがONになっている
    ロボットの4つの行為:
    ①ロボットが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)
    ④証明スイッチsをOffにする
    Op(Action:turnoff(s), precond: At(Rob, s..

    コメント0件

    コメント追加

    コメントを書込むには会員登録するか、すでに会員の方はログインしてください。