WEKO3
-
RootNode
アイテム
アジェンダ・コントロールに基づく並行実行Prolog
https://ipsj.ixsq.nii.ac.jp/records/51358
https://ipsj.ixsq.nii.ac.jp/records/513583ce6f8e5-6abc-4368-b89f-582d2438a2a4
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1987 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1987-09-17 | |||||||
タイトル | ||||||||
タイトル | アジェンダ・コントロールに基づく並行実行Prolog | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | A CONCURRENT EXECUTION PROLOG BASED ON AN AGENDA CONTROL | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
東京工業大学大学院・総合理工学研究科・システム科学 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Systems Science, Tokyo Institute of Technology | ||||||||
著者名 |
畝見, 達夫
× 畝見, 達夫
|
|||||||
著者名(英) |
Tatsuo, Unemi
× Tatsuo, Unemi
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | アジェンダ・コントロールに基づいて擬似並列的に実行されるProlog処理系について報告する.本処理系は,弱いヒューリスティクスに基づく探索を行なう,人工知能や認知科学への応用を念頭に設計されている.アジェンダは解くべきゴールに対応するタスクのリストであり,タスクは優先度の高い順に整列されている.アジェンダ中の上位のN個のタスクを取り出し1ステップずつ実行した後,再びアジェンダに登録するという過程を繰り返す.タスクの生成,消滅,休止,再開,優先度の変更,およびタスク間の通信を行なうために述語,および並列ORを実現する組み込み述語を用いて柔軟な探索戦略をプログラム化できる.さらに,プログラムの開発環境としてマルチウィンドウを用いて全体のタスクの生成状況や各タスクの実行状況を監視する機能も備えている. | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | A PROLOG interpreter which can run in a pseudo concurrent way based on an agenda control is presented. The design of this interpreter is made to build a program which has to do search with weak heuristics. The agenda is a list of tasks. Each task corresponding with each goal that should be solved has its own priority. N higher executable tasks on the agenda are executed by one step in each execution cycle. It is possible to encode some sort of flexible search strategies using the built-in predicates which arc to manipulate task schedule. Additionally, it has facilities using the window system to monitor the aspects of task creation and execution. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AA11135936 | |||||||
書誌情報 |
情報処理学会研究報告知能と複雑系(ICS) 巻 1987, 号 63(1987-ICS-054), p. 1-8, 発行日 1987-09-17 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |