To jest stara wersja strony!
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…
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
MindStormsControlT
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
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:
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