Treść zadania
Autor: piotrek_roman Dodano: 3.12.2015 (12:35)
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
Podobne zadania
Mam takie zadanie obliczyc Pb ostr.prawidl.trójkąt. gdzie krawędz wynosi 8 Przedmiot: Matematyka / Studia | 1 rozwiązanie | autor: Konto usunięte 9.5.2010 (14:08) |
NIESKOŃCZONY CIĄG LICZBOWY an jest określony wzorem an=4n-31, n=1,2,3... Przedmiot: Matematyka / Studia | 1 rozwiązanie | autor: paula24 9.6.2010 (14:50) |
oblicz pole kwadratu którego bok jest o 3 krótszy od przekątnej Przedmiot: Matematyka / Studia | 2 rozwiązania | autor: muzyka11 26.10.2010 (12:55) |
Czy granica tego ciągu an=(2n-1)do3 / (4n-1)do2()1-5n) jest rowna -2?? Przedmiot: Matematyka / Studia | 1 rozwiązanie | autor: iza001 6.11.2010 (09:35) |
Z talii 52 kart wyciagamy losowo 5 kart. Jakie jest prawdopodobienstwo Przedmiot: Matematyka / Studia | 1 rozwiązanie | autor: edziunio 10.11.2010 (19:21) |
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ń
0 0
antekL1 4.12.2015 (05:30)
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 :)
Dodawanie komentarzy zablokowane - Zgłoś nadużycie