| PSIのすべてのソフトウェアモジュールは、論理型プログラミングを基本とした言語ESP
(Extended Self-contained Prolog)で記述されています。ESPはPROLOGをベースにしていますが、オブジェクト指向を取り入れ、記述能力を大幅に向上させました。 PROLOGは、三段論法を使用した推論には向いていますが、事実を関係付けるルールの連鎖が膨大になるため、大規模な人工知能の作成には向いていません。 ESPでは、共通の性質を持つ事実（オブジェクト）を一つの集合とし、これを直接扱えるようにしました。ESPでプログラミングすれば、オブジェクト単位でモジュール化できるため、プログラムの記述や手直し、再利用を効率よく行うことができます。 オブジェクト指向を持たせたことで、ESPはシステム記述言語やユーザ言語として使えるようになりました。PSIでは、あらゆるプログラムを、ESPで記述することができます。 |