一次ロジックを使用した知識ベースの基本的、複雑な、および用語の事実の違い

Question

私は素晴らしい本を読んでいます 知識の表現と推論 ロナルド・ブラックマンとヘクター・レベスク。

第3章「語彙」のセクション3.2の「語彙」の最初に、「知識を表現する」と述べています。

KB（ナレッジベース）を作成する際には、KBのドメインに関する事実の基礎を提供するドメイン依存の述語と機能のセットから始めることをお勧めします。

同じセクションでは、これらの事実は3つのカテゴリで分離されています。

• 基本的な事実
• 複雑な事実
• 用語の事実

章全体を読んだ後、これらのタイプの事実の違いを完全に理解できませんでした。

誰かが私がこれらの概念の違いを理解するのを手伝ってくれますか？

Answer 1

§3.2では、次の4つの文法カテゴリを区別し、いくつかの例があります。

Predicates: Woman, Rich, Beautiful, Bankrupt
Relations: LivesAt, HadAnAffairWith, Loves
Functions: fatherOf, bestFriendOf, ceoOf
Individual constants: maryJones, johnQSmith, tomsHouse

バックグラウンドでは、アイデンティティを備えた1次ロジックがあります。つまり、定量化が可能になります。 個人 変数。この機械の中で、§§3.3–5では、3種類の事実を紹介します。

基本的な事実 です 原子文 そして彼ら 否定.

原子文 で作られているそれらの文は次のとおりです。

1. A [述語] + [個人]。 EG：女性（メアリージョーンズ）
2. n-ary [lations] + n [個人] s。 EG：愛（メアリージョーンズ、トムシュー）
3. 個人] + "=" + [個人]。 EG：Maryjones = Marysmith

ご了承ください 関数 個々の定数に適用されることも、個人（例えば、父親（メアリージョーンズ）は個別）を示します。だから、条項（1〜3）には、個人を示す機能的な式を可能にするために、「個々の定数」ではなく「個々」という言葉が含まれます。 否定 原子文は次のように定義されます。文は原子文の否定である場合、原子文の場合。

複雑な事実 です 基本的な事実 ブールの下で閉じた コネクティブ と 数量詞.

それは次のことを言うだけの派手な方法です：（i）基本的な事実は複雑な事実であり、（ii）φとψが複雑な事実である場合、¬φ、（φ∧ψ）、（φ∨ψ）、（φ→ψ） ）、および∀xφも複雑な事実です。それらは、pの複雑な事実の次の例を示しています。 34：∀y[rich（y）∧man（y）→loves（y、jane）]]（すべての金持ちはジェーンを愛しています）。

pで注意してください。 36彼らは複雑な事実の中で「ジェーン¬=ヨハネ」のような文をリストし、彼らがそうであることを示唆しています いいえ 基本的な事実。しかし、彼らはそうです。それが、あなたがタイプの違いを見るのに苦労していた理由だと思います。基本的な事実の定義（上記参照）により、「ジェーン¬=ジョン」のような文は基本と見なされます。 否定 の 原子文 「Jane = John」など。

用語の事実 それは 複雑な事実 公理的または定義的に真実であると考えられています。

彼らにとってより良い用語は、「定義的事実」または「意味するという意味」です（Rudolf Carnapが呼ぶように）。述語の人を考えてみてください。誰かが男性である場合、私たちは、この人を見ることなく、彼が女性ではないことを知っています。それは定義的に真実です！私たちは、男性と女性が用語であると述べているその論理的な関係を用語学的事実とキャプチャします：∀x[Man（x）→¬woman（x）]。これは、用語の事実の一例にすぎません。さらに、36〜7ページに記載されています。彼らは理解するのにかなり簡単です。

これが区別を明確にするのに役立つことを願っています。