Podstawy i Metody Inżynierii Wiedzy 2008
Studenci
Tematy projektów są przeznaczone dla studentów:
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

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:
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 gjn@agh.edu.pl.
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:
W trybie podstawowym program może działać offline, t.j. poza wiki (kopiuje strone na dysk i tam uruchamiam konwerter).
Tryb zaawansowany:
LaTeX2Doku
j.w. ale konwersja latex do formatu wiki.
Może pracować offline, t.j. poza wiki.
PrologEns
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 aiwiki
UML2ARD
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.
ARD2UML
j.w. tylko w 2. stronę, t.j. generowanie XMI z ARDML.
Tematy PIW08
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)
R: Artur Poniedziałek (4AR) <arturponiedzialek@gmail.com>
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: Szymon Grzybicki (4AR) <gcki@o2.pl>
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: Marcin Kamiński (4AR) <makamin@student.agh.edu.pl>
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
UMLandARDXTT
XTT_Serialization
UML_URML
XTTplusApps
GEFARDXTT
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: Tomasz Bochen (4AR) <tomasz_bochen@o2.pl>
R: Magdalena Pluta (4AR) <mpluta@wp.pl>
ARD_XML
XTT_XML
XTT_XMLPro
HekateATL
XTT_R2ML
XTT_RIF
ARD_Onto
wymiana danych między ARD a ontologiami
ARD_RDF
HML_XMI
Zweryfikowanie jak od strony praktycznej powinny być zapisane modele w Hekate (ARD, XTT) by być zgodne z standardem XMI.
HML_Rules
HeKatE Runtime
RuleRuntimeJ

Investigate runtime integration aspects, mainly
Prolog+Java integration possibilities
How to integrate Prolog and Java in the best way regarding performance, and coding easiness + examples.
R: Marcin Gadamer (4AR)
RuleRuntimeO
RuleRuntimeG
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)
XPCE, QT, GTK, GtkServer, Java etc., SWI Prolog documentation
Feasibility study, a prototype.
R: Filip Haftek (4AR) <filiphaftek@o2.pl>
R: Janicki Damian (4AR) <janicki.damian@gmail.com> (Swing,SWT)
RuleRuntimeL
RuleRuntimeW
Investigate runtime integration aspects, mainly
virtual machine runtimes
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
mixdes
R: Konrad Rybacki (4AR) <konrad.rybacki@gmail.com>
RuleRuntimeC
XTT rule serialization in ANSI C (future XVM)
input: XTT model in XML
output: ANSI C code
R: Dawid Molenda (4AR) dawid@molenda.info
Misc Wiki
DokuViz
DokuLaTeX
DokuBibTeX
Semantic Wiki
MindstormsHP
Mindstorms
MindStormsDesign
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:
Ideas:
think how to build a Prolog
API for NXT
-
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)
MindStormsControlS
MindStormsControlJ
MindStormsControlC
MindStormsEnv
Prolog
perhaps some
or :!!: should be assigned…
Prolog_JavaSockets
Prolog_ARDgviz
ARD visualization and interactive, shell-based editing, w/ vis. in GrpahViz (VARDA shell)
Prolog_ARDxpce
Prolog_ARDgtks
ARD visualization and interactive, shell-based editing, w/ vis./gui with 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
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:
Inne komp: YAP, Amzi, inne?
Wsparcie dla
R: Wojciech Szymański <wojtek.szym@gmail.com>
Prolog_Adv
celem projektu jest opis, pogłębiona analiza i prezentacja przykładów wykorzystania rozszerzeń Prologu o zaawansowane mechanizmy takie jak:
Należy wziąć pod uwagę implementacje:
R: Sławomir Polański (5AR) <wawele@gmail.com>
Prolog_Java
Other KE
HQedAudit
VisualRuleDesign
Constraints
Applications of rule-based constraint programming in modeling.
Prolog, CLP, OCL, CHR, Alloy language http://alloy.mit.edu
Possible applications, is it worth dealing with?
RBS_ML
RBS_CHR
RBS_Back