Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
hekate:start [2009/03/17 12:52] ikaf |
hekate:start [2013/01/17 12:14] esimon Links to plnxt:start changed to mindstorms:plnxt:start |
~~LANG>pl:hekate:start~~ | ~~LANG>pl:hekate:start~~ |
====== Hekate ====== | ====== HeKatE ====== |
| |
[[hekatedev:hekate_development|For Developers]] | [[hekatedev:start|For Developers]] |
| |
{{:hekate.png |Hekate Logo}} | {{:hekate.png |Hekate Logo}} |
**Hybrid Knowledge Engineering** | **Hybrid Knowledge Engineering** |
| |
The codename regards [[wp>Hekate]] somehow: childbirth, sorcery, witchcraft, ghosts, untamed areas and wilderness ... to name some ;-) -- to show new directions, helpout in our current, desperate IT condition. | The research project regards Software Engineering based on Knowledge Engineering. |
The project was started by an informal group: the [[knowledge_engineering_group]]. | 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 |
| |
Hekate Web Page: http://hekate.ia.agh.edu.pl | The main HeKatE Web Page: http://hekate.ia.agh.edu.pl |
| |
| The project started in May 2007, and **has ended** in November 2009. |
| |
| |
| ===== News ===== |
| * 2009/11: //HeKatE has officially **ended**// (more cleanup follows) |
| * 2009/11: tools updates, [[HaDEs]] releases, important [[HeaRT]] and [[HQEd]] improvements, [[hekate:cases:]] modeling, meet us at [[http://www.cms.agh.edu.pl/|CMS2009]] |
| * 2009/10: tools updates, [[hekate:cases:]] modeling |
| * 2009/09: meet us on: [[https://ai.ia.agh.edu.pl/wiki/kese:kese2009|KESE2009]] at [[http://ki2009.uni-paderborn.de/|KI2009]], and [[http://hydrogen.informatik.tu-cottbus.de/wiki/index.php/RuleApps2009|RuleApps2009]] |
| * 2009/08: public releases of the most important [[HaDEs]] components; the project enters an //internal evaluation phase// |
| * 2009/07: [[HeaRT]] beta with integration libraries, new version of [[HQEd]]; [[hekate:bib:hekate_bibliography#section|final version]] of the [[http://www.amcs.uz.zgora.pl/|AMCS]] paper on HeKatE and [[XTT2]]. |
| * 2009/06: major tools improvement, internal releases; the Project has been presented on the [[http://www.iwse.pwr.wroc.pl/|IWSE 2009]] conference, see [[hekate:bib:hekate_bibliography#section|recent IWSE papers]] |
| * 2009/05: first major [[HaDEs]] toolset integration, release of: [[HMR]], newer version of [[hekate_markup_language|HML]], related research |
| * 2009/04: [[hekate:HJEd]] design tool released |
| * 2009/03: [[PlNXT:]] first official release |
| * 2009/02: HJEd beta, HQEd M6 alpha versions |
| * 2009/01: Draft [[hekate:bib:hekate_bibliography#gjn2009flairs-oo|UML-based representation for XTT and ARD]] (see the [[Visual Rules Process Modeling]] presentation) |
| * 2008/12: Draft [[hekatedev:xtt2|XTT2 formulation]] published |
| * 2008/11: The [[dl_intro|possible integration of ALSV(FD) with Description Logic]] considered |
| * 2008/10: Rule prototyping algorithm presented at [[http://www.imcsit.org/?cont=91&type=page&page=72|AAIA workshop]] |
| * 2008/09: The [[https://ai.ia.agh.edu.pl/wiki/kese:kese2008|KESE 2008 workshop]], UML based representation discussed |
| * 2008/09: [[mindstorms:plnxt:start|PlNXT prototype]] presented at [[http://ki2008.dfki.uni-kl.de/|KI 2008]] |
| * 2008/07: Project results presented at the [[http://oxygen.informatik.tu-cottbus.de/RuleApp2008/|RuleApp 2008]] workshop at [[http://www.ece.upatras.gr/ecai2008|ECAI 2008]] |
| * 2008/06: Preliminary [[hekate:alsvfd|ALSV(FD)]] formulation |
| * 2008/05: Project results presented at [[http://flairs.com/|FLAIRS 2008]] conference |
| * 2008/04: [[HeKatE markup language]] proposed |
| * 2008/03: HeKatE tools released, see [[hekate:varda]] and [[hekate:hqed]] |
| * 2008/02: VARDA and HQed go GPLv3! This day (29/02) is special |
| * 2007/11: HeKatE papers on line, finally; see: [[hekate:bib:hekate_bibliography]] |
| * 2007/11: ARD+ prototype description |
| * 2007/09: Project's papers and publications available on-line at: [[.bib:Hekate Bibliography]] |
| * 2007/09: HeKatE is under heavy development |
| * 2007/07: XTT+ and/or GREP proposal |
| * 2007/03: The grant proposal has been accepted! |
| * 2006/11: The first article for [[http://www.flairs.com/|Flairs]] conference regarding the project is out |
| * 2006/07: The Grant Proposal has been sent |
| |
| Development Team meetings are available at [[hekatedev:hekate_meetings]]. |
| |
| ===== Papers ===== |
| |
| Papers and publications regarding the HeKatE project are at: [[.bib:Hekate Bibliography]] |
| |
| |
===== News ===== | ===== Team ===== |
* 2008/03/09: HeKatE tools released, see [[hekate:varda]] and [[hekate:hqed]] | |
* 2008/02/29: VARDA and HQed go GPLv3! This day (29/02) is //special// :-) | |
* 2007/11/22: HeKatE papers on line, finally; see: [[hekate:bib:hekate_bibliography]] | |
* 2007/11/21: ARD+ prototype submitted to FLAIRS2008 | |
* 2007/09/06: project's papers and publications available on-line at: [[.bib:Hekate Bibliography]] | |
* 2007/09/06: HeKatE is under heavy development right now, outcomes will be published here ASAP. | |
* 2007/07/15: XTT+ and/or GREP proposal | |
* 2007/03/29: We have a GO!!! The grant proposal has been accepted!!! | |
* 2006/11/20 00:01: a first article for [[http://www.flairs.com/|Flairs]] conference regarding the project is out | |
* 2006/07/21: The Grant Proposal has been sent -- we just need to sit back and relax waiting for the reply about funding. | |
| |
Development Team meetings are available at [[hekatedev:hekate_meetings]]. | Project Leader: [[http://home.agh.edu.pl/ligeza|Prof. Antoni Ligęza, PhD]] |
| |
===== Papers ===== | Project Coordinator: [[http://home.agh.edu.pl/gjn|Grzegorz J. Nalepa, PhD]] |
| |
Papers and publications regarding the Hekate project are at: [[.bib:Hekate Bibliography]] | The Project involved number of important AGH UST staff members and students, see [[team]] information. |
| |
Yes, we do work on tools, stay tuned for prototypes! | ===== Insight ===== |
| See [[hekate:hekate concepts]] for more info about the ideas, |
| [[hekate process|process]], architecture, applications etc. |
| |
| |
| ===== Tools ===== |
| The [[HaDEs]] environment includes: |
| * knowledge formalization with [[alsvfd|ALSV(FD)]] |
| * conceptual modeling with [[hekate:ARDplus]] using [[HJEd]] and [[hekate:VARDA]] |
| * logical design with [[hekate:XTT2]] using [[hekate:HQEd]] |
| * automated implementation with [[HeaRT]] |
| * knowledge translation with [[HaThoR]] |
| |
===== Motto? ===== | Rule-based knowledge is: |
| * described in a human-readable textual [[HMR]] notation, and |
| * serialized to a machine-readable XML [[hekate_markup_language|HML]] format. |
| |
If a machine is expected to be infallible, it cannot also be intelligent. | ===== Cases ===== |
-- A.Turing | |
We won't make'em intelligent, we'll make them work! | |
| |
| A number of [[https://ai.ia.agh.edu.pl/wiki/hekate:cases:start|rule systems cases]] has been modeled using the HeKatE approach. |
| |
Insufficient facts always invite danger | |
-- Spock, "Space Seed" | |
| |
===== Motivation ===== | ===== Motivation ===== |
* There is a [[:semantic_gap]] in the contemporary Software Engineering which should be minimized | * There is a [[misc:semantic_gap]] in the contemporary Software Engineering which should be minimized |
* Turing machines as well as von Neumann architectures have //problems//, lets think on the knowledge level | |
* Designed Knowledge Base is a 'program' capable of running, assuming that a proper runtime environment is supplied | * 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 -- __no bugs are possible by design!__ | * 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. | * The Knowledge Base can be easily extended to meet new requirements, implement new functionality etc. |
| |
| |
| |
===== Project Insight ===== | |
See [[hekate:hekate concepts]] for more info about the ideas, [[hekate process|process]], architecture, applications etc. | |
| |
| |
===== Logo ===== | ===== Logo ===== |
* Art, Spirit, Science. | * Art, Spirit, Science. |
| |
| ===== Related research ===== |
| * 2009: [[Beating Heart]] - an inference engine loosly inspired by XTT, //partially compatible// with HeKatE toolset. |
| * 2002-4: the [[Mirella]] project, where the most important ideas for HeKatE were formulated, including XTT. Currently //not functional and not supported in any way//. |
| * '90: early works of Prof. Antoni Ligęza traced in the [[hekate:bib:hekate_bibliography#gjn2009amcs]] paper. |
| |
===== Tools ===== | |
* conceptual modeling with [[hekate:hekate_concepts#ARD]] using [[hekate:VARDA]] | |
* logical design with [[hekate:hekate_concepts#XTT]] using [[hekate:HQEd]] | |
| |
===== Cases ===== | |
| |
* [[hekate case thermostat|Thermostat]] | |