IUI (wykład 2)

19 lutego 2012

09:20

Ostatni wykład prof J

 

Reguły wnioskowania

• reguła odrywania (modus ponens)
  
  • Jeżeli A to B i A to B;
    
    • Jeżeli suma liczb cyfr dzieli się przez 3 to liczba dzieli się przez 3
      
• Uniwersalna specjalizacja
  
• Reguła rezolucji
  
  
   
  Baza danych jest sprzeczna:
• Jeżeli w trakcie wnioskowania ukazują się dwa przeciwstawne wnioski
  
  
   
  
   
  W prologu operuje się klauzulami 9to wyrażenia logiczne np. 'AvBv…vC'; gdzie A to predykat prosty lub złożony)
  Klauzula Horna - tych konkretnie używa się w prologu (wszystkie predykaty za wyjątkiem jednego są zanegowane)np.. !Av!Bv…v!CvB
  
   
  
   
  X A Y - to jest xor!
  
   
  
   
  
   
  Ostatnia modyfikacja: 2012-02-19; 09:39

Wpz - klauzule - strona 51 w materiałach

• Przekształcanie wyrażeń do postaci klauzul
  
  • Wyrzucamy implikacje;
  • Redukcja zakresu działania symbolu negacji
  • Standaryzacja zmiennych
  • Eliminacja kwantyfikatorów szczegółowych (występuje tu funkcja Skolema)
  • dfa
  • Przedstawienie wyrażenie w normalnej postaci iloczynowej
    • Każdą funkcję boolean możemy przedstawić w normalnej postaci
  • fasfaf
    
     
    
     
    Pomija unifikacje i … (coś tam) -> od razu do przykładu 4.11 (strona 55)
    [E]Zadanie na egzaminie - na pewno to przekształcenie + drugie zadanie (coś tam podane i trzeba opisać co to zdanie oznacza w języku naturalnym)
    
     
  • Tematy, które pomijamy nie będą obowiązywały na egzaminie
    
    
     
    Ostatnia modyfikacja: 2012-02-19; 10:54
    Zagadnienia roztrzygalności
    
    • Przykład niekonczącego się wnioskowania (strona 64 - Rys. 4.13)
      
    • Logika pierwszego rzędu - jeżeli coś się da wykazać to w skończonym czasie da się wywniskować
      
      
       
    Zagadnienie pełności
    
    • Istnieją zagadnienia (zdania arytmetyczne), których nie da się wykazać a są prawdziwe (nie da się wyprowadzić z przyjętych dla arytmetyki aksjomatów);
      
      
       
  
   
  KONIEC LOGIKI PIERWSZEGO RZĘDU
  
   
  
   
  
   
  
   
  
   
  Ostatnia modyfikacja: 2012-02-19; 11:18
  Fuzzy logic
  
   
  [Wnioskowanie rozmyte] - str. 68
  Operacje na zbiorach rozmytych 5.1.2 (str 73)
  Omawia rysunek 5.6
  
  • Intersection - c (iloczyn)
    
  • Union - d (suma)
    
  • Comlement - e (negacja)
    
    
     
    [inne definicje pominięte - nie będzie obowiazywać na egzaminie]
     
    Ostatnia modyfikacja: 2012-02-19; 11:28
  System wnioskowania rozmytego - 5.1.4 (str 79)
  
  • Rozmywanie (fuzyfikacja)
    
  • Operacje rozmyte(logiczne)
    
  • Implikacje
    
  • Kompozycja
    
  • Precyzowanie
    
    
     
    Omówiony rys 5.14(str 84) (system MAMDAM)
  
   
  
  • 
    
  
   
  
  
   
  SYSTEM SUGENO - wynik nie jest trójkątem a prążkiem - łatwiejsze obliczenia
  • Stosowane obliczenia środka ciężkości
    
    
    
    
     
    
     
    Ostatnia modyfikacja: 2012-02-19; 11:52
    Koniec systemów rozmytych
    [E] opisać system rozmyty lub znaleźć wynik (będzie na propozycjach zadań)
    
     
    
     
    Inne podejście - sieci Bayessa (5.2)
    - zdarzenia losowe