Les différences entre les faits de base, complexes et dans une base terminologique de connaissances en utilisant du premier ordre logique

Question

J'ai lu l'excellent livre connaissances Représentation et Raisonnement par Ronald Brachman et Hector Levesque.

Au début de la section 3.2 « Vocabulaire » du chapitre 3 « Exprimant la connaissance » ils déclarent:

Dans la création d'un KB (Base de connaissances), il est une bonne idée de commencer par l'ensemble des prédicats dépendant du domaine et des fonctions qui fournissent la base des faits sur le domaine du KB.

Dans la même section, ces faits sont séparés en trois catégories:

• Données de base
• faits complexes
• faits Terminologiques

Après avoir lu tout le chapitre je ne pouvais pas tout à fait comprendre les différences entre ces types de faits.

aide quelqu'un peut me comprendre les différences entre ces concepts?

Answer 1

En §3.2 ils distinguent les quatre catégories grammaticales suivantes, avec quelques exemples:

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

Dans le fond, ils ont une logique de premier ordre avec l'identité, ce qui signifie qu'ils permettent de quantifier que sur individuels les variables. Au sein de cette machine, aux §§ 3.3-5 ils introduisent les trois types de faits.

Données de base sont phrases atomiques et leur négations .

phrases atomiques sont les phrases qui sont faites de:

1. un [prédicat] + un [individuel]. .: Femme par exemple (maryJones)
2. un [relation] n-aire + n [individu] s. .: (Loves par exemple maryJones, tomsHouse)
3. une [personne] + "=" + un [individuel]. .: maryJones = par exemple MARYSMITH

Notez que Fonctions appliqué à des constantes individuelles aussi des individus (par exemple, désignent, fatherOf (maryJones) est un individu), c'est pourquoi les clauses (1-3) comprennent le mot « personne » plutôt que « personne constante » de manière à permettre également des expressions fonctionnelles dénotant personnes. négations de phrases atomiques sont définies comme suit:. Une phrase ¬M est une négation d'une phrase atomique ssi S est une phrase atomique

faits complexes sont faits de base fermé sous booléen conjonctions et quantificateurs .

C'est juste une façon élégante de dire que: (i) des faits de base sont faits complexes, et (ii) si f et ? sont des faits complexes, puis ¬f, (f ? ?), (f ? ?), ( f ? ?) et ?xf sont également faits complexes. Ils donnent l'exemple suivant d'un fait complexe p. 34: ?y [Rich (y) ? Homme (y) ? Loves (y, jane)] (tout homme riche aime Jane)

.

Méfiez-vous que p. 36 on trouve une liste des phrases comme « jane ¬ = john » parmi les faits complexes, ce qui suggère qu'ils sont pas faits de base. Mais ils sont. Je pense que ce pourquoi vous avez eu du mal à voir la différence entre les types. Par la définition des faits de base (voir ci-dessus), des phrases comme « jane ¬ = john » sont considérés comme base, parce qu'ils sont les négations de phrases atomiques tels que « jane = john ».

faits Terminologiques sont faits complexes prises pour être axiomatique ou définitionnel vrai.

Un meilleur terme pour eux serait « faits » ou « définitionnelles sens postulats » (comme Rudolf Carnap les appelle). Considérez le prédicat Man. Si quelqu'un est un homme, on le sait, sans avoir à voir cette personne, qu'il n'est pas une femme; il est vrai définitionnel! Nous saisissons cette relation logique entre prédicats Homme et Femme avec le fait terminological: ?x [Homme (x) ? ¬Woman (x)]. C'est seulement un exemple d'un fait terminological; d'autres se trouvent sur les pages 36-7. Ils sont assez simples à comprendre.

Espérons que cela aide à clarifier la distinction.