XTT_CLIPS

• Zrealizował Maciej Fabia (4RI)
• Metody Inżynierii Wiedzy 2009

• Omówienie przykładowych systemów ekspertowych w CLIPS
• Stworzenie diagramów dla wybranych systemów
• Zaimplementowanie przykładu z Hekate w CLIPS

• prosta reguła:

(defrule mortality
  (George is man)
=>
  (assert (George is mortal)))

• podobna reguła używająca zmiennej - wstawia fakt dla każdego człowieka:

(defrule mortality2
  (?someone is man)
=>
  (assert (?someone is mortal)))

• System diagnozujący chorobę i dobierający terapię,
• System wskazujący, co naprawić w samochodzie,
• System identyfikujący zwierzę na podstawie charakterystycznych cech (używa zaimplementowanego w CLIPS silnika wstecznego wnioskowania)

Poza klasycznymi regułami, w przykładach korzystano z następujących rozwiązań:

• po lewej stronie reguł (Left Hand Side)
  • wzorce wymagające nieistnienia pewnego faktu - operator not,
  • połączenie wzorców prostych łącznikami logicznymi, np. and, or,
  • deklaracje priorytetów.
• po prawej stronie (Right Hand Side)
  • konstrukcje if-then-else

• CLIPS posiada wbudowany silnik wnioskowania w przód,
• W przykładzie rozpoznającym zwierzęta zaimplementowano silnik wstecznego wnioskowania,
• Zasady działania silnika:
  • fakty i reguły danej bazy wiedzy są reprezentowane w CLIPS przez fakty,
  • zadajemy określony cel,
  • silnik szuka reguł, które mają cel w RHS - zmienne w ich LHS stają się dodatkowymi celami,
  • reguły nie zawierające celu w RHS są usuwane.

• Wykonano schematy dla:
  • systemu diagnozującego awarie samochodowe,
  • systemu rozpoznającego zwierzęta.
• Schematy zostały wykonane za pomocą narzędzi VARDA i HQEd.

• w powyższych systemach w CLIPS dominowały reguły o małej liczbie argumentów,
• na schematach szukany parametr zależy od dużej liczby atrybutów,
• przyczyna - szukany parametr występuje w RHS dużej liczby reguł, które posiadają różne zestawy atrybutów w częściach warunkowych,

Opis programu

• Program korzysta z funkcji zapewniających pobranie i walidację danych
• reguły są odpowiednikami opisów słownych,
• aby porównać liczby (lub użyć dowolnej funkcji zwracającej wartości true/false) w częściach warunkowych reguł, zastosowano słowo kluczowe test.
• normalnie po zadaniu pytań program wyświetla od razu temperaturę. Aby obserwować wstawiane podczas wnioskowania fakty, należy przed uruchomieniem wpisać w konsoli CLIPS polecenie (watch facts).