Systemy ekspertowe. Krzysztof Patan

Podobne dokumenty
Metody wnioskowania. Wnioskowanie w przód (ang. forward chaining) Wnioskowanie w tył (ang. Backward chaining) Od przesłanki do konkluzji Np..

Systemy eksperowe. Agnieszka Nowak Brzezińska Wykład I

PODSTAWY BAZ DANYCH. 19. Perspektywy baz danych. 2009/2010 Notatki do wykładu "Podstawy baz danych"

Systemy ekspertowe i ich zastosowania. Katarzyna Karp Marek Grabowski

Reguły i fakty zapisz za pomocą perceptów. Metodą wnioskowania w tył, sprawdzić czy mój komputer jest wyposażony w procesor PII.

Systemy ekspertowe : program PCShell

Podstawy Sztucznej Inteligencji (PSZT)

Systemy ekspertowe i sztuczna inteligencja. dr Agnieszka Nowak Brzezioska

Praca dyplomowa magisterska

Systemy ekspertowe. PC-Shell. Sprawozdanie z bazy wiedzy

Systemy ekspertowe. Sprawozdanie I. Tworzenie bazy wiedzy w systemie PC- Shell. Wykonali: Wiktor Wielgus Łukasz Nowak

Temat: Projektowanie sterownika rozmytego. Instrukcja do ćwiczeń przedmiotu INŻYNIERIA WIEDZY I SYSTEMY EKSPERTOWE

Systemy ekspertowe. Wnioskowanie w systemach regułowych. Część piąta. Autor Roman Simiński.

Inżynieria wiedzy Wnioskowanie oparte na wiedzy niepewnej Opracowane na podstawie materiałów dra Michała Berety

SYSTEMY EKSPERTOWE. Anna Matysek IBiIN UŚ 2008

Temat: Projektowanie sterownika rozmytego. Instrukcja do ćwiczeń przedmiotu INŻYNIERIA WIEDZY I SYSTEMY EKSPERTOWE

INFORMATYKA Pytania ogólne na egzamin dyplomowy

Podstawowe definicje Z czego składa się system ekspertowy? Wnioskowanie: wprzód, wstecz, mieszane

Percepcja bodźców istnienia Perceptami (PER) nazywamy reakcję na istnienia, co jest wynikiem percepcji

Łukasz OGRYZEK Politechnika Śląska w Gliwicach, Polska. Systemy ekspertowe wykorzystywane jako inteligentne platformy e-learningowe etapy uczenia

Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.

Ćwiczenie numer 4 JESS PRZYKŁADOWY SYSTEM EKSPERTOWY.

Systemy uczące się wykład 2

Diagramy ERD. Model struktury danych jest najczęściej tworzony z wykorzystaniem diagramów pojęciowych (konceptualnych). Najpopularniejszym

Rachunek zdań i predykatów

Temat: Systemy Ekspertowe i ich zastosowania

Notacja. - operator implikacji, - operator koniunkcji v operator alternatywy - operator równoważności ~ operator negacji Duża litera (np.

Inżynieria Wiedzy i Systemy Ekspertowe. Niepewność wiedzy. dr inż. Michał Bereta Politechnika Krakowska

SYSTEMY INŻYNIERII WIEDZY

Systemy ekspertowe Część siódma Realizacja dziedzinowego systemu ekspertowego Roman Simiński

Dowody założeniowe w KRZ

11. INFORMATYCZNE WSPARCIE LOGISTYKI

Bazy Danych. Bazy Danych i SQL Podstawowe informacje o bazach danych. Krzysztof Regulski WIMiIP, KISiM,

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne

Wykład 4. Decyzje menedżerskie

6. Zagadnienie parkowania ciężarówki.

Systemy eksperckie. Plan wykładu Wprowadzenie do sztucznej inteligencji. Wnioski z prób automatycznego wnioskowania w rachunku predykatów

WPŁYW INFORMACJI STATYSTYCZNEJ NA EFEKTYWNOŚĆ SYSTEMÓW WSPOMAGANIA DECYZJI

Projektowanie Systemów Informatycznych SYSTEMY EKSPERTOWE. wykład nr 9

Jeśli nie startuje to uszkodzony RAM. np. jeżeli X jest częścią silnika to X jest częścią auta

SYSTEM EKSPERTOWY DO PLANOWANIA PROCESÓW TECHNOLOGICZNYCH OBRÓBKI SKRAWANIEM

SYSTEMY UCZĄCE SIĘ WYKŁAD 4. DRZEWA REGRESYJNE, INDUKCJA REGUŁ. Dr hab. inż. Grzegorz Dudek Wydział Elektryczny Politechnika Częstochowska

Systemy ekspertowe Część siódma Realizacja dziedzinowego systemu ekspertowego Roman Simiński

Temat: Model SUGENO. Instrukcja do ćwiczeń przedmiotu INŻYNIERIA WIEDZY I SYSTEMY EKSPERTOWE

Transformacja wiedzy w budowie i eksploatacji maszyn

Drzewa decyzyjne. 1. Wprowadzenie.

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu

Definicja bazy danych TECHNOLOGIE BAZ DANYCH. System zarządzania bazą danych (SZBD) Oczekiwania wobec SZBD. Oczekiwania wobec SZBD c.d.

Programowanie w CLIPS

7. Zagadnienie parkowania ciężarówki.

STUDIA I MONOGRAFIE NR

Podstawowe systemy wnioskowania sztucznej inteligencji

NIFIED M L ODELLING ANGUAGE. Diagramy czynności

SYSTEMY OPERACYJNE I SIECI KOMPUTEROWE

Metoda Tablic Semantycznych

Analiza ilościowa w przetwarzaniu równoległym

Programowanie deklaratywne

Bazy danych 2. dr inż. Tadeusz Jeleniewski

Uniwersytet w Białymstoku Wydział Ekonomiczno-Informatyczny w Wilnie SYLLABUS na rok akademicki 2012/2013

Piotr Sobolewski Krzysztof Skorupski

Systemy uczące się wykład 1

Uniwersytet Zielonogórski Wydział Elektrotechniki, Informatyki i Telekomunikacji Instytut Sterowania i Systemów Informatycznych

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ

TEORETYCZNE PODSTAWY INFORMATYKI

KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego

PRZEWODNIK PO PRZEDMIOCIE

OWO-MODELOWE SKORUPOWE SYSTEMY EKSPERTOWE

PODSTAWY SZTUCZNEJ INTELIGENCJI

Jarosław Żeliński analityk biznesowy, projektant systemów

O badaniach nad SZTUCZNĄ INTELIGENCJĄ

Zagadnienia (1/3) Data-flow diagramy przepływów danych ERD diagramy związków encji Diagramy obiektowe w UML (ang. Unified Modeling Language)

Analiza danych i data mining.

REGUŁOWO-MODELOWE SKORUPOWE SYSTEMY EKSPERTOWE

Materiały pomocnicze do laboratorium z przedmiotu Metody i Narzędzia Symulacji Komputerowej

Programowanie współbieżne Wykład 2. Iwona Kochańska

Jeśli X jest przestrzenią o nieskończonej liczbie elementów:

PRZEWODNIK PO PRZEDMIOCIE

mgr inż. Magdalena Deckert Poznań, r. Metody przyrostowego uczenia się ze strumieni danych.

Systemy ekspertowe - wprowadzenie Znamienite przykłady Literatura. Zarządzanie wiedzą. Wykład 8 Systemy ekspertowe Wspomaganie podejmowania decyzji

Wstęp do logiki. Klasyczny Rachunek Zdań III

Temat: Model TS + ANFIS. Instrukcja do ćwiczeń przedmiotu INŻYNIERIA WIEDZY I SYSTEMY EKSPERTOWE

Cel projektu: Wymogi dotyczące sprawozdania:

STUDIA STACJONARNE I STOPNIA Przedmioty kierunkowe

Informatyczne systemy kognitywne wspomagające procesy zarządzania. Ryszard Tadeusiewicz AGH

Języki programowania deklaratywnego

Logika stosowana. Ćwiczenia Wnioskowanie przez abdukcję. Marcin Szczuka. Instytut Matematyki, Uniwersytet Warszawski

WOJSKOWA AKADEMIA TECHNICZNA

Tomasz Grześ. Systemy zarządzania treścią

Budowa systemów komputerowych

Baza danych. Modele danych

TWORZENIE BAZ WIEDZY W SYSTEMACH EKSPERTOWYCH GOSPODAROWANIA MAJĄTKIEM OBROTOWYM PREDSIĘBIORSTWA

Programowanie deklaratywne

Struktura systemu operacyjnego. Opracował: mgr Marek Kwiatkowski

Monitoring procesów z wykorzystaniem systemu ADONIS

Plan nauczania informatyki Opracował: mgr Daniel Starego

System Ekspertowy. Politechnika Gdańska. Wydział Elektrotechniki i Automatyki

Multi-wyszukiwarki. Mediacyjne Systemy Zapytań wprowadzenie. Architektury i technologie integracji danych Systemy Mediacyjne

Politechnika Gdańska Wydział Elektrotechniki i Automatyki Katedra Inżynierii Systemów Sterowania

SIECI KOMPUTEROWE. Podstawowe wiadomości

Transkrypt:

Systemy ekspertowe Krzysztof Patan

Wprowadzenie System ekspertowy Program komputerowy, który wykonuje złożone zadania o dużych wymaganiach intelektualnych i robi to tak dobrze jak człowiek będący ekspertem w tej dziedzinie. Systemy ekspertowe mogą wspomagać bądź zastępować ludzkich ekspertów w danej dziedzinie Ekspert Człowiek, który posiada specjalistyczne umiejętności, doświadczenie i wiedzę w danej dziedzinie znacznie przewyższającą poziomem wiedzę zwykłego człowieka. Porady eksperta powinny być wystarczająco dobre, aby podtrzymać statut eksperta, ale nie oczekuje się by były one idealne

Określenie system ekspertowy może być zastosowane do dowolnego programu komputerowego, który na podstawie szczegółowej wiedzy może wyciagać wnioski i podejmować decyzje, działając w sposób zbliżony do procesu rozumowania człowieka. Systemy ekspertowe uzupełniają lub zastępują ludzi przy wykonywaniu niektórych czynności Obserwacja systemy ekspertowe budowane są na podstawie wiedzy eksperckiej (pozyskanej od ludzi) Pytanie dlaczego są potrzebne systemy ekspertowe? ludzie łatwo się męczą ludzie często zapominają i stają się opieszali ludzie mogą być tendencyjni lub niesubordynowani ludzie nie mogą przetwarzać, zapamiętywać oraz śledzić dużej ilości danych

Architektura systemu ekspertowego System ekspertowy = baza wiedzy + maszyna wnioskująca + interfejs z użytkownikiem

Podział systemów ekspertowych Podział ze względu na pełnione funkcje Diagnostyczne oceniające stan istniejący na podstawie posiadanych danych Prognostyczne przewidujące stan przyszły na podstawie istniejących danych Planujące opisujące pewien stan, do którego należy dążyć

Podział ze względu na sposoby realizacji Systemy dedykowane tworzone są od podstaw dla wybranej dziedziny. Stanowią unikalne rozwiązanie dla określonej dziedziny działalności człowieka Systemy szkieletowe wcześniej opracowane, dostępne z pustą bazą wiedzy. W przypadku systemu szkieletowego proces tworzenia docelowego systemu ekspertowego jest krótszy niż w przypadku systemu dedykowanego

Metody wnioskowania Wyróżniamy się cztery podstawowe typy wnioskowania: w przód progresywne, dedukcyjne wstecz regresywne mieszane rozmyte ostatnio szybko rozwijane

Wnioskowanie w przód (ang. forward chaining) Inaczej wnioskowanie z danych (przesłanek). Metoda zaczyna od zestawu znanych faktów i wartości atrybutów i stosuje je w regułach, które zawierają takie dane w przesłankach. Wszystkie pasujące reguły tworzą dodatkowe fakty, które są stosowane do wyboru kolejnych reguł. Proces trwa tak długo, aż żadne nowe fakty nie są produkowane, lub gdy uzyskana jest wartość celu Wada ciągłe zwiększanie liczby faktów, powiększanie pojemności pamięci operacyjnej komputera niezbędnej do dalszego funkcjonowania systemu Wnioskowanie w przód realizuje się jako: w głąb wszerz

dedukcyjne wnioskowanie w głąb cykl od faktów do celu składa się z pojedynczych kroków; krok odpowiada wykonaniu jednej reguły, której konkluzja jako nowy fakt jest dołączana do bazy faktów dedukcyjne wnioskowanie wszerz baza faktów jest aktualizowana dopiero wtedy, gdy na podstawie aktualnie dostępnych faktów zostaną zastosowane wszystkie reguły, które można wykonać

Przykład. Wnioskowanie w przód Dla obiektu cieplnego przyjęto następujące oznaczenia: a niska temperatura pary b przepływ paliwa poza normą c zawartość tlenu w spalinach poza normą d uszkodzony zawór paliwa e uszkodzony zawór powietrza f uszkodzone palenisko g ciśnienie pary poza normą Zestaw reguł R 1 : jeśli f i e to g R 2 : jeśli a i c to e R 3 : jeśli e i b to d R 4 : jeśli d i e to f

Metoda w głąb

Metoda wszerz

Wnioskowanie wstecz (ang. backward chaining) Opiera się na wykazaniu prawdziwości hipotezy głównej na podstawie prawdziwości przesłanek i atrybutów użytych w części warunkowej reguły. W przypadku nieokreślonej wartości logicznej badanej przesłanki traktuje się ją jako nową hipotezę i przeprowadza próbę wykazania jej prawdziwości. Proces zostaje zakończony w przypadku znalezienia hipotezy, dla której wykazano prawdziwość wszystkich przesłanek. Metoda odpowiednia dla baz z regułami o rozbudowanych przesłankach

Przykład. Wnioskowanie wstecz Rozważmy obiekt cieplny rozważany w przypadku wnioskowania w przód Zestaw reguł R 1 : jeśli f i e to g R 3 : jeśli e i b to d R 2 : jeśli a i c to e R 4 : jeśli d i e to f

Wnioskowanie wstecz z nawrotem wnioskowanie wstecz z nawrotem obejmuje sytuacje, w których wybrana reguła nie może być spełniona dla analizy faktów należy wtedy dokonać nawrotu do poprzedniej reguły proces wnioskowania powinien być kontynuowany przy wykorzystaniu innych reguł

Przykład. Wnioskowanie wstecz z nawrotem Dla obiektu cieplnego przyjęto następujące oznaczenia: a niska temperatura pary b przepływ paliwa poza normą c zawartość tlenu w spalinach poza normą d uszkodzony zawór paliwa e uszkodzony zawór powietrza f uszkodzone palenisko g ciśnienie pary poza normą h wydajność paliwa w normie i przepływ powietrza poza normą Zestaw reguł R 1 : jeśli f i e to g R 2 : jeśli a i c to e R 3 : jeśli e i b to d R 4 : jeśli d i e to f R 5 : jeśli h i i to e

Wnioskowanie mieszane wnioskowanie mieszane obejmuje wcześniej omówione dwa sposoby wnioskowania dla części reguł stosuje się wnioskowanie w przód, a dla drugiej wnioskowanie wstecz najczęściej proces wnioskowania rozpoczyna się od wnioskowania wstecz i w chwili znalezienia przesłanki, której nie można udowodnić rozpoczyna się wnioskowanie w przód

Przykład. Wnioskowanie mieszane Dla obiektu cieplnego przyjęto następujące oznaczenia: a niska temperatura pary b przepływ paliwa poza normą c zawartość tlenu w spalinach poza normą d uszkodzony zawór paliwa e uszkodzony zawór powietrza f uszkodzone palenisko g ciśnienie pary poza normą h wydajność paliwa w normie i przepływ powietrza poza normą Zestaw reguł R 1 : jeśli f i e to g R 2 : jeśli a i c to e R 3 : jeśli e i b to d R 4 : jeśli d i e to f R 5 : jeśli h i i to e R 6 : jeśli b i c to h R 7 : jeśli c to i