Open2
Declarative Decision Making
要件
- 人間の指示、および自動的な意思決定を宣言的に行う
定義
宣言的 :達成したい状態を宣言すると手法を自動で選択し実行する
手続き的 :実行する内容を実行する
性質
- 実体
- 宣言的→(未実装)Declaration
- 手続き的→
ProcessProcessは実行単位なので別の名前をつくる
- 終了状態
- 宣言的→達成もしくは失敗する
- 手続き的→終了状態があるのみ
仕様
構造
- 親子構造
- Declarationは前提となる条件を子Declarationに達成させる
- 自身の達成に利用できるProcess一覧をもつ
- 起動されるとProcess一覧から最適のものを選択する
- reallocating/reparenting
- 終了時にリソースが待機状態になるため別のタスクに割り当てる
インターフェース
- 入力
- 達成したい状態
- 出力
- 成功/失敗
- 副作用
- 必要な実行
TODO
- onetime processをdeclarationに再構成する
参考文献
建築の妨害
- 親declaration:
- 経済に対する遅滞