Differences

This shows you the differences between two versions of the page.

--- pub:projects:hekate [2009/07/29 12:13] – created admin
+++ pub:projects:hekate [2013/01/10 12:57] – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
+~~NOTOC~~
 ====== HeKatE ======
-  * 2007→2009 - HeKatE (Grant MNiSW N516 024 32/2878) Hybrid Knowledge Engineering: project coordination, XTT2 and ARD+ design methods concepts and tools
+//**H**ybrid **K**nowledge **E**ngineering// (**HeKatE**)
+<WRAP center round info 60%>
+  * NCN Grant no. NCN N516 024 32/2878 {{  :pub:projects:hekatelogo.png?direct&w140|}}
+  * **Project Leader:** [[pub:about_us:ali|prof. dr hab. inż. Antoni Ligęza]]
+  * **Project coordinator:** [[pub:about_us:gjn|dr hab. inż. Grzegorz J. Nalepa]]
+  * **Timeline:** 2007-05 -> 2009-11
+  * **Duration:** 30 months
+  * **Webpage:** [[http://hekate.ia.agh.edu.pl]]
+</WRAP>
+===== Introduction =====
+The research project regards Software Engineering based on Knowledge Engineering.
+The scope of the project includes but it is not limited to Knowledge Representation, Processing and Visualization methods.
+Main areas include:
+    * Knowledge Representation Methods
+    * Software Design Methods based on Knowledge Engineering
+    * Knowledge-based Runtime Environments for Standalone and Embedded Systems
+The main HeKatE Web Page: [[http://hekate.ia.agh.edu.pl]]
+===== Motivation =====
+  * There is a //semantic gap// in the contemporary Software Engineering which should be minimized
+  * Designed Knowledge Base is a 'program' capable of running, assuming that a proper runtime environment is supplied
+  * The Knowledge Base can be verified and its proper behavior can be assured.
+  * The Knowledge Base can be easily extended to meet new requirements, implement new functionality etc.
+===== Results =====
+  * [[http://ai.ia.agh.edu.pl/wiki/hekate:hekate concepts|main conceptual background]]
+  * [[http://ai.ia.agh.edu.pl/wiki/hekate process|design architecture and process]]
+  * knowledge concetualization with [[http://ai.ia.agh.edu.pl/wiki/alsvfd|ALSV(FD)]]
+  * rulebase formalization with [[http://ai.ia.agh.edu.pl/wiki/hekate:XTT2|XTT2]]
+  * the [[http://ai.ia.agh.edu.pl/wiki/hekate:HaDEs|HaDEs]] design environment and toolset includes:
+    * conceptual modeling with [[http://ai.ia.agh.edu.pl/wiki/hekate:ARDplus|ARDplus]] using [[http://ai.ia.agh.edu.pl/wiki/hekate:HJEd|HJEd]] and [[http://ai.ia.agh.edu.pl/wiki/hekate:VARDA|VARDA]]
+    * logical design with [[http://ai.ia.agh.edu.pl/wiki/hekate:XTT2|XTT2]] using [[http://ai.ia.agh.edu.pl/wiki/hekate:HQEd|HQEd]]
+    * automated implementation with [[http://ai.ia.agh.edu.pl/wiki/hekate:HeaRT|HeaRT]]
+    * knowledge translation with [[http://ai.ia.agh.edu.pl/wiki/hekate:HaThoR|HaThoR]]
+  * rule-based knowledgebase is:
+    * described in a human-readable textual [[http://ai.ia.agh.edu.pl/wiki/hekate:HMR|HMR]] notation, and
+    * serialized to a machine-readable XML [[http://ai.ia.agh.edu.pl/wiki/hekate:hekate_markup_language|HML]] format
+  * number of [[https://ai.ia.agh.edu.pl/wiki/hekate:cases:start|rule systems cases]] has been modeled using the HeKatE approach
+  * **[[http://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography|all papers produced and related to the project]]**
+{{tag>project completed_project}}
-{{tag>design editor engine formal_analysis hekate intelligent_systems prolog rule-based_systems rules translator visual xtt ard}}
+Go back to -> [[start|projects]]