Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_rbs_back [2008/07/11 14:16] gjn |
pl:miw:miw08_rbs_back [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 6: | Linia 6: | ||
| RBS_Back | 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. | 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 356: | Linia 333: | ||
| ====== Sprawozdanie ====== | ====== Sprawozdanie ====== | ||
| + | |||
| Linia 377: | Linia 355: | ||
| {{:pl:miw:miw08_rbs_back:visandor-iclp93.pdf|:pl:miw:miw08_rbs_back:visandor-iclp93.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]] | ||
| + | |||
| + | |||
| + | |||
