To jest stara wersja strony!


Opis

Dawid, Zwoźniak, david_z@poczta.fm

RBS_Back Przegląd metodologii reprezentacji reguł dla wnioskowania w tył (wstecz). Należy szczególnie uwzględnić reprezentacje graficzne oraz zwrócić uwagę na: przejrzystość reguł, gęstość reprezentowanej informacji.

Spotkania

080304

przydzielenie projektu

080311

planowane konsultacje

080318

?

080527

?

080626

?

Projekt

WSTĘP

Ekspertowy system regułowy składa się z bazy danych, zawierającej pewne ustalone fakty i reguły służące do wywnioskowywania nowych faktów oraz interpetera reguł, sterującego procesem wnioskowań.

W systemach ekspertowych wykorzystuje się 3 rodzaje wnioskowania: - w przód - wstecz - mieszane

Wnioskowanie wstecz przebiega w odwrotną stronę niż wnioskowanie w przód. Ogólnie polega ono na wykazaniu prawdziwości hipotezy głównej na postawie prawdziwości przesłanek. Jeśli nie wiemy, czy jakaś przesłanka jest prawdziwa, to traktujemy tę przesłankę jako nową hipotezę i próbujemy ją wykazać. Jeżeli w wyniku takiego postępowania zostanie wreszcie znaleziona reguła, której wszy¬stkie przesłanki są prawdziwe, to konkluzja tej reguły jest prawdziwa. Na pod¬stawie tej konkluzji dowodzi się następną regułę, której przesłanka nie była po¬przednio znana itd. Postawiona hipoteza jest prawdziwa, jeśli wszystkie rozważa¬ne przesłanki dadzą się wykazać.

Cel → reguły → fakty

Wnioskowanie wstecz różni się od wnioskowania w przód m.in. tym, że generuje mniejszą liczbę nowych faktów oraz uniemożliwia równoczesne dowodzenie kilku hipotez. Ogólnie w typowych zastosowaniach wnioskowanie wstecz jest efektywniejsze i bardziej rozpowszechnione. Istotne jest także to, że przy wnioskowaniu wstecz czas oczekiwania na osiągnięcie rozwiązania postawionej hipotezy jest w wielu przypadkach dużo krótszy niż przy wnioskowaniu w przód.

Wnioskowanie wstecz zostało zastosowane, między innymi, w interpreterach PROLOG-u.

SOFTWARE VISUALIZATION

TPM (Transparent Prolog Machine)

TPM jest narzędziem do wizualizacji i animacji uruchamianych programów napisanych w Prologu. Stworzony zarówno dla początkujących jak i zaawansowanych programistów Prologu, zapewnia wierną reprezentację (w zwolnionym tempie) działania wewnętrznego interpretera Prologu, jak również umożliwia wysokiej prędkości wizualny podgląd uruchamianego programu.

Bieżące wersje umożliwiają używanie: textbook diagrams, animacji video oraz implementacji graficznych stacji roboczych.

System dodatkowo umożliwia tworzenie użytkownikowi widoków śledzonych programów .

Model: http://student.agh.edu.pl/~zwozniak/rbs/TPM_model.JPG

Akcja: http://student.agh.edu.pl/~zwozniak/rbs/TPM_action.JPG

Granulacja danych: http://student.agh.edu.pl/~zwozniak/rbs/TPM_gran.JPG

Podgląd ogólny widoku uruchamiania programu Prologu.

http://student.agh.edu.pl/~zwozniak/rbs/TPM_1.JPG

Ten sam widok z bliska

http://student.agh.edu.pl/~zwozniak/rbs/TPM_2.JPG

Projekt powstawal w latach 1983-1988 w Open University and Expert Systems Ltd. TPM jest dostepny jako komercyjny produkt (od Expert Systems Ltd.) uruchamiany na graficznych stacjach roboczych systemu UNIX

Tools for Software Visualization – SVT (Semantic Visualization Tools) and Vmax

http://student.agh.edu.pl/~zwozniak/rbs/vmax.pdf

VPP (Visual Programming in Prolog)

http://student.agh.edu.pl/~zwozniak/rbs/vpp.pdf

PPVL (Prolog Program Visualization Laboratory)

http://student.agh.edu.pl/~zwozniak/rbs/PPVL.JPG

http://student.agh.edu.pl/~zwozniak/rbs/ppvl.pdf

Sprawozdanie

Materiały

pl/miw/miw08_rbs_back.1215730939.txt.gz · ostatnio zmienione: 2019/06/27 15:58 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0