Treść zadania

piotrek_roman

Dana jest bazy wiedzy

KB = { A , A /\ ~B , C , ~(C /\ ~D) }

gdzie A, ... , D – są zdaniami logicznymi.

Sprawdzić za pomocą rezolucji, czy zdanie x = { A /\ ~D => ~(B v C) } wynika z bazy KB.

Zadanie jest zamknięte. Autor zadania wybrał już najlepsze rozwiązanie lub straciło ono ważność.

Rozwiązania

  • antekL1

    Nie wiem co znaczy "za pomocą rezolucji" (być może "za pomocą logicznego myślenia") ale rozumuję (mam nadzieję, że logicznie) tak:

    W "knowledge base" KB mamy takie zdania jak podane niżej (zakładam, że wszystkie są prawdziwe)

    A = prawda

    A /\ ~B = prawda więc ~B też musi być prawdą czyli B = fałsz

    C = prawda

    ~(C /\ ~D) = [ prawo de Morgana ] = (~C \/ D) = prawda.
    Ponieważ C = prawda to ~C = fałsz i musi zachodzić: D = prawda
    aby ~C \/ D było prawdą.

    Znamy wartość logiczną zdań A,B,C,D, więc wnioskujemy:
    A /\ ~D = prawda /\ ~prawda = fałsz.

    Ponieważ z fałszu może wynikać cokolwiek, prawda lub fałsz, to nie ma już sensu sprawdzać wartości wyrażenia ~(B v C)

    Całe zdanie "x" jest prawdziwe
    (czyli to zdanie wynika z bazy KB, jeżeli wszystkie zdania z tej bazy są prawdą)
    =====================

    PS: To zadanie mi "pachnie" językiem programowania Lisp, (albo "Prolog") którego w końcu nigdy się dobrze nie nauczyłem, choć pewnie podświadomie go używam... Jak każdy :)

Podobne materiały

Przydatność 60% Bazy danych

BAZA DANYCH Baza danych – jest to strukturalna organizacja zbioru danych która określa podział zbioru na stałe elementy zwane rekordami oraz system łączenia, dopisywania i wyszukiwania danych. Pojęcie bazy danych często używa się wymiennie z określeniem system baz danych. SBD = BD + OOD SBD – system baz danych BD – baza danych OOD – oprogramowanie operowania...

Przydatność 50% Bazy danych

Komputerowe bazy danych nie różnią się w zasadzie od list sporządzanych na papierze. Są to bowiem długie listy lub pola z informacjami na określony temat. Jednakże w przeciwieństwie do informacji zapisywanych na papierze, istotą komputerowych zbiorów danych jest sposób, w jaki mogą być one sortowane i przeszukiwane. Programy służące do przechowywania informacji nazywane są...

Przydatność 100% Bazy danych

1 Wstęp do baz Danych Wymagania SIZ ? • Obsługa złożonych struktur danych • Realizacja pracochłonnych procedur przetwarzania • Wykonywanie zadań za pośrednictwem sieci komputerowych • Zapewnienie elastyczności struktur i procedur • Gwarancja wysokiego poziomu niezawodności i ochrony • Możliwość współużytkowania danych (dostęp do wspólnych zasobów,...

Przydatność 65% Bazy danych

Baza danych -zbiór danych zapisanych w określonej formie w strukturach wynikających z założonego modelu danych, obejmuje też program komputerowy będący interfejsem dla użytkownika bazy danych. Magazynowanie danych o różnych postaciach. Model bazy danych- zbiór zasad, którymi należy się posługiwać podczas tworzenia baz danych, określa się w nim struktury oraz reguły zgodnie...

Przydatność 75% Podstwy bazy danych

Plik w załaczniku

0 odpowiada - 0 ogląda - 1 rozwiązań

Dodaj zadanie

Zobacz więcej opcji