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)

• 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

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 SOPD
• projektu Hekate, potencjalnie za wynagrodzeniem
• w ramach koła naukowego Noesis

• podstawy Prologu
• Knowledge Engineerng Concepts: Rule-based, Expert Systems
• Data representation and processing: XML-based technologies
• Programming: Java, Eclipse
• Modelling: UML, MVC, XTT…

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 gjn@agh.edu.pl. Można też przyjść na konsultacje, we wtorek 10-15, C3, 203

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.

j.w. ale konwersja latex do formatu wiki. Może pracować offline, t.j. poza wiki.

Kolorowanie składni języka Prolog dla GNU Enscript. Patrz realizacja dla GeSHi.

R: Paweł Marek (5AR) <pmarek@student.agh.edu.pl>

Należy wykonać złożony plugin wyszukiwawczy do ai wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc.

Należy wykonać search plugin dla firefoxa, przeszukujący aiwiki

Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML (w z góry zadanym formacie) zapisanych w postaci modelu XMI, do formatu ARDML.

j.w. tylko w 2. stronę, t.j. generowanie XMI z ARDML.

patrz dedykowana strona

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)

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)

R: Artur Poniedziałek (4AR) <arturponiedzialek@gmail.com>

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: Szymon Grzybicki (4AR) <gcki@o2.pl>

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: Marcin Kamiński (4AR) <makamin@student.agh.edu.pl>

Reprezentacja XTT w Prologu + prosty interpreter.

Zainteresowani: Szymon Bobek & Michał Gawędzki (4IS)

Reprezentacja ARD w Prologu + prosty interpreter. Analogiczne do VARDA, from scratch.

Z: Paweł Muchacki (4IS)

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) krzysztof.kluza@uj.edu.pl

Investigate how XTT could be modeled in UML

• input

UML, ARD/XTT documentation

• output

Sample XTT based rules modelled with UML.

R: Krzysztof Kluza (4AR) <krzysztof.kluza@uj.edu.pl>

Mat:

• 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 tutorial on the group technologies. Login as guest, with key RMAI2007

Try to propose an effective encoding of XTT with UML and Java.

R: Karol Gorlach (4AR) <karol.gorlach@gmail.com>

Design rbs examples with URML

R: Piotr Przybycin (4AR) <pit4@o2.pl>

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

R: Łukasz Dziewanowski (4AR) <dziewano@student.agh.edu.pl>

GEF and Eclipse based editor for ARD and XTT. Evaluation, feasibility, prototype. XTTv2 Editor requirements

• input
  • Eclipse: EMF, GEF resources (GEF, http://www.eclipse.org/articles/Article-GEF-editor/gef-schema-editor.html),
  • ARD: Towards Formalization of ARD+ Conceptual Design and Refinement Method and An ARD+ Design and Visualization Toolchain Prototype in Prolog and 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 requirements

GEF MS Thesis

R: Maciej Dudek (4AR) <md5@o2.pl> (ARD)

R: Bartłomiej Szybura (4AR) <b.szybura@interia.pl> (XTT)

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: Tomasz Bochen (4AR) <tomasz_bochen@o2.pl>

R: Magdalena Pluta (4AR) <mpluta@wp.pl>

Tutoriale XSL/T:

• ZVON XSLT
• W3S XSLT

Translacja ARDML do innych formatów z użyciem XSLT. : ontologie, graphviz

R: Michał Tomana (4AR) <mtomana@student.agh.edu.pl>

Translacja XTTML do innych formatów z użyciem XSLT. : ontologie (OWL), graphviz

R: Szymon Deja <sdeja@poczta.onet.pl> <szydej@gmail.com>

Translacja XTTML do innych formatów z użyciem Prologu.

R: Maksymilian Imioło(4AR) <maximiolo@o2.pl>

How we could use Atlas for ARD, XTT, design and integration? ATL: Atlas Transformation…. eclipse

• input
• output

R: Marek Mierzwa Jakub Ostrowski (4AR) <kubaostrowski@gmail.com>

translacja XTTML → R2ML

<Tomasz Pałosz> (4AR) <tomekpalosz@o2.pl>

translacja XTTML → RIF

Mateusz Mazur, (4AR) <m-a-t-i@o2.pl>

wymiana danych między ARD a ontologiami

zapis ARD przy pomocy RDF w XSLT

R: Rafał Szymczyk, (4AR), <raf.szymczyk@o2.pl>

Zweryfikowanie jak od strony praktycznej powinny być zapisane modele w Hekate (ARD, XTT) by być zgodne z standardem XMI.

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: Michał Rogula (4RI) <michal.rogula@wp.pl>

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: Marcin Gadamer (4AR)

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. Prolog OOP, LogTalk, TrincProlog, SICStus Prolog

• output

Feasibility study, a prototype.

R: Grzegorz Caban (4AR) <grzegorz.caban@gmail.com>

Investigate runtime integration aspects, mainly semi-automatical building of a GUI for Prolog programs possibilities XPCE, Static QT/Gtk, 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: Car ES, opposite: ready MV i Java, build M in Prolog, make it work with the V

R: Filip Haftek (4AR) <filiphaftek@o2.pl>

R: Janicki Damian (4AR) <janicki.damian@gmail.com> (Swing,SWT)

Investigate LLVM/HLVM as a Prolog platform

See WAM links

R: Andrzej Jasiński (4AR) <jasinski.andrzej@gmail.com>

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

Embedded Prolog Runtime (EPR) – Running Prolog on Embedded Platforms, programming Prolog-C Interfaces, evaluation, refinment, testing, improvement; C and Prolog Programming is required

mixdes

R: Konrad Rybacki (4AR) <konrad.rybacki@gmail.com>

XTT rule serialization in ANSI C (future XVM)

• input: XTT model in XML
• output: ANSI C code

R: Dawid Molenda (4AR) dawid@molenda.info

GraphViz plugin dla Dokuwiki, renderowanie diagramow z zamieszczonego w wiki kodu DOT oraz plikow umieszczanych w wiki.

R: Michał Kotra (4AR) <mkotra@student.agh.edu.pl>

Kowerter DokuWiki do LaTeX. Zbadać poziom zaimplementowania oferowanych rozwiązań. Zaimplementować.

R: Paweł Miczko (4AR) <mieczyslav@gmail.com>

bibtexplugin for dokuwiki, urlopen problems, bibtex file stored as an attachment in the wiki

R: Tomasz Huczek (4AR) <tomasz.huczek@gmail.com>

prolog wiki plugin, semantic wiki research, comparison

R: Marcin Juszkiewicz, (4AR) <monitorr@interia.pl>

build a nice web page about mindstorms, mrl, etc. using wiki

R: Wojciech Piestrak (AR) <wojciechpiestrak@gmail.com>

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: Łukasz Zalewski (4AR) <zalewik@gmail.com>

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 LeJOS 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: Piotr Hołownia (4AR) <holownia@student.agh.edu.pl>

Z: Weronika Furmańska (4IS)

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 MindStormsAPI for other higher levels.

R: Marek Siara (4AR) <siara@student.agh.edu.pl>

Communication stack:

• Prolog – control logic in Prolog program
• Prolog ↔ Java – interface, use JPL and/or Logtalk
• LeJOS iCommand – communication w/ NXT in Java
• Bluetooth – controlled from iCommand
• Mindstorms NXT.

Idea:

• wrap the iCommand API with Prolog predicates.
• investigate event-related issues
• build some simple control logic in Prolog

R: Paweł Gutowski (4AR) <pawel.gutowski@gmail.com>

udostępnienie kom. z MS BT z pośrednictem stack:

• brixcc
• socket
• Prolog

R: Marcin Ziółkowski (4AR) <mziolkow@student.agh.edu.pl>

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: Łukasz Dziedzia (4AR) <dziedzia@student.agh.edu.pl>

perhaps some or :!!: should be assigned…

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

R: Łukasz Łysik <llysik@gmail.com>

ARD visualization and interactive, shell-based editing, w/ vis. in GrpahViz (VARDA shell)

ARD visualization and interactive, shell-based editing, w/ vis. in XPCE (VARDA shell)

R: Franczak Wojciech, <wojciech.franczak@gmail.com>

ARD visualization and interactive, shell-based editing, w/ vis./gui with Gtk-Server (VARDA shell).

Reimplementation of ARD processing (VARDA) in Prolog using ugraph.

ARD Prolog code portability audit, check SWI 5.2 vs. SWI 5.6 vs. YAP vs. GNU

Running Prolog on Android Android SDK analysis Dalvik

Running Prolog interpreter on Mindstorms NXT hardware.

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: YAP, Amzi, inne?

Wsparcie dla

• XSD
• namespaces
• XSL

R: Wojciech Szymański <wojtek.szym@gmail.com>

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 SICStusie
• inne

Należy wziąć pod uwagę implementacje:

• XSB
• SWI
• YAP
• Amzi!
• QuProlog
• TrincProlog
• SICStus

R: Sławomir Polański (5AR) <wawele@gmail.com>

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: Piotr Strzelczyk (4AR) <pit.strzelec@gmail.com>

Wojciech Leś, Michał Łosiewicz, (IS) keepsake@o2.pl

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: Lukasz Rachwalski (4AR) <lukaszrachwalski@gmail.com>

• input:
  • RBS, ES, BR tools from ILOG JRules, Innovations VisualRules, and potentially LPA VisiRule
• output:
  • well modeled BR cases, including a simple small example, UServ, EURent
  • comparison/analysis
  • ideas for extending XTT

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?

Uczenie maszynowe w RBS, jako metoda rozbudowy/rozszerzania istniejącego systemu o nowe reguły, modyfikacja reguł, przykłady.

R: Krzysztof Morcinek (4AR) <krzysztof.morcinek@gmail.com>

pocz sem spec zadan/metod

Constraint Handling Rules (też w Constraint Handling Rules), zastosowania, implementacja, aplikacje. Demo

Zwrócić uwagę przynajmniej na implementacje w:

• SWI Prologu
• 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).

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.

R: Zwoźniak David david_z@poczta.fm https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_rbs_back