This shows you the differences between two versions of the page.
|
hekate:start [2009/03/17 22:05] gjn Links to semantic_gap changed to misc:semantic_gap |
hekate:start [2019/06/27 15:49] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ~~LANG>pl:hekate:start~~ | ||
| - | ====== HeKatE ====== | ||
| - | [[hekatedev:start|For Developers]] | ||
| - | |||
| - | {{:hekate.png |Hekate Logo}} | ||
| - | |||
| - | **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 User Interface | ||
| - | * Knowledge-based Runtime Environments for Standalone and Embedded Systems | ||
| - | |||
| - | The main Hekate Web Page: http://hekate.ia.agh.edu.pl | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ===== News ===== | ||
| - | * 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]]. | ||
| - | |||
| - | ===== Papers ===== | ||
| - | |||
| - | Papers and publications regarding the Hekate project are at: [[.bib:Hekate Bibliography]] | ||
| - | |||
| - | Yes, we do work on tools, stay tuned for prototypes! | ||
| - | |||
| - | |||
| - | ===== Motto? ===== | ||
| - | |||
| - | If a machine is expected to be infallible, it cannot also be intelligent. | ||
| - | -- A.Turing | ||
| - | We won't make'em intelligent, we'll make them work! | ||
| - | |||
| - | |||
| - | Insufficient facts always invite danger | ||
| - | -- Spock, "Space Seed" | ||
| - | |||
| - | ===== Motivation ===== | ||
| - | * 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 | ||
| - | * The Knowledge Base can be verified and its proper behavior can be assured -- __no bugs are possible by design!__ | ||
| - | * 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 ===== | ||
| - | |||
| - | 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. | ||
| - | |||
| - | |||
| - | ===== 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]] | ||
