Cycまたは同様のナレッジベースプロジェクトでの表現可能性の制限は何ですか。
表現できない概念はありますか?どんなコンセプトでも表現できるプロジェクトはありますか?
Cyc の構文はまだわかりませんが、一例を次に示します。
(forAll ?CAT
(implies
(isa ?CAT DomesticCat)
(eatsWillingly ?CAT Meat)))
(意味は、飼い猫は猫であり、猫は喜んで肉を食べるということだと思います!)
したがって、この質問に答える人が Cyc の言語を完全に知っていると仮定すると、彼への私の質問は、「cyc で表現できない概念は何ですか?」ということになります。
たとえば、このコンセプト:
「気づかないうちに、どうしてここまで落ちることができるのか」。
このステートメントを完全に表現できる知識表現言語はありますか?
しかし、私の本当の質問は... あらゆる概念を表現できる知識表現言語があるかどうかです。私の知る限り、あらゆる種類の概念を表現できるプロジェクト (cyc、wordnet、prolog、またはその他のもの) はまだありません。しかし、私はそれを断言できるほど Cyc をよく知りません。