[論文レビュー] A Model for Interactive Scores with Temporal Constraints and Conditional Branching

Mauricio Toro, Myriam Desainte‐Catherine+1 more|arXiv (Cornell University)|Oct 9, 2015

Constraint Satisfaction and Optimization参考文献 4被引用数 17

ひとこと要約

本稿では、時刻的関係と条件分岐を統合するために、時刻付き条件関係（TCRs）を導入することで拡張されたインタラクティブスコア（IS）のモデルを提案する。このモデルは、実行フローを管理するための時刻的ポイントと条件を用い、選択肢、ループ、ランダムな持続時間の制御を可能にする。マルイオナのマルチメディアインスタレーションを事例として提示し、このような状況では、常に剛性のある持続時間が保たれるとは限らないことを示している。

ABSTRACT

Interactive Scores (IS) are a formalism for the design and performance of interactive multimedia scenarios. IS provide temporal relations (TR), but they cannot represent conditional branching and TRs simultaneously. We propose an extension to Allombert et al.'s IS model by including a condition on the TRs. We found out that in order to have a coherent model in all possible scenarios, durations must be flexible; however, sometimes it is possible to have fixed durations. To show the relevance of our model, we modeled an existing multimedia installation called Mariona. In Mariona there is choice, random durations and loops. Whether we can represent all the TRs available in Allombert et al.'s model into ours, or we have to choose between a timed conditional branching model and a pure temporal model before writing a scenario, still remains as an open question.

研究の動機と目的

• 既存のインタラクティブスコアモデルが、同時に条件分岐と時刻的関係をサポートする点に限界を示していることに対処する。
• マルイオナのようなインスタレーションで一般的な、選択肢、ループ、ランダムな持続時間を含む、動的でインタラクティブなマルチメディアシナリオを可能にする。
• 実行時における条件に基づく意思決定を許容しつつ、時刻的一致性を保つ形式的モデルを構築する。
• 条件分岐と組み合わせた場合に、剛性のあるおよび準剛性のある持続時間を保持できるかを調査する。
• マルイオナのマルチメディアインスタレーションを事例に、本モデルの適用可能性を実証する。

提案手法

• AllombertらのISモデルを拡張し、時刻的関係が条件によって制御される時刻付き条件関係（TCRs）を導入する。
• 時刻的関係を時刻的ポイント（開始／終了）で表現し、アレンの区間関係（例：「接続」、「包含」）を、条件チェックを伴うTCRsとして符号化する。
• 条件がローカル環境で評価される制約ベースの実行モデルを用い、関係の活性化を決定する。
• TCRs上の条件ガードを用いて条件分岐をモデル化し、パフォーマンス中における実行パスの動的選択を可能にする。
• 親オブジェクトの環境を考慮して条件を評価することにより、階層を越えた関係をサポートする。
• 持続時間が明示的に制約されない限り可変に保つことで柔軟性を維持し、剛性のある持続時間が依然として保持できるケースを分析する。

実験結果

リサーチクエスチョン

• RQ1 条件分岐と時刻的関係を、1つの形式的モデルに統合することは可能か？
• RQ2 条件分岐と時刻的関係を組み合わせた場合、剛性のあるおよび準剛性のある持続時間を保持する制約は何か？
• RQ3 『接続』や『包含』のような時刻的関係を、動的実行モデルにおいて条件付きガード付き関係として符号化するにはどうすればよいか？
• RQ4 剛性のある持続時間が条件分岐と共存できる状況はどのようなものか？その構造的または論理的条件は何か？
• RQ5 ループ、ランダムな遅延、ユーザー主導の選択肢といった複雑なマルチメディア行動を、提案されたモデルを用いて形式的に表現・実行することは可能か？

主な発見

• 提案されたモデルは、条件付きガード付きの時刻付き条件関係（TCRs）を用いて、条件分岐と定性的な時刻的関係（例：「AはB中に再生されなければならない」）を効果的に統合している。
• 条件分岐を含むすべての実行パスにおいて一貫性を保つために、柔軟な持続時間が必要となるため、剛性および準剛性のある持続時間は、すべての状況で保持できない。
• 適切な条件を用いて符号化することで、元のAllombertらのISモデルに含まれるすべての定性的な時刻的関係を、本モデルで表現可能である。
• マルイオナのマルチメディアインスタレーションは、本フレームワークを用いて成功裏にモデル化され、選択肢、ループ、ランダムな持続時間、階層を越えた関係のサポートが確認された。
• 定量的時刻的関係（例：「Aの持続時間は3秒である」）は、条件分岐の下では普遍的に保持できないが、制約が適切に構築された特定のケースでは、その保持が可能である。
• 本モデルは、非決定的ループ終了やユーザー主導のパス選択といった動的実行行動を可能にし、マルイオナの事例研究により検証された。