トランザクション論理プログラミングの実装とプランニングへの応用

• Item type: SIG Technical Reports(1)
• 公開日: 1994-01-19
• タイトル: トランザクション論理プログラミングの実装とプランニングへの応用
• タイトル / 言語: en
• タイトル: An Implementation of Transaction Logic Programming and Its Application to Planning
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: NTT基礎研究所
• 著者所属(英): en
• 著者所属(英): NTT Basic Research Laboratories
• 著者名: 磯崎, 秀樹
• 著者名(英): Hideki, Isozaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 従来のエージェント指向プログラミング言語は，いずれもデータベース更新やプラン処理の論理的扱いが不十分であった．しかし，マルチエージェント環境では自分の知らないことも多く，予想外の事象が生じたりするので，情報の入手とプランの修正は本質的な問題であり，これを論理的に扱うことが重要である．我々はこれらを動的制約として扱い，論理的枠組にのせることを試みる．このため，トランザクション論理を用いてこれらの処理過程を記述した．そしてこの枠組に基づくマルチエージェント系シミュレータTRIASを実装した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Conventional agent-oriented programming languages are weak at dealing with logical formulation of database update and plan processing. But they are essential problems because each agent knows only a small part of the world and unexpected events change the world from time to time. Here we try to formulate them as dynamic constraints in transaction logic. This framework was implemented as a multiagent simulator TRIAS.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11135936
• 書誌情報: 情報処理学会研究報告知能と複雑系（ICS）; 巻 1994, 号 5(1993-ICS-092), p. 1-10, 発行日 1994-01-19
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会