PSLオントロジーの構造と基本概念

複雑な事象やオブジェクトの関係性をコンピュータが処理可能な形式で定義するためには、強固な基盤となる「オントロジー（概念体系）」が不可欠です。PSL（Planning and Scheduling Language）のオントロジーは、現実世界の出来事や時間を記述するための共通言語を提供し、高度な概念構築を可能にする設計となっています。

この体系では、CLIF (Common Logic Interchange Format) という共通論理交換フォーマットが採用されており、これにより概念、定数、関数、および関係性を厳密に表現しています。

Key Facts

• PSLオントロジーは、オブジェクト、活動、時間点などのプリミティブ（基本）概念で構成されている。
• CLIFフォーマットを用いて、論理的な関係性や関数を定義している。
• 「活動（Activity）」という抽象的なクラスと、「活動の発生（Activity-occurrence）」という具体的なイベントを明確に区別している。
• 時間的な前後関係や存在範囲を定義するための専用関数と関係性が組み込まれている。

PSLを構成する4つの基本クラス

PSLのトップレベルは、世界を構成する要素を以下の4つの主要なクラスに分類することで、一貫性のある記述を実現しています。

1. Activity（活動）

これはアクションの「種類」や「クラス」を指します。例えば、「部品の取り付け」という作業そのものの定義がこれに当たります。個別の出来事ではなく、どのような動作であるかという概念的な定義です。

2. Activity-occurrence（活動の発生）

Activityが概念であるのに対し、こちらは「いつ、どこで」実際に起きた具体的なイベントを指します。例えば、「〇月〇日〇時に、特定の部品を取り付けた」という個別の事象がこれに該当します。

3. Timepoint（時間点）

時間軸上の特定の一点を定義する概念です。イベントの開始や終了、あるいは特定の状態が保持されている瞬間を特定するために使用されます。

4. Object（オブジェクト）

時間点や活動以外のあらゆるものを指します。物理的な部品や設備など、システム内で扱う実体が含まれます。

論理的な関係性と機能の定義

これらの基本クラスを相互に結びつけ、意味を持たせるために、PSLでは特定の関数と関係性が定義されています。これにより、「誰が何に参加し、いつそれが起きたか」という文脈を記述できます。

利用される関数と定数

時間の範囲を特定するための beginof（開始点）や endof（終了点）といった関数が用意されています。また、無限大を表現する inf+ および inf- という定数が定義されており、時間的な境界のない状態を記述可能です。

定義されている関係性

要素間のつながりを定義するために、以下のような関係性が用いられます。

• occurrence_of: 具体的な発生がどの活動クラスに属するかを紐付けます。
• participates_in: オブジェクトがどの活動に関与しているかを示します。
• between / before: 時間的な順序や間隔を定義します。
• exists_at / is_occurring_at: オブジェクトの存在や活動の発生タイミングを時間点と結び付けます。

PSLオントロジーの構成要素まとめ

PSLオントロジーの基本コンポーネント

カテゴリ	構成要素	役割・意味
プリミティブ概念	Object, Activity, Activity-occurrence, Timepoint	世界を構成する最小単位のクラス
定数	inf+, inf-	正負の無限大の表現
関数	beginof, endof	活動の開始・終了時間の抽出
関係性	occurrence_of, participates_in, before, etc.	概念間の論理的なつながりの定義

Frequently Asked Questions

ActivityとActivity-occurrenceの違いは何ですか？

Activityは「部品の取り付け」のような作業の定義（テンプレート）であり、Activity-occurrenceは「ある日の10時に行われた特定の取り付け作業」という実際の出来事を指します。

CLIFとはどのような役割を果たしていますか？

Common Logic Interchange Formatの略で、PSLにおける概念や関係性を、コンピュータが解釈可能な共通の論理形式で表現するためのフォーマットとして機能しています。

時間的な順序はどのように表現されますか？

before や between といった関係性を用いることで、ある事象が別の事象より前に起きたか、あるいは特定の時間点の間にあるかを定義します。

Objectクラスには何が含まれますか？

時間点（Timepoint）および活動（Activity）に該当しないすべての要素が含まれます。一般的には、操作対象となる物理的なモノなどがこれに当たります。