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
Design rbs examples with 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
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) lukaszrachwalski@gmail.com]]
==== 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: 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: 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
===== 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
Wymagania funkcjonalność:
poruszanie ( tył, przód, lewo, prawo, obroty)
odczyt sensorów ( IR, sonar, dźwięk, dotyk, …)
Wielowątkowa biblioteka do sterowania robotami HEXOR
Implementacja biblioteki do sterowania jednocześnie i asynchronicznie wieloma robotami Hexor.
Uwagi:
Wielowątkowa biblioteka do sterowania Lego Mindstorms
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
Modelowanie systemów regułowych za pomocą EMF ( Eclipse )