出所マークアップ言語

出所マークアップ言語(略称PML、元々は証明マークアップ言語と呼ばれていた) は、Web 上に公開された情報が情報源からどのように主張されたか、および/またはインテリジェント エージェントによって Web 情報からどのように派生したかについての知識を表現し、共有するための中間言語です。この言語は当初、自動定理証明器(ATP) が一連の公理からどのように結論を導き出すかを説明することを目的として、DARPA エージェント マークアップ言語をサポートするために開発されました。情報、推論ステップ、推論ルール、およびエージェントが、この言語の 3 つの主要な構成要素です。推論ステップのコンテキストでは、情報は前提 (前提とも呼ばれる) と結論の役割を果たすことができます。情報は、基本的に前提のない結論である公理の役割を果たすこともできます。PML では、エージェントのより具体的な他の定義ではなく、エージェントの幅広い哲学的定義を使用します。

その後のプロジェクトで PML が使用されたことで、言語は新たな方向に進化し、ATP や自動推論の領域を超えて出所知識を表現する能力が広がりました。 当初の要件セットは、次の点を含むように緩和されました。知識交換形式で論理文として元々表現されていた情報は、英語を含むあらゆる言語で書かれた情報であることが許可されました。 推論ステップの前提と結論のパターンとして元々定義されていた推論ルールは、識別され、名前が付けられている限り、指定不足でも許可されました。 これらの緩和は、情報抽出コンポーネントを使用してテキストから知識を抽出する方法を説明するために不可欠でした。 自動定理証明器が結論を導き出す必要性の背後にある動機をさらに理解するためにも、機能強化が必要でした。 公理の役割を果たす情報が、情報ソースからのアサーションとしての属性である方法を注釈する新しい機能が追加されました。また、質問と回答の概念が言語に導入され、サードパーティ エージェントに、自動定理証明器を使用して特定の公理セットから定理 (つまり、回答) を証明する理由を説明しました。

PMLの最初のバージョン（PML1）は、2003年にスタンフォード大学の知識システム研究所で開発され、元々はPaulo Pinheiro、Deborah McGuinness、Richard Fikesの共同執筆者でした。^{[1] 2007年に開発されたPMLの2番目のバージョン（PML2）は、保守と再利用のコストを削減するために、PML1を3つのモジュール（}来歴、正当化、信頼関係）にモジュール化しました。 ^[2] World Wide Web ConsortiumのPROVに基づくPMLの新しいバージョン（PML3）が開発中です。 ^[3]

• inference-web.org のメイン ページ リソースと情報。
• PROV-概要