デカルト言語のwikiのページで「デカルト言語による論理的なA.I : 自然言語による論理」の連載を開始しました。
http://sourceforge.jp/projects/descartes/wiki/FrontPage
デカルト言語による自然言語による論理処理を行うA.Iを作成していきます。
どんなA.Iかというと、次に示すようなものです。
「aは、bである。」,「bは、cだ。」と入力すると、a→b, b→cの関係を覚えます。 「aならば、cか?」と訊くと、三段論法でa→cを推論し、「はい。なぜならば、 aならば、bである。 bならば、cである。」と答えます。
まだまだ、融通が利かないですが、ちょっと知的な振る舞いをするA.Iを、デカルト言語によって実装します。
ちょっとずつでも記事を追加していき、なんとか完成させたいと思っていますが、 興味ある方は、ぜひご覧になってください。