Scribd Logo
Upload

Welcome to Scribd!

  • 8 views

    Corr TD 6

    Uploaded by

    melazem rym
    1. The document defines several concepts in description logic such as Woman, Man, Mother, Father, etc. and provides facts about individuals like MotherWithoutDaughter(MARY). 2. It asks to provide the NNF for Grandmother and determine if Grandmother(MARY). The NNF for Grandmother is derived and it is shown that Grandmother(MARY) is unsatisfiable based on the facts given. 3. A tableau is constructed to prove ¬Grandmother(MARY), showing that all branches close and it is satisfiable, so Grandmother(MARY) is false.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content

    You might also like

    Corr TD 6

    Uploaded by

    melazem rym
    8 views3 pages
    1. The document defines several concepts in description logic such as Woman, Man, Mother, Father, etc. and provides facts about individuals like MotherWithoutDaughter(MARY). 2. It asks to provide the NNF for Grandmother and determine if Grandmother(MARY). The NNF for Grandmother is derived and it is shown that Grandmother(MARY) is unsatisfiable based on the facts given. 3. A tableau is constructed to prove ¬Grandmother(MARY), showing that all branches close and it is satisfiable, so Grandmother(MARY) is false.

    Original Description:

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    1. The document defines several concepts in description logic such as Woman, Man, Mother, Father, etc. and provides facts about individuals like MotherWithoutDaughter(MARY). 2. It asks to provide the NNF for Grandmother and determine if Grandmother(MARY). The NNF for Grandmother is derived and it is shown that Grandmother(MARY) is unsatisfiable based on the facts given. 3. A tableau is constructed to prove ¬Grandmother(MARY), showing that all branches close and it is satisfiable, so Grandmother(MARY) is false.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    8 views3 pages

    Corr TD 6

    Uploaded by

    melazem rym
    1. The document defines several concepts in description logic such as Woman, Man, Mother, Father, etc. and provides facts about individuals like MotherWithoutDaughter(MARY). 2. It asks to provide the NNF for Grandmother and determine if Grandmother(MARY). The NNF for Grandmother is derived and it is shown that Grandmother(MARY) is unsatisfiable based on the facts given. 3. A tableau is constructed to prove ¬Grandmother(MARY), showing that all branches close and it is satisfiable, so Grandmother(MARY) is false.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 3

    Web sémantique ChapitreV LDD M2RTIC 2018/2019

    TD6
    TD6 tableau sémantiques
    Exercice 3 :
    Woman ≡ Person ⊓ Female
    Man ≡ Person ⊓ ¬Woman
    Mother ≡ Woman ⊓ ∃hasChild.Person
    Father ≡ Man ⊓ ∃hasChild.Person
    Parent ≡ Father ⊔ Mother
    Grandmother ≡ Mother ⊓ ∃hasChild.Parent
    MotherWithManyChildren ≡ Mother ⊓ ≥3 hasChild
    MotherWithoutDaughter ≡ Mother ⊓ ∀hasChild.¬Woman
    Wife ≡ Woman ⊓ ∃hasHusband.Man

    MotherWithoutDaughter(MARY)
    Father(PETER)
    hasChild(MARY,PETER)
    hasChild(MARY,PAUL)
    hasChild(MARY,JHON)
    hasChild(PETER,HARRY)
    Person(PAUL).
    Person(HARRY)
    Person(JHON).
    • Donner la NNF pour GrandMother.
    • Question : Grandmother(MARY) ?

    1/NNF pour MotherWithoutDaughter


    MotherWithoutDaughter ≡ Mother ⊓ ∀hasChild.¬Woman
    ≡ Person ⊓ Female ⊓ ∃hasChild.Person⊓ ∀ hasChild.¬Woman
    ≡ Person ⊓ Female ⊓ ∃hasChild.Person⊓ ∀ hasChild.¬(person ⊓ Femal)
    ≡ Person ⊓ Female ⊓ ∃hasChild.Person ⊓ ∀ hasChild. (¬person ⊔ ¬Femal)

    1
    Web sémantique ChapitreV LDD M2RTIC 2018/2019
    ABOX
    • Faits explicites
    MotherWithoutDaughter(MARY)
    Father(PETER)
    hasChild(MARY,PETER)
    hasChild(MARY,PAUL)
    hasChild(PETER,HARRY)
    Person(PAUL).
    Person(HARRY)
    Person(JHON)

    • Faits implicites
    Person(MARY)
    Female(MARY)
    •hasChild.Person(MARY)
    • hasChild. (¬person ⊔ ¬Femal)(MARRY)

    Person(PETER)
    ¬Female(PETER)
    •hasChild.Person(PETER)
    2/ Grandmother(MARY) ?
    prouver Grandmother(MARY ) ?  prouver
    A /ELIMINATION TBOX
    Grandmother • Mother ⊓ ∃hasChild.Parent
    • Person ⊓ Woman ⊓ ∃hasChild.Person ⊓∃hasChild.( Father ⊔ Mother)
    • Person ⊓ ( Person ⊓ Female) ⊓ ∃hasChild.Person ⊓ ∃hasChild.( Man ⊓ ∃hasChild.Person ⊔ Woman ⊓ ∃hasChild.Person)
    • Person ⊓ Female) ⊓ ∃hasChild.Person ⊓ ∃hasChild.( Person ⊓ ¬Woman ⊓ ∃hasChild.Person ⊔ Woman ⊓ ∃hasChild.Person)
    • Person ⊓ Female ⊓ ∃hasChild.Person ⊓ ∃hasChild.( Person ⊓ ∃hasChild.Person)

    ¬ Grandmother(MARY)est insatisfiable

     ¬ (Person ⊓ Female ⊓ ∃hasChild.Person ⊓ ∃hasChild.( Person ⊓ ∃hasChild.Person))(MARRY)

    2
    Web sémantique ChapitreV LDD M2RTIC 2018/2019
    B/ NNF

    (¬Person ⊔ ¬Female ⊔ ∀ hasChild. ¬Person ⊓ ∀ hasChild. ¬ ( Person ⊓ ∃hasChild.Person))(MARRY)


    (¬Person ⊔ ¬Female ⊔ ∀ hasChild. ¬Person ⊓ ∀ hasChild. (¬ Person ⊔ ⊔hasChild. ¬Person))(MARRY)

    3-Tableau sémantique

    (¬Person ⊔ ¬Female ⊔ ∀ hasChild. ¬Person ⊓ ∀ hasChild. ( ¬ Person ⊔ ∀hasChild. ¬Person))(MARRY)


    ¬Person(MARRY ¬Female (MARRY) ∀ hasChild. (¬ Person ⊔ ∀hasChild. ¬Person) (MARRY)
    □ □ ∀ hasChild.
    (MARRY)
    ¬ Person

    ¬ Person (PETER)

    ¬ Person (JHON) ∀ hasChild. ¬ Person ∀ hasChild. ∀hasChild. ¬ Person) (MARRY)


    (MARRY)
    ¬ Person (PAUL)
    □ ∀hasChild. ¬ Person) (PETER)
    ¬ Person (PETER)
    ∀hasChild. ¬ Person) (PAUL)
    ¬ Person (JHON)

    ¬ Person (PAUL)
    ∀hasChild. ¬ Person) (JHON)

    □ ¬ Person) (HARRY)

    You might also like