4

Cycまたは同様のナレッジベースプロジェクトでの表現可能性の制限は何ですか。

表現できない概念はありますか?どんなコンセプトでも表現できるプロジェクトはありますか?

Cyc の構文はまだわかりませんが、一例を次に示します。

 (forAll ?CAT 
  (implies 
    (isa ?CAT DomesticCat) 
    (eatsWillingly ?CAT Meat)))

(意味は、飼い猫は猫であり、猫は喜んで肉を食べるということだと思います!)

したがって、この質問に答える人が Cyc の言語を完全に知っていると仮定すると、彼への私の質問は、「cyc で表現できない概念は何ですか?」ということになります。

たとえば、このコンセプト:

「気づかないうちに、どうしてここまで落ちることができるのか」。

このステートメントを完全に表現できる知識表現言語はありますか?

しかし、私の本当の質問は... あらゆる概念を表現できる知識表現言語があるかどうかです。私の知る限り、あらゆる種類の概念を表現できるプロジェクト (cyc、wordnet、prolog、またはその他のもの) はまだありません。しかし、私はそれを断言できるほど Cyc をよく知りません。

4

2 に答える 2

4

知識は多面的なテーマであり、私が覚えている古い格言は、「体についての知識を得るには、理由を説明する体が必要です」のようなものです。

これが意味することは、私たちの知識の多くは論理的に表現できず、学際的なアプローチを必要とするということです。

自然言語ドメインで実用的なものにアプローチしたい場合は、Attemptoを研究 (つまり、ドキュメントを読み、インストールして遊ぶ) することができます。それは「統制された英語」の言語であり、学習できる理由があります。

制限された言語は、知識表現媒体として活発に開発されており、非常に興味深い技術です。

于 2012-01-30T14:03:25.563 に答える
4

上記のステートメントは、実際には「すべての飼い猫が喜んで肉を食べる」ことを意味するだけです. 変数は単なる変数です (その名前にもかかわらず)。

CycL の表現力に関しては、原則として、ほとんど何でも表現可能であり、それは n 次言語 (ただし、局所的には 2 次を超えることはめったにありません) であり、完全に拡張可能です。いつでも必要な語彙を作成し、必要なセマンティクスを「吹き込む」ことで、「気付かないうちに、どうしてここまで落ちることができるのか?」という質問を表現することができます。とはいえ、Cyc プロジェクトの基本は、これらの表現に基づく推論です。この目的のために、すべてが許されるかもしれませんが、すべてが有益であるとは限りません。したがって、十分なボキャブラリとルールを備えたナレッジ ベースを構築して、(たとえば、公人が失脚することを推論するには) 時間がかかり、その 1 つのステートメントを表すだけでなく、かなり多くの作業が必要になる場合があります。

また、CycL は、私たちが話している概念を表現できる言語として意図されていることは注目に値しますが、必ずしも私たちがそれらについて話す方法と類似した方法であるとは限りません。では、「気づかないうちに、どうしてここまで落ちることができるのでしょうか?」比喩的な手荷物のすべてを備えたCycLで表されることはないでしょう。社会的地位(または、質問が文字通りの意味である場合は空間的)を含む語彙と、自分自身の社会的(空間的)状況に対する個人の認識を含む語彙を使用する可能性が最も高いでしょう。これは CycL で実現できます。さらに、Cyc は、そのような質問に対して満足のいく説明的な回答を提供することができます (適切なルールなどが整っている場合)。

于 2012-07-31T14:00:29.567 に答える