[論文レビュー] Decision Taking for Selling Thread Startup

J.A. Bergstra|arXiv (Cornell University)|Aug 12, 2012

Transportation and Mobility Innovations参考文献 33被引用数 4

ひとこと要約

本稿は、スレッド代数と命令列を用いて、価値ある希少な商品の販売における意思決定プロセスを形式的モデル化する。販売プロセスを段階的な意思決定によって開始されるスレッド起動として定式化し、結果志向的意思決定（OODT）と計算的スレッド実行の間の橋渡しを果たす。これにより、マルチスレッドソフトウェアアーキテクチャ内での構造化された命令列を通じて、意思決定の結果を体系的に生成・実行することが可能になる。

ABSTRACT

Decision Taking is discussed in the context of the role it may play for a selling agent in a search market, in particular for agents involved in the sale of valuable and relatively unique items, such as a dwelling, a second hand car, or a second hand recreational vessel. Detailed connections are made between the architecture of decision making processes and a sample of software technology based concepts including instruction sequences, multi-threading, and thread algebra. Ample attention is paid to the initialization or startup of a thread dedicated to achieving a given objective, and to corresponding decision taking. As an application, the selling of an item is taken as an objective to be achieved by running a thread that was designed for that purpose.

研究の動機と目的

• 不動産やレトロカーなど、高価で希少な商品の販売文脈における意思決定を形式化すること。
• 結果志向的意思決定（OODT）とスレッド実行および命令列の計算モデルを結びつけること。
• 段階的意思決定型を用いた販売プロセスにおけるスレッド起動の理論的枠組みを構築すること。
• マルチスレッドやスレッド代数といったソフトウェア工学的コンセプトが、複雑で高リスクな販売における意思決定をどのようにモデル化・支援できるかを検討すること。
• OODT用語と低レベルの計算的スレッド動作との間に意味的不整合を生じさせないよう、一貫性を保証すること。

提案手法

• 販売プロセスを、段階的意思決定によって起動される専用スレッドとしてモデル化し、意思決定プロセスの起動を定式化する。
• スレッド代数と命令列効果化を用いて、意思決定準備および実行の計算的フローを表現する。
• 意思決定によって生成される「意思決定結果」（規範的情報モジュール）を、その効果化とは明確に区別する。
• 人間のオペレータが、スレッド起動前に安全に実行可能かどうかを確認するために停止問題ソルバを用いる、行動決定のためのプロトコルを導入する。
• グループのリーダーが、OODTスタイルの意思決定を用いて、オペレータ間で一貫性のある意思決定プロトコルを標準化する役割を形式化する。
• 機械的動作はスレッドの起動を意思決定しないが、停止解析などの事前条件に基づいて、人間のオペレータがその意思決定を行うことの正当性を確立する。

実験結果

リサーチクエスチョン

• RQ1 計算的スレッドモデルを用いて、希少で高価な商品の販売における意思決定をどのように形式化できるか。
• RQ2 段階的意思決定が、複雑な販売プロセスにおける意思決定スレッドの起動に果たす役割は何か。
• RQ3 命令列とスレッド代数を用いて、販売における意思決定プロセスの起動と実行をどのようにモデル化できるか。
• RQ4 OODT原則は、スレッド生成や命令効果化といった低レベルのソフトウェア実行メカニズムと、どのように一貫して一致させられるか。
• RQ5 自動化システムが自律的に意思決定ができない場合、人間のオペレータは意思決定の起動においてどのような役割を果たすか。

主な発見

• 本稿は、高価または希少な商品の販売における意思決定が、特に段階的意思決定によって起動されるスレッド起動としてモデル化可能であることを確立している。
• 意思決定結果（規範的情報モジュール）がその効果化とは明確に異なることから、意思決定プロセスにおける責任の分離が明確に保証されることを示している。
• 命令列とマシンアーキテクチャクラスの使用により、特に停止問題解析を通じてスレッドセーフティの形式的検証が可能になる。
• 人間オペレータのスレッド起動における役割は、意思決定の実施ではなく、行動決定として位置づけられ、理論的意味で意思決定と実行の区別が保たれる。
• グループリーダーは、OODTスタイルの意思決定を用いて、オペレータ間で一貫性のあるスレッド起動プロトコルを強制でき、標準化が可能になる。
• OODT用語と計算的スレッド動作との間に意味的不整合を生じさせず、ソフトウェア工学ツールへの実用的統合を可能にする。