Open2

Declarative Decision Making

みつよしみつよし

要件

  • 人間の指示、および自動的な意思決定を宣言的に行う

定義

宣言的 :達成したい状態を宣言すると手法を自動で選択し実行する
手続き的 :実行する内容を実行する

性質

  • 実体
    • 宣言的→(未実装)Declaration
    • 手続き的→ Process Processは実行単位なので別の名前をつくる
  • 終了状態
    • 宣言的→達成もしくは失敗する
    • 手続き的→終了状態があるのみ

仕様

構造

  • 親子構造
    • Declarationは前提となる条件を子Declarationに達成させる
    • 自身の達成に利用できるProcess一覧をもつ
    • 起動されるとProcess一覧から最適のものを選択する
  • reallocating/reparenting
    • 終了時にリソースが待機状態になるため別のタスクに割り当てる

インターフェース

  • 入力
    • 達成したい状態
  • 出力
    • 成功/失敗
  • 副作用
    • 必要な実行

TODO

  • onetime processをdeclarationに再構成する

参考文献