Logic Descriptive

Logic Descriptive

par Mojtaba Bahrami,
Nombre de réponses : 1

Hi

Question 1:

For exercise 3.1 in document Logic Descriptive how we infer GrandParentChoyé : {a, d, e, f, g},for expression :

GrandParentChoyé ≡ ∀aEnfant.(∃aEnfant.⊤)

can we say (∃aEnfant.⊤) ≡ {a, b, c} because before we use it for:

Parent ≡ ∃aEnfant.⊤?

Question 2:

Base on this article we have: Seul le concept universel est permis avec le quantificateur existentiel

Par exemple, on ne peut pas définir la classe des individus qui ont au moins une fille, qui exigerait un énoncée de la forme suivante :∃aEnfant.Femme

but as remember in class we reach to:

Carnivore ≡ humman ⊓ ∃Mange.Viande

Is it correct?

Thanks

En réponse à Mojtaba Bahrami

Re: Logic Descriptive

par Michel Gagnon,

Question 1:

Oui, d'après l'interprétation, on peut affirmer ceci:

 I(∃aEnfant.⊤) = {a, b, c}

 

Question 2:

 "Seul le concept universel est permis avec le quantificateur existentiel" . Ça, c'est seulement dans la logique simple AL, qu'on n'utilise pratiquement jamais. Il est donc vrai que si on se limite à cette famille, on ne peut pas écrire ceci:  ∃aEnfant.Femme

Dans la logique ALE, présentée plus loin dans le texte, cette contrainte n'existe pas. C'est donc dans cette logique qu'il faut comprendre l'exemple de définition de Carnivore que nous avons discuté en classe.