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…

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

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

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
  • 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)

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. 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>

Build a simple control stack that communicates w/ MS via BT in RT, and exposes the control through a TCP socket, providing a simple control protocol, e. g. for Prolog.

Z: Pokrzepa Wojciech, Waliszko Jarosław, jwa@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

 [[miw2008_mindstormscontrolj| WCHODZ TUTAJ]]

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>

IS: chętni: Wojciech Leś, Michał Łosiewicz, keepsake@o2.pl, albo Prolog_Java

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

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łenie komentarzy w kodzie w języku angielskim, testowanie. Wymagana znajomość C, atutem jest znajomośc biblioteki Qt oraz Doxygen, CVS. R: Lukasz Rachwalski (4AR) <lukaszrachwalski@gmail.com> ==== VisualRuleDesign ==== * input: * RBS, ES, BR tools from ILOG [[http://www.ilog.fr/products/businessrules/ 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

==== 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: Krzysztof Morcinek (4AR) krzysztof.morcinek@gmail.com pocz sem spec zadan/metod ==== RBS_CHR ==== 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). ==== 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: przejżystość reguł, gęstość reprezentowanej informacji. ===== Intelligent Robots ===== ==== Abstract Robotic Toolkit ==== Opracowanie architektury i implementacja biblioteki do sterowania robotami. Biblioteka ma umożliwiać sterowanie robotami za pomocą zunifikowanego zestawu rozkazów. Rozkazy mają być niezależne od robota jaki jest wykorzystywany. Szkic architektury: Pokrywa się częściowo z mindstormsapi. PROLOG ⇒ ABSTRACT ROBOTIC TOOLKIT LIB ⇒ ROBOT XXX MODULE ⇒ LINK ( SERIAL, BT, WIFI, …) ⇒ ROBOT Uwagi: * przy dodawaniu obsługi kolejnego robota ma być konieczne tylko napisania modułu dla konkretnej jednostki. * biblioteka ma uwzględniać możliwość sterowania kilkoma robotami o jednakowej architekturze. * biblioteka ma posiadać interfejs do realizacji funkcji specyficznych dla danego robota (coś w rodzaju ioctl dla plików w linuksie) * język implementacji: Prolog / Java / C / C

• system operacyjny wymagany: GNU/Linux
• mile widziana niezależność od systemu operacyjnego

Wymagania funkcjonalność:

• poruszanie ( tył, przód, lewo, prawo, obroty)
• odczyt sensorów ( IR, sonar, dźwięk, dotyk, …)

Implementacja biblioteki do sterowania jednocześnie i asynchronicznie wieloma robotami Hexor.

Uwagi:

• warto znać POSIX Threads
• można wykorzystać jako start bibliotekę, która aktualnie służy do komunikacji z Hexorem :pl:hexor:hexor_prolog.tar.gz
• przystosowanie do wykorzystania jako ROBOT HEXOR MODULE dla Abstract Robotic Toolkit
• język implementacji: C / C++

Implementacja biblioteki do sterowania robotami Lego Mindstorms przez Bluetooth

Pokrywa się z mindstormscontrols.

Pokrywa się częściowo z mindstormsapi.

Uwagi:

• jednoczesna kontrola wielu robotów
• warto znać POSIX Threads ??
• system operacyjny: GNU/Linux
• przystosowanie do wykorzystania jako ROBOT LEGO MODULE dla Abstract Robotic Toolkit

Jarosław Waliszko jwa@student.agh.edu.pl, Wojciech Pokrzepa, 4IS

Opierając się na przykładzie http://www.eclipse.org/articles/Article-Rule%20Modeling%20With%20EMF/article.html należy sprawdzić możliwość użycia Eclipse+EMF do modelowania XTT. Wynikiem opracowania ma być:

• prototyp pokazujący model XTT w Eclipse
• szczegółowy wyjaśnie nie dlaczego nie da się/nie warto modelować XTT z wykorzystaniem EMF

Warto znać:

• java
• eclipse
• JET
• XTT