Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
hekate:heart [2012/09/07 12:18] esimon |
hekate:heart [2019/06/27 15:49] (current) |
| |
===== Releases ===== | ===== Releases ===== |
| ==== M6 ==== |
| Download the {{:hekate:heart-m6.tar.gz}} file. |
| |
| ==== M5 ==== |
| Download the {{:hekate:heart-m5.tar.gz}} file. |
==== M4 ==== | ==== M4 ==== |
Download the {{:hekate:heart-m4.tar.gz}} file. | Download the {{:hekate:heart-m4.tar.gz}} file. |
Download the {{:hekate:heart-m1.tar.gz}} file. | Download the {{:hekate:heart-m1.tar.gz}} file. |
| |
====== News ====== | ====== HeaRT Quick Start ====== |
* **2009.11.30** -- HeaRT M3, important bug fixes and improvements after cases implementation, trajectory, attribute domains handling, hqed integration. | |
* **2009.08.19** -- HeaRT M2_1, server invocation and documentation fixes. | |
* **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 ====== | ===== What is HeaRT ===== |
| HeaRT is an inference engine for XTT2 rule based systems. |
| More about HeaRT and XTT2: [[http://ai.ia.agh.edu.pl/wiki/hekate:heart_howto|here]], {{:student:winter_of_code_2012:praca.pdf|here}} and [[http://ai.ia.agh.edu.pl/wiki/_media/hekate:bib:csltr-4_2009.pdf?cache=|here]] |
| |
To use it: | HeaRT uses HMR language. More about the language: [[http://ai.ia.agh.edu.pl/wiki/hekate:hmr|here]] |
cd heart | |
./heart | |
| |
You can load an example model from the cmdline: | HeaRT uses TCP/IP protocol when running in server mode to communicate. more about it [[http://ai.ia.agh.edu.pl/wiki/hekate:heart_howto#tcp_protocol_how_to|here]] |
./heart therm-rt.pl | |
| |
In HeaRT, try ''hlp.'' | ==== Documentation ==== |
| See the [[HeaRT Overview]] as well as the more technical [[HeaRT HowTo]]. |
| For a detailed documentation see [[hekate:bib:hekate_bibliography#gjn2009csltr-heart|the HeaRT technical report]]. |
| |
While working in HeaRT you are in the pure SWI shell. | ===== How to install and run HeaRT ===== |
| - Download and install [[http://www.swi-prolog.org/|SWI-Prolog]]. On Linux, you can install ''swipl'' from repository. |
| - Download HeaRT from one of the obove distributions |
| - Run HeaRT: |
| - Linux: \\ cd ''HEART_DIR \\ ./heart'' |
| - Windows:\\ ''File->Consult->heart.pl'' |
| - Run HeaRT in server mode. Type in SWI-Prolog console: ''srv.'' |
| Check the simplest example of HMR model - [[http://ai.ia.agh.edu.pl/wiki/hekate:cases:hekate_case_thermostat:start|Thermostat]]. ({{:student:winter_of_code_2012:thermostat.pl|Download}}) |
| ===== How to use TCP/IP Protocol ===== |
| Run it in different modes: |
| * Fixed order inference (run tables given as a parameter. In this case **ms,dt,th,os**): ''?- gox(init,[ms,dt,th,os],foi).'' |
| * Data-driven (give only start tables): ''?- gox(init,[ms,dt,th],ddi).'' |
| * Goal-driven (give only goal table): ''?- gox(init,[os],gdi).'' |
| * Token-driven (given goal table, follow links): ''?- gox(init,[os],tdi).'' |
| |
| Check the TCP/IP protocol: |
| * Run model. We assume that models are stored in **storage** directory. Each user have his own directory inside **storage**. For example user called **user2** that owns **thermostat.pl** model, willhave it stored in HEART_DIR/storage/user2/thermostat.pl. |
| - Run heart in server mode: ''srv'' |
| - Run telnet on port 8090 (default HeaRT port) |
| - Request list of all models: [model, getlist]. |
| - Run model for a given state: [model,run,'thermostat','user2',ddi, [ms,dt,th,os], [ [day,mon], [hour,13], [month, 3] ] ]. |
| |
| |
| ====== News ====== |
| * **2009.11.30** -- HeaRT M3, important bug fixes and improvements after cases implementation, trajectory, attribute domains handling, hqed integration. |
| * **2009.08.19** -- HeaRT M2_1, server invocation and documentation fixes. |
| * **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> |
| |
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]] | |
| |
===== Documentation ===== | |
See the [[HeaRT Overview]] as well as the more technical [[HeaRT HowTo]]. | |
For a detailed documentation see [[hekate:bib:hekate_bibliography#gjn2009csltr-heart|the HeaRT technical report]]. | |
| |
====== Report bugs ====== | ====== Report bugs ====== |