====== Podstawy i Metody Inżynierii Wiedzy 2008 ====== ===== Studenci ===== Tematy projektów są przeznaczone dla studentów: * AiR 4. (2008) (//AR//) * InfStos 4. (2008) (//IS//) * magistrantów (//MS//) * członków koła naukowego //Noesis// (//OT//) * innych zainteresowanych (//OT//) ===== Uwagi ===== * Tematy oznaczone znaczkiem :!::!: należy uznać za tematy o wysokim dla Autorów priorytecie, a co za tym idzie autorzy będą silniej je wspierali i * Tematy oznaczone znaczkiem :!: należy uznać za tematy o podwyższym priorytecie * Tematy pozostałe też są ważne i też można dostać ocenę pozytywną, w tym, 5.0 i 6.0, są one jednak potencjalnie mniejszym wyzwaniem, lub mniej pilnie potrzebne autorom * Tematy oznaczone :-) mogą być ew. realizowane 2 osobowo * Tematy realizowane są //indywidualnnie// chyba, że wskazano inaczej * Niektóre tematy mogą być realizowane przez więcej niż jeden zespół * Uwaga: niektóre tematy mogą zależeć od realizacji innych, oznaczone jako 8-) ===== Kontynuacja tematów ===== Osoby, które zrealizują w sposób wyróżniający się, a także będą zainteresowane tematyką poruszaną w projektach, będą mogły kontynuwać pracę w ramach tematyki pochodnej do MIW 2007 w ramach: * pracy magisterskiej u dr. inż. G. J. Nalepy lub u dr. inż. I. Wojnickiego, //uaktualniona// lista tematów będzie dostępna na wiosnę w systemie [[http://sopd.ia.agh.edu.pl|SOPD]] * projektu [[http://hekate.ia.agh.edu.pl|Hekate]], potencjalnie za wynagrodzeniem * w ramach koła naukowego //Noesis// ===== Prerekwizyty ===== * podstawy Prologu * Knowledge Engineerng Concepts: Rule-based, Expert Systems * Data representation and processing: XML-based technologies * Programming: Java, Eclipse * Modelling: UML, MVC, XTT... ====== Komp08 ====== Tematy dla osób z 3. roku InfStos, z przedmiotu kompilatory, u P. Dr. Inż. Jacka Piwowarczyka. (pon + wto: 8:30 + czw 12:30) Zainteresowanych proszę o kontakt na . Można też przyjść na konsultacje, we wtorek 10-15, C3, 203 ===== Doku2LaTeX ===== Zrealizować konwerter/plugin dla/do DokuWiki, który ze strony Wiki generuje dokument LaTeX. Chodzi o obsługę podstawowej składni, w tym: * {sub}*section * czcionki \text... \emph, etc. * generowanie \label i \ref z odpowiednich nagłówków wiki W trybie podstawowym program może działać offline, t.j. poza wiki (kopiuje strone na dysk i tam uruchamiam konwerter). Tryb zaawansowany: * praca na kilku stronach wiki (zadanych regexp, ew przestrzenią nazw) * włączanie obrazków * praca jako plugin wiki. ===== LaTeX2Doku ===== j.w. ale konwersja latex do formatu wiki. Może pracować offline, t.j. poza wiki. ===== PrologEns ===== Kolorowanie składni języka Prolog dla [[http://www.gnu.org/software/enscript/|GNU Enscript]]. Patrz realizacja dla [[pl:prolog:geshi_prolog|GeSHi]]. R: [[miw08_prologens|Paweł Marek (5AR) ]] ===== AIwikiSearch ===== Należy wykonać złożony plugin wyszukiwawczy do ai wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc. ===== AIwikiFoz ===== Należy wykonać search plugin dla firefoxa, przeszukujący [[http://ai.ia.agh.edu.pl/wiki|aiwiki]] ===== UML2ARD ===== Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML (w z góry zadanym formacie) zapisanych w postaci modelu [[hekate:XMI]], do formatu [[hekate:hekate_markup_language|ARDML]]. ===== ARD2UML ===== j.w. tylko w 2. stronę, t.j. generowanie XMI z ARDML. ====== Tematy PIW08 ====== [[pl:miw:piw2008_tematy|patrz dedykowana strona]] ====== Tematy MIW08 ====== ===== HeKatE Design ===== ==== ARDCase_ES ==== Design ARD+, XTTv2: Expert System Cases Expert Systems Cases -- A search for well documented Expert System examples/designs, use 'didactic' examples from manuals/books regarding Expert Systems; evaluation of the existing cases; modelling selected examples with ARD+/XTT+(v2) ==== ARDCase_UML ==== :!: Design ARD+, XTTv2: UML cases UML + MVC Cases -- A search for design examples made with UML with MVC approach, esp. behavior diagrams are needed; examples should be complete and well documented in UML; evaluation of the existing cases; modelling selected examples with ARD+/XTT+(v2) [[miw08_ardcase_uml|R: Artur Poniedziałek (4AR) ]] ==== ARDCase_BR ==== :!: Design ARD+, XTTv2: Business RUles Cases Business Rules + BPMN Cases -- A search for well documented Business Rules examples; evaluation of the existing cases; modelling selected examples with ARD+/XTT+(v2) R: [[miw08_ARDCase_BR|Szymon Grzybicki (4AR) ]] ==== ARDCase_CS ==== :!::!: Design ARD+, XTTv2: Control System Cases -- A search for well documented Control System examples/designs, esp. robot control, autonomous robots etc.; evaluation of the existing cases; modelling selected examples with ARD+/XTT+(v2) R: [[miw08_ARDCase_CS|Marcin Kamiński (4AR) ]] ==== XTT_Prolog ==== :!::!: Reprezentacja XTT w Prologu + prosty interpreter. Zainteresowani: Szymon Bobek & Michał Gawędzki (4IS) ==== ARD_Prolog ==== :!::!: Reprezentacja ARD w Prologu + prosty interpreter. Analogiczne do VARDA, from scratch. Z: Paweł Muchacki (4IS) ==== UMLRuleRep ==== :!: Rule representation in UML * input OMG ProductionRules http://www.omg.org/cgi-bin/doc?br/03-09-03 http://www.omg.org/technology/documents/Business_Rules_in_Models_RFI.htm URML http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=URML * output State modelling. Can complex rule-based systems be handled easily? UML Rule Representation -- how to represent rules with UML, has it been done yet? sucess stories, failure stories, examples; URML, Production Rules. R: Krzysztof Kluza (4AR) ==== UMLandARDXTT ==== :!: Investigate how XTT could be modeled in UML * input UML, ARD/XTT documentation * output Sample XTT based rules modelled with UML. R: [[miw08_umlandardxtt|Krzysztof Kluza (4AR) ]] Mat: * {{:hekatedev:uml-2.0-tutorial_storrle_knapp.pdf|UML-2.0 Tutorial, Prof. Storrle, Prof Knapp.pdf}} * [[http://www.pst.ifi.lmu.de/veroeffentlichungen/UML-2.0-Tutorial.pdf]] * See a //VERY NICE// [[http://hydrogen.informatik.tu-cottbus.de/moodle/course/enrol.php?id=24|tutorial]] on the group technologies. Login as //guest//, with key //RMAI2007// ==== XTT_Serialization ==== :!: Try to propose an effective //encoding// of XTT with UML and Java. R: [[miw08_XTT_Serialization|Karol Gorlach (4AR) ]] ==== UML_URML ==== Design rbs examples with URML [[miw08_uml_urml|R: Piotr Przybycin (4AR) ]] ==== XTTplusApps ==== :!: Try to apply, refine xtt+ features, design real-life SE cases using xtt+ * input SE cases, well documented MVC-based UML code * output ARD/XTT based representation of the cases case: webserver FIXME R: [[miw08_xttplusapps|Łukasz Dziewanowski (4AR) ]] ==== GEFARDXTT ==== :!: GEF and Eclipse based editor for ARD and XTT. Evaluation, feasibility, prototype. XTTv2 Editor [[miw:xtt requirements|requirements]] * input * Eclipse: [[http://www.eclipse.org/modeling/|EMF]], GEF resources ([[http://www-128.ibm.com/developerworks/opensource/library/os-eclipse-gef11/?ca=dgr-lnxw07EclipseGEF|GEF]], [[http://www.eclipse.org/articles/Article-GEF-editor/gef-schema-editor.html]]), * ARD: [[hekate:bib:hekate_bibliography#gjn2008flairs-ardformal|Towards Formalization of ARD+ Conceptual Design and Refinement Method]] and [[hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog|An ARD+ Design and Visualization Toolchain Prototype in Prolog]] and [[hekate:bib:hekate_bibliography#gjn2008flairs-userv|UServ Case Study, Conceptual Design with ARD+ Method]]. * output Feasibility study, a description how to create such editors with GEF, a prototype editor MS Thesis regarding GEF: Interfejs graficzny do budowy aplikacji komponentowych zapewniający weryfikację semantyczną, ARD+ Editor [[miw:ard requirements|requirements]] {{:pl:miw:mgr-gef.pdf|GEF MS Thesis}} R: [[miw08_gefardxtt_1|Maciej Dudek (4AR) (ARD)]] R: [[miw08_gefardxtt_2|Bartłomiej Szybura (4AR) (XTT)]] ==== BizRulesVocabularies ==== :!: It is a common visual notation used in the Business_Process_Modeling that is a modeling/design problem in the Business_process_management. The BPMN is officially standarized by OMG. Some possible areas of investigation(at 1st sight): *input * relation between BPMN and UML, e.g. see Use of UML and Model Transformations for Workflow Process Definitions * how could we use Business_Process_Execution_Language * the general idea of workflow and tools such as yawl is worth digging in... * SBVR * output Extended ARD. R: [[miw08_bizrulesvocabularies|Tomasz Bochen (4AR) ]] R: [[miw08_bizrulesvocabularies2|Magdalena Pluta (4AR) ]] ===== HeKatE Transform ===== Tutoriale [[http://www.w3.org/Style/XSL/|XSL/T]]: * [[http://zvon.org/xxl/XSLTutorial/Output/index.html|ZVON XSLT]] * [[http://w3schools.com/xsl/default.asp|W3S XSLT]] ==== ARD_XML ==== Translacja ARDML do innych formatów z użyciem XSLT. 8-): ontologie, graphviz R: [[miw08_ard_xml|Michał Tomana (4AR) ]] ==== XTT_XML ==== Translacja XTTML do innych formatów z użyciem XSLT. 8-): ontologie (OWL), graphviz R: [[miw08_xtt_xml|Szymon Deja ]] ==== XTT_XMLPro ==== Translacja XTTML do innych formatów z użyciem Prologu. 8-) R: [[miw2008_xtt_xmlpro|Maksymilian Imioło(4AR) ]] ==== HekateATL ==== :!: How we could use Atlas for ARD, XTT, design and integration? ATL: Atlas Transformation.... eclipse * input * output R: [[miw08_HekateATL|Marek Mierzwa Jakub Ostrowski (4AR) ]] ==== XTT_R2ML ==== translacja XTTML -> R2ML 8-) [[miw08_xtt_r2ml| (4AR) ]] ==== XTT_RIF ==== :!: translacja XTTML -> RIF 8-) [[miw08_xtt_rif|Mateusz Mazur, (4AR) ]] ==== ARD_Onto ==== wymiana danych między ARD a ontologiami ==== ARD_RDF ==== :!: zapis ARD przy pomocy RDF w XSLT 8-) R: [[miw08_ard_rdf|Rafał Szymczyk, (4AR), ]] ==== HML_XMI ==== :!: Zweryfikowanie jak od strony praktycznej powinny być zapisane modele w Hekate (ARD, XTT) by być zgodne z standardem XMI. ==== HML_Rules ==== :!: :!: porównać i omówić metody reprezentowania atrybutów w językach: * RDF * OWL * RIF * R2ML * RuleML oraz metody reprezentowania reguł w: * RIF * R2ML * RuleML R: [[miw08_HML_Rules|Michał Rogula (4RI) ]] ===== HeKatE Runtime ===== ==== RuleRuntimeJ ==== :!::!: Investigate runtime integration aspects, mainly Prolog+Java integration possibilities * input * Prolog/Java APIs * JSR94 http://jcp.org/en/jsr/detail?id=94 * Jess http://www.jessrules.com * JenaRules http://jena.sourceforge.net/ * integration http://www.manning.com/friedman-hill * output How to integrate Prolog and Java in the best way regarding performance, and coding easiness + examples. R: [[pl:miw:miw08_ruleruntimej|Marcin Gadamer (4AR)]] ==== RuleRuntimeO ==== Investigate runtime integration aspects, mainly the integration of the Object-Oriented Model in Prolog with a Java VC possibilities executable design, LogTalk, etc. * input Java, OO Prolog documentation, MVC concept. [[http://www.prologonlinereference.org/oop.psp|Prolog OOP]], [[http://www.logtalk.org|LogTalk]], [[http://www.trinc-prolog.com/doc/pl_obj.htm|TrincProlog]], [[http://www.sics.se/isl/sicstuswww/site/index.html|SICStus Prolog]] * output Feasibility study, a prototype. R: [[miw08_RuleRuntimeO|Grzegorz Caban (4AR) ]] ==== RuleRuntimeG ==== :!: Investigate runtime integration aspects, mainly semi-automatical building of a GUI for Prolog programs possibilities XPCE, Static QT/Gtk, [[http://www.gtk-server.org|Gtk-Server]], Java (Swing), Eclipse (SWT) * input XPCE, QT, GTK, GtkServer, Java etc., SWI Prolog documentation * output Feasibility study, a prototype. * integration options for Java: JPL (SWI),Logtalk (OO Prolog), architecture: MVC * approach: 2 -3 app. cases, M prolog, V inv Java, C-> JPL/Logtalk, e.g. ready M in Prolog, build V in Java: [[pl:prolog:prolog_lab:prolog_lab_2#cwiczenieprosty_system_ekspertowy|Car ES]], opposite: ready MV i Java, build M in Prolog, make it work with the V R: [[miw08_RuleRuntimeG|Filip Haftek (4AR) ]] R: [[miw08_RuleRuntimeG_2|Janicki Damian (4AR) (Swing,SWT)]] ==== RuleRuntimeL ==== Investigate LLVM/HLVM as a Prolog platform See [[https://ai.ia.agh.edu.pl/wiki/prolog:prolog_research#wam|WAM links]] R: [[miw08_ruleruntimel|Andrzej Jasiński (4AR) ]] ==== RuleRuntimeW ==== Investigate runtime integration aspects, mainly virtual machine runtimes * input: WAM, and it implementation, can it be somehow related with existing VMs * output LLVM/HLVM, WAM, JVM ==== RuleRuntimeP ==== :!: //Embedded Prolog Runtime// (EPR) -- Running Prolog on Embedded Platforms, programming Prolog-C Interfaces, evaluation, refinment, testing, improvement; C and Prolog Programming is required FIXME mixdes R: [[miw08_RuleRuntimeP|Konrad Rybacki (4AR) ]] ==== RuleRuntimeC ==== XTT rule serialization in ANSI C (future XVM) * input: XTT model in XML * output: ANSI C code R: Dawid Molenda (4AR) ===== Misc Wiki ===== ==== DokuViz ==== [[misc:GraphViz]] plugin dla Dokuwiki, renderowanie diagramow z zamieszczonego w wiki kodu DOT oraz plikow umieszczanych w wiki. R: [[miw08_dokuviz|Michał Kotra (4AR) ]] ==== DokuLaTeX ==== Kowerter DokuWiki do LaTeX. Zbadać poziom zaimplementowania oferowanych rozwiązań. Zaimplementować. R: [[miw08_DokuLaTeX|Paweł Miczko (4AR) ]] ==== DokuBibTeX ==== bibtexplugin for dokuwiki, urlopen problems, bibtex file stored as an attachment in the wiki [[miw08_DokuBibTeX|R: Tomasz Huczek (4AR) ]] ==== Semantic Wiki ==== prolog wiki plugin, semantic wiki research, comparison R: [[miw08_Semantic_Wiki|Marcin Juszkiewicz, (4AR) ]] ==== MindstormsHP ==== build a nice web page about mindstorms, mrl, etc. using wiki R: [[miw08_MindstormsHP|Wojciech Piestrak (AR) ]] ===== Mindstorms ===== ==== MindStormsDesign ==== High-level NXT programming, design tools, XTT applications * input vague algorithm ideas ARD/XTT, other concepts of visual control, compare with http://www.microsoft.com/robotics http://scratch.mit.edu/ * output control algorithms, possibly in rule-based form Is ARD/XTT suitable for Mindstorms control? R: [[miw08_MindStormsDesign|Łukasz Zalewski (4AR) ]] ==== MindStormsAPI ==== :!: :!: Build an API prototype in Prolog for NXT-based robots * low-level sensomotoric API, cover NXT funcs, provide control for motors, sensors, brick i/o * mid-level mimic LEGO env blocks?? does it make sens? * component-level: identify common robot parts that need control: wheel, sensor, arm, etc? * robot-level: identify robot classes: e.g. im/mobile, rolling vs. walking; provide means to describe common robot designs, like the four provided by LEGO * high-level provide services for different classes Architecture: * MVC, the above is logical model * provide a V for every M component to support building of the interface Issues: * communication * control * design * event handling, device polling Ideas: * think how to build a Prolog API for NXT * investigate the [[http://lejos.sourceforge.net/|LeJOS]] [[http://lejos.sourceforge.net/p_technologies/nxt/nxj/api/index.html|NXJ API]] to remain compatible * investigate communication layer: one can use native NXT protocol, iCommand stack, other? * middle layer for: integrating logic layer with communication layer R: [[miw08_mindstormsapi|Piotr Hołownia (4AR) ]] Z: Weronika Furmańska (4IS) ==== MindStormsControlS ==== :!: Multilayer Stack in Prolog idea: * Serial Comm.(USB/BT) * low-level Prolog api 4 serial port, NXT comm. protocol, see other envs * mid-level NXT abstraction see [[pl:miw:miw2008_tematy#MindStormsAPI]] for other higher levels. R: [[miw08_MindStormsControlS|Marek Siara (4AR) ]] ==== MindStormsControlJ ==== :!::!: Communication stack: * Prolog -- control logic in [[http://www.swi-prolog.org|Prolog]] program * Prolog <-> Java -- interface, use JPL and/or Logtalk * [[http://lejos.sourceforge.net/|LeJOS]] [[http://lejos.sourceforge.net/p_technologies/nxt/icommand/icommand.php|iCommand]] -- communication w/ NXT in Java * Bluetooth -- controlled from iCommand * Mindstorms NXT. Idea: * wrap the [[http://lejos.sourceforge.net/p_technologies/nxt/icommand/api/index.html|iCommand API]] with Prolog predicates. * investigate event-related issues * build some simple control logic in Prolog R: [[miw08_mindstormscontrolj|Paweł Gutowski (4AR) ]] ==== MindStormsControlC ==== :!: udostępnienie kom. z MS BT z pośrednictem stack: * brixcc * socket * Prolog R: [[miw08_mindstormscontrolc|Marcin Ziółkowski (4AR) ]] ==== MindStormsEnv ==== Research available programming environments supporting mindstorms. * input http://www.microsoft.com/robotics http://msdn2.microsoft.com/en-us/robotics/default.aspx http://msdn2.microsoft.com/en-us/library/bb483088.aspx http://www.nxtclub.com/ http://scratch.mit.edu/ * output Environment comparison: pros/cons. R: [[miw08_mindstormsenv|Łukasz Dziedzia (4AR) ]] ===== Prolog ===== perhaps some :!: or :!!: should be assigned... ==== Prolog_JavaSockets ==== Java <-> Prolog via Sockets, examples, feasibility study, evaluation \\ An example of enabling a Java tic tac toe GUI to interact with the Prolog tic tac toe game agent, using a socket data connector: http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/8_4.html [[miw08_prolog_javasockets|R: Łukasz Łysik ]] ==== Prolog_ARDgviz ==== :!: ARD visualization and interactive, shell-based editing, w/ vis. in GrpahViz (VARDA shell) ==== Prolog_ARDxpce ==== ARD visualization and interactive, shell-based editing, w/ vis. in XPCE (VARDA shell) R: [[miw08_Prolog_ARDxpce|Franczak Wojciech, ]] ==== Prolog_ARDgtks ==== ARD visualization and interactive, shell-based editing, w/ vis./gui with [[http://www.gtk-server.org|Gtk-Server]] (VARDA shell). ==== Prolog_ARDugraph ==== Reimplementation of ARD processing (VARDA) in Prolog using ugraph. ==== Prolog_ARDport ==== ARD Prolog code portability audit, check SWI 5.2 vs. SWI 5.6 vs. YAP vs. GNU ==== Prolog_Android ==== Running Prolog on Android [[http://code.google.com/android/|Android]] [[http://www.onlamp.com/pub/a/onlamp/2007/11/12/google-calling-inside-the-gphone-sdk.html|SDK analysis]] [[http://lwn.net/Articles/258328/|Dalvik]] ==== Prolog_Mindstorms ==== Running Prolog interpreter on Mindstorms NXT hardware. ==== Prolog_XML ==== Omówić metody parsowania, generowania i przetwarzania XML/SGML w Prologu. Należy również zająć się reprezenatcjami pochodnymi opartymi na XML, np. RDF. Porównać dostępne rozwiązania i implementacje, np: * SWI: http://www.swi-prolog.org/packages/sgml2pl.html http://www.swi-prolog.org/packages/rdf2pl.html http://www.swi-prolog.org/packages/semweb.html * dodatkowe informacje: http://www.w3.org/DesignIssues/LinkedData.html http://sites.wiwiss.fu-berlin.de/suhl/bizer/d2r-server/ http://esw.w3.org/topic/SparqlEndpoints Inne komp: [[http://www.ncc.up.pt/~vsc/Yap/|YAP]], Amzi, inne? Wsparcie dla * [[http://www.w3.org/XML/Schema|XSD]] * namespaces * [[http://www.w3.org/Style/XSL/|XSL]] R: [[miw08_Prolog_XML|Wojciech Szymański ]] ==== Prolog_Adv ==== celem projektu jest opis, pogłębiona analiza i prezentacja przykładów wykorzystania rozszerzeń Prologu o zaawansowane mechanizmy takie jak: * CLP http://en.wikipedia.org/wiki/Constraint_logic_programming * tabled resolution http://en.wikipedia.org/wiki/Memoization * atrybuty i dziedziny, np. w [[http://www.sics.se/sicstus/docs/latest/html/sicstus/Attributes.html|SICStusie]] * inne Należy wziąć pod uwagę implementacje: * [[http://xsb.sourceforge.net|XSB]] * [[http://www.swi-prolog.org/|SWI]] * [[http://www.ncc.up.pt/~vsc/Yap/|YAP]] * [[http://www.amzi.com/|Amzi!]] * [[http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html|QuProlog]] * [[http://trinc-prolog.com|TrincProlog]] * [[http://www.sics.se/sicstus|SICStus]] R: [[miw08_prolog_adv|Sławomir Polański (5AR) ]] ==== Prolog_Java ==== Integracja kodu Prologu z Java porównać z projektami z 2006 roku http://www.ugosweb.com/jiprolog/ http://portal.acm.org/citation.cfm?id=787039 http://www.sics.se/sicstus|SICStus]] patrz [[https://ai.ia.agh.edu.pl/wiki/prolog:prolog_tools#java_and_prolog]] InterProlog http://www.declarativa.com/interprolog/, description, how to use, does it make any sense? R: [[miw08_prolog_java|Piotr Strzelczyk (4AR) ]] Wojciech Leś, Michał Łosiewicz, (IS) ===== Other KE ===== ==== HQedAudit ==== :!: Audyt kodu, dokumentacja, uzupełnienie komentarzy w kodzie w języku angielskim, testowanie. Wymagana znajomość C++, atutem jest znajomość biblioteki Qt oraz Doxygen, CVS. R: [[miw08_HQedAudit|Lukasz Rachwalski (4AR) ]] ==== VisualRuleDesign ==== * input: * RBS, ES, BR tools from ILOG [[http://www.ilog.fr/products/businessrules/|JRules]], Innovations [[http://www.visual-rules.de|VisualRules]], and potentially LPA [[http://www.lpa.co.uk/vsr.htm|VisiRule]] * output: * well modeled BR cases, including a simple small example, UServ, EURent * comparison/analysis * ideas for extending XTT ==== Constraints ==== Applications of rule-based constraint programming in modeling. * input Prolog, CLP, OCL, CHR, Alloy language http://alloy.mit.edu * output Possible applications, is it worth dealing with? ==== RBS_ML ==== Uczenie maszynowe w RBS, jako metoda rozbudowy/rozszerzania istniejącego systemu o nowe reguły, modyfikacja reguł, przykłady. R: [[miw08_RBS_ML|Krzysztof Morcinek (4AR) ]] FIXME pocz sem spec zadan/metod ==== RBS_CHR ==== [[http://www.cs.kuleuven.ac.be/~dtai/projects/CHR/|Constraint Handling Rules]] (też w [[misc:Constraint Handling Rules]]), zastosowania, implementacja, aplikacje. [[http://chr.informatik.uni-ulm.de/~webchr/|Demo]] Zwrócić uwagę przynajmniej na implementacje w: * [[http://gollem.science.uva.nl/SWI-Prolog/Manual/chr.html|SWI Prologu]] * [[http://www.sics.se/sicstus/docs/latest/html/sicstus/CHR.html|SICStus Prologu]] Przeczytać o: Rule-Based Constraint Programming http://www.cin.ufpe.br/~in1006/2005 Porównanie jak CHR ma się do CLP (Constraint Logic Programming). ==== RBS_Back ==== Przegląd metodologii reprezentacji reguł dla [[wppl>Wnioskowanie w tył|wnioskowania w tył (wstecz)]]. Należy szczególnie uwzględnić reprezentacje graficzne oraz zwrócić uwagę na: przejrzystość reguł, gęstość reprezentowanej informacji. R: Zwoźniak David https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_rbs_back