For Developers

HeKatE is an acronym for Hybrid Knowledge Engineering

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

• 2009/05: first major HaDEs toolset integration, release of: HMR, newer version of HML, related research
• 2009/04: HJEd design tool released
• 2009/03: PlNXT first official release
• 2009/02: HJEd beta, HQEd M6 alpha versions
• 2009/01: Draft UML-based representation for XTT and ARD (see the Visual Rules Process Modeling presentation)
• 2008/12: Draft XTT2 formulation published
• 2008/11: The possible integration of ALSV(FD) with Description Logic considered
• 2008/10: Rule prototyping algorithm presented at AAIA workshop
• 2008/09: The KESE 2008 workshop, UML based representation discussed
• 2008/09: PlNXT prototype presented at KI 2008
• 2008/07: Project results presented at the RuleApp 2008 workshop at ECAI 2008
• 2008/06: Preliminary ALSV(FD) formulation
• 2008/05: Project results presented at FLAIRS 2008 conference
• 2008/04: HeKatE markup language proposed
• 2008/03: HeKatE tools released, see varda and hqed
• 2008/02: VARDA and HQed go GPLv3! This day (29/02) is special
• 2007/11: HeKatE papers on line, finally; see: hekate_bibliography
• 2007/11: ARD+ prototype description
• 2007/09: Project's papers and publications available on-line at: 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 Flairs conference regarding the project is out
• 2006/07: The Grant Proposal has been sent

Development Team meetings are available at hekate_meetings.

Papers and publications regarding the HeKatE project are at: Hekate Bibliography

If a machine is expected to be infallible, it cannot also be intelligent. 
-- A.Turing

Insufficient facts always invite danger 
-- Spock, "Space Seed"

See hekate concepts for more info about the ideas, process, architecture, applications etc.

The HaDEs environment includes:

• knowledge formalization with ALSV(FD)
• conceptual modeling with ARDplus using HJEd and VARDA
• logical design with XTT2 using HQEd
• automated implementation with HeaRT
• knowledge translation with HaThoR

Rule-based knowledge is:

• described in a human-readable textual HMR notation, and
• serialized to a machine-readable XML HML format.

• Thermostat

• 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 – minimize the number of bugs
• The Knowledge Base can be easily extended to meet new requirements, implement new functionality etc.

The logo depicts a few triplets:

• three faces of Hekate,
• Model, View, Controller,
• Forward Chaining, Backward Chaining, Human-Computer Interfacing,
• Software Engineering, Knowledge Engineering, Interfacing,
• Art, Spirit, Science.

• 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 gjn2009amcs paper.