This shows you the differences between two versions of the page.
|
hekate:heart [2009/08/14 13:59] gjn heart m2 |
hekate:heart [2019/06/27 15:49] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== The Hekate RunTime ====== | ||
| - | |||
| - | HeKatE Run Time (HeaRT) is a dedicated inference engine for the XTT2 rule bases. | ||
| - | (see https://ai.ia.agh.edu.pl/wiki/hekate:heart). | ||
| - | The engine implements the inference based on [[ALSVfd]] logic. | ||
| - | It is implemented in Prolog in order to directly interpret the [[HMR]] | ||
| - | representation which is generated by [[HQEd]]. | ||
| - | [[HMR]] (HeKatE Meta | ||
| - | Representation) is a textual representation of the [[XTT2]] logic designed | ||
| - | by [[HQEd]]. It is a human readable form, as opposed to the machine | ||
| - | readable HML ([[HeKatE Markup Language]]) format. HeaRT allows to: store and export models in [[HMR]] | ||
| - | files, and verify [[HMR]] syntax and logic. | ||
| - | |||
| - | Currently the runtime is in a beta stage. | ||
| - | |||
| - | HeaRT is part of [[HaDEs]]. | ||
| - | |||
| - | See also the [[hekatedev:heart|developemnt page.]] | ||
| - | |||
| - | ====== Getting it ====== | ||
| - | Just download a HeaRT milestone file below. | ||
| - | |||
| - | You need a SWI-Prolog environment. | ||
| - | |||
| - | ===== Releases ===== | ||
| - | ==== M2 ==== | ||
| - | Download the {{:hekate:heart-m2.tar.gz}} file. | ||
| - | ==== M1 ==== | ||
| - | Download the {{:hekate:heart-m1.tar.gz}} file. | ||
| - | |||
| - | ====== News ====== | ||
| - | * **2009.08.14** -- HeaRT M2, beta stage, most of the functionality implemented, halva framework and integration libraries provided. | ||
| - | * **2009.05.13** -- HeaRT M1, alpha stage, needs testing, support by <esimon@student.agh.edu.pl> | ||
| - | |||
| - | ====== Use it ====== | ||
| - | |||
| - | To use it: | ||
| - | cd heart | ||
| - | ./heart | ||
| - | |||
| - | You can load an example model from the cmdline: | ||
| - | ./heart therm-rt.pl | ||
| - | |||
| - | In HeaRT, try ''hlp.'' | ||
| - | |||
| - | While working in HeaRT you are in the pure SWI shell. | ||
| - | |||
| - | If you want to load a model when you are in HeaRT simply use: | ||
| - | ?- [therm-rtl]. | ||
| - | |||
| - | Models: | ||
| - | * ''therm-rt.pl'' the [[hekate:hekate_case_thermostat]] | ||
| - | |||
| - | ====== Report bugs ====== | ||
| - | |||
| - | Please report the bugs, suggestions to the [[https://hekate.ia.agh.edu.pl/webtrac/hades/trac.vc|CVStrac]] system. | ||
| - | |||
| - | Login: | ||
| - | * access the system with the wiki user/pass | ||
| - | * do not extra login to the CVStrac itself | ||
| - | * submit new //Tickets// anonymously, use //HeaRT// subsystem | ||
| - | * please leave your contact information, as well as other reference, e.g. MIW project ID | ||
