--- pl:miw:miw08_rbs_back [2008/07/11 13:01]
miw
+++ pl:miw:miw08_rbs_back [2019/06/27 15:50] (aktualna)
@@ Linia 1: / Linia 1: @@
 ====== Opis ======
+__**Projekt zakończony**__
 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 =====
-?
@@ Linia 206: / Linia 185: @@
 ***4: r(b) 1S''
@@ Linia 212: / Linia 192: @@
 ====== ISVL (The Internet Software Visualization Laboratory) ========
+ISVL jest projektem, który miał na celu pomoc studentom w rozumieniu uruchamianych programów napisanych w Prolog-u, poprzez internet.
+Projekt ten wywiązał się jakby z PPVL, jednak zaimplementowano w nim jedynie TPM.
+Demonstracje działania ISVL można zobaczyc na stronie:
+[[http://www-jime.open.ac.uk/97/1/java/isvl-09.html|http://www-jime.open.ac.uk/97/1/java/isvl-09.html]]
@@ Linia 287: / Linia 274: @@
 Vmax daje możliwość edycji klauzul na różne sposoby zarówno tekstowo jak i graficznie. Jednak zmiany w trybie graficznym nie są zapisywane do kodu źródłowego, dlatego jest to mało użyteczne. Lepszym rozwiązaniem w tym przypadku jest edycja kodu źródła programu.
@@ Linia 331: / Linia 319: @@
+====== Podsumowanie ======
+Próby wizualizacji programów napisanych w Prologu były tworzone juz na początku lat 80-tych.
+Powstało kilka projektów/systemów, które dają możliwość wizualizacji i śledzenia wykonywania programów Prologu, jednak nie można żadnego z nich zdobyć.
+Są to albo wersje komercyjne (TPM na UNIX-a, SVT i Vmax) lub akademickie na system MAC (TPM, PPVL, ale tez nie udało się ich odnaleźć na sieci).
+Większość z tych systemów podczas graficznej wizualizacji korzysta ciągle z tego samego, czyli TPM, a nie udało się odnaleźć bardziej szczegółowego opisu działania.
+Wydana została książka o TPM (koszt 150$ + przesyłka) a wszystkie inne informacje na sieci są bardzo pobieżne i piszą ciągle o tym samym (w skrócie jak to ladnie sobie można robić wizualizacje śledzenia programów w Prolog-u przy pomocy TPM).
+Projekt niestety nie jest oparty na własnych próbach wykonywania programów z powodu braku dostępu do systemów SV dla Prologu. Zatem zostały opisane i przetłumaczone informacje jakie udało mi się odnaleźć w sieci.
+Opisanie tych programów było bardzo trudne. Ciężko pisać o czymś czego nie można wypróbować opierając sie tylko na bardzo ogólnych opisach.
 ====== Sprawozdanie ======
 ====== Materiały ======
+{{:pl:miw:miw08_rbs_back:005.pdf|:pl:miw:miw08_rbs_back:005.pdf}}
+{{:pl:miw:miw08_rbs_back:declarative-debugging-with-the.pdf|:pl:miw:miw08_rbs_back:declarative-debugging-with-the.pdf}}
+{{:pl:miw:miw08_rbs_back:domingue-97-1.pdf|:pl:miw:miw08_rbs_back:domingue-97-1.pdf}}
+{{:pl:miw:miw08_rbs_back:iee_20vis_20prolog_2091.pdf|:pl:miw:miw08_rbs_back:iee_20vis_20prolog_2091.pdf}}
+{{:pl:miw:miw08_rbs_back:mulholland97incorporating.pdf|:pl:miw:miw08_rbs_back:mulholland97incorporating.pdf}}
+{{:pl:miw:miw08_rbs_back:ppigvisprologfixed.pdf|:pl:miw:miw08_rbs_back:ppigvisprologfixed.pdf}}
+{{:pl:miw:miw08_rbs_back:tbpa91.pdf|:pl:miw:miw08_rbs_back:tbpa91.pdf}}
+{{:pl:miw:miw08_rbs_back:ucam-cl-tr-511.pdf|:pl:miw:miw08_rbs_back:ucam-cl-tr-511.pdf}}
+{{:pl:miw:miw08_rbs_back:visandor-iclp93.pdf|:pl:miw:miw08_rbs_back:visandor-iclp93.pdf}}
+[[http://citeseer.ist.psu.edu/cache/papers/cs/20963/http:zSzzSzkmi.open.ac.ukzSzmarczSzpaperszSzIJMMS-91.pdf/brayshaw91practical.pdf|http://citeseer.ist.psu.edu/cache/papers/cs/20963/http:zSzzSzkmi.open.ac.ukzSzmarczSzpaperszSzIJMMS-91.pdf/brayshaw91practical.pdf]]
+[[http://kmi.open.ac.uk/kmi-misc/tpm/tpm.html|http://kmi.open.ac.uk/kmi-misc/tpm/tpm.html]]
+[[http://www.amazon.com/Transparent-Prolog-Machine-Visualizing-Programs/dp/0792314476|http://www.amazon.com/Transparent-Prolog-Machine-Visualizing-Programs/dp/0792314476]]
+[[http://www.cc.gatech.edu/classes/cs7390_98_winter/talks/logic/topic3.html|http://www.cc.gatech.edu/classes/cs7390_98_winter/talks/logic/topic3.html]]
+[[http://citeseer.ist.psu.edu/cache/papers/cs/6324/http:zSzzSzwww.cs.usask.cazSzprojectszSzenvlopzSzWLPEzSz8WLPEzSzproceedingszSzmulholland.pdf/mulholland97incorporating.pdf|http://citeseer.ist.psu.edu/cache/papers/cs/6324/http:zSzzSzwww.cs.usask.cazSzprojectszSzenvlopzSzWLPEzSz8WLPEzSzproceedingszSzmulholland.pdf/mulholland97incorporating.pdf]]
+[[http://citeseer.ist.psu.edu/cache/papers/cs/150/ftp:zSzzSzfrost.open.ac.ukzSzpubzSzpaulmzSzMul-HCRL107.pdf/mulholland93evaluating.pdf|http://citeseer.ist.psu.edu/cache/papers/cs/150/ftp:zSzzSzfrost.open.ac.ukzSzpubzSzpaulmzSzMul-HCRL107.pdf/mulholland93evaluating.pdf]]
+[[http://books.google.pl/books?id=ATqiSr7QE24C&dq=Transparent+Prolog+Machine&pg=PP1&ots=-V8A0bzMyv&sig=9x21p9xwmyNquvVrCXlOcsBzQmA&hl=pl&sa=X&oi=book_result&resnum=1&ct=result#PPP1,M1|http://books.google.pl/books?id=ATqiSr7QE24C&dq=Transparent+Prolog+Machine&pg=PP1&ots=-V8A0bzMyv&sig=9x21p9xwmyNquvVrCXlOcsBzQmA&hl=pl&sa=X&oi=book_result&resnum=1&ct=result#PPP1,M1]]
+[[http://citeseer.ist.psu.edu/cache/papers/cs/27638/http:zSzzSzwww.cl.cam.ac.ukzSzTechReportszSzUCAM-CL-TR-511.pdf/grant99software.pdf|http://citeseer.ist.psu.edu/cache/papers/cs/27638/http:zSzzSzwww.cl.cam.ac.ukzSzTechReportszSzUCAM-CL-TR-511.pdf/grant99software.pdf]]
+[[http://www-jime.open.ac.uk/97/1/isvl-01.html|http://www-jime.open.ac.uk/97/1/isvl-01.html]]

pl/miw/miw08_rbs_back.1215774105.txt.gz · ostatnio zmienione: 2019/06/27 15:58 (edycja zewnętrzna)

Pokaż stronę Poprzednie wersje

Menadżer multimediów Do góry

AIwiki

Menu

Dla Studentów

Old specialized AI courses

SMaDA/SMaIDA/AIDA

Informatyka (EAIiIB)

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

Różnice