Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
hekate:hqed [2012/04/02 11:54] kkr |
hekate:hqed [2014/03/18 14:58] kkr [Releases] |
See the [[https://ai.ia.agh.edu.pl/wiki/hekate:hqed|HQed]] website. | See the [[https://ai.ia.agh.edu.pl/wiki/hekate:hqed|HQed]] website. |
| |
Concept, requirements, extensions, supervision: [[pub:about_us:people:gjn|Grzegorz J. Nalepa]] | Concept, requirements, extensions, supervision: [[http://geist.agh.edu.pl/pub:about_us:people:gjn|Grzegorz J. Nalepa]] |
| |
Design and implementation: [[pub:about_us:people:kkr|Krzysztof Kaczor]] | Design and implementation: [[http://geist.agh.edu.pl/pub:about_us:people:kkr|Krzysztof Kaczor]] |
| |
Support: [[pub:about_us:people:kkr|Krzysztof Kaczor]] | Support: [[http://geist.agh.edu.pl/pub:about_us:people:kkr|Krzysztof Kaczor]] |
| |
| Developers page: [[:hekatedev:hqed:start|HQEd developers page]] |
| |
===== Description ===== | ===== Description ===== |
| |
| See sort hqed presentation: [[http://ai.ia.agh.edu.pl/wiki/_export/s5/pl:miw:2009:present:hqed|HQEd presentation]] |
| |
| Wiki version: [[pl:miw:2009:present:hqed|HQEd presentation]] |
| |
The tool makes the visual | The tool makes the visual |
For XTT model, Prolog code is generated, which can be compiled, executed and corrected | For XTT model, Prolog code is generated, which can be compiled, executed and corrected |
| |
====== News ====== | ===== News ===== |
* **2011.02.22** -- release M6_10_1: fixed table moving in Qt 4.5 and later, other compatibility issues and a lot of bugs | * **2011.02.22** -- release M6_10_1: fixed table moving in Qt 4.5 and later, other compatibility issues and a lot of bugs |
* **2010.01.06** -- release M6_10: separate state pane, ui fixes and other bugs, rules sorting, selcting system trajetories | * **2010.01.06** -- release M6_10: separate state pane, ui fixes and other bugs, rules sorting, selcting system trajetories |
* **2008.02.29** -- HQEd goes GPLv3 | * **2008.02.29** -- HQEd goes GPLv3 |
| |
====== Getting it ====== | ===== Getting it ===== |
Just download a HQEd milestone file below. | Just download a HQEd milestone file below. |
| |
===== Releases ===== | ==== Releases ==== |
| Waiting for new release... |
| |
| **OLD Releases** |
| (do not use) |
* **2011.02.22** -- release M6_10_1: fixed table moving in Qt 4.5 and later, other compatibility issues and a lot of bugs \\ To RUN download the {{:hekate:hqed-m6_10_1.tar.gz}} file. | * **2011.02.22** -- release M6_10_1: fixed table moving in Qt 4.5 and later, other compatibility issues and a lot of bugs \\ To RUN download the {{:hekate:hqed-m6_10_1.tar.gz}} file. |
* **2010.01.06** -- release M6_10: separate state pane, ui fixes and other bugs, rules sorting, selcting system trajetories \\ To RUN download the {{:hekate:hqed-m6_10.tar.gz}} file. | * **2010.01.06** -- release M6_10: separate state pane, ui fixes and other bugs, rules sorting, selcting system trajetories \\ To RUN download the {{:hekate:hqed-m6_10.tar.gz}} file. |
* **2009.08.02** -- release M6_8: HeaRT integration, fixes \\ To RUN download the {{:hekate:hqed-m6_8.tar.gz}} file. | * **2009.08.02** -- release M6_8: HeaRT integration, fixes \\ To RUN download the {{:hekate:hqed-m6_8.tar.gz}} file. |
* **2009.05.13** -- release M6_6: support for XTT2, HML2, and HMR \\ To RUN download the {{:hekate:hqed-m6_6.tar.gz}} file. | * **2009.05.13** -- release M6_6: support for XTT2, HML2, and HMR \\ To RUN download the {{:hekate:hqed-m6_6.tar.gz}} file. |
| |
**OLD Releases** | |
(do not use) | |
* **2008.04.21** -- release M5_6 \\ To RUN download the {{:hekate:hqed-m5_6.tar.gz}} file. | * **2008.04.21** -- release M5_6 \\ To RUN download the {{:hekate:hqed-m5_6.tar.gz}} file. |
* **2008.03.09** -- public release, M5_2 \\ To RUN download the {{:hekate:hqed-m5_2.tar.gz}} file. | * **2008.03.09** -- public release, M5_2 \\ To RUN download the {{:hekate:hqed-m5_2.tar.gz}} file. |
* **2008.02.29** -- HQEd goes GPLv3 | * **2008.02.29** -- HQEd goes GPLv3 |
| |
====== Build it and run it ====== | ===== Build it and run it ===== |
| <code bash> |
qmake | qmake |
make | make |
./hqed | ./hqed |
| </code> |
Build dependencies might include (in a Debian/GNU-related distro): | Build dependencies might include (in a Debian/GNU-related distro): |
aptitude install libqt4-dev qt4-qmake qt4-dev-tools | <code bash>aptitude install libqt4-dev qt4-qmake qt4-dev-tools</code> |
| |
====== Use it ====== | |
| |
===== Ready models ===== | |
Look for ''xttml'' files. | |
| |
===== With VARDA ===== | |
| |
* run [[hekate:VARDA]] with ARD model: | |
./varda therm-model.pl | |
* build XTT model from the ARD model | |
?- gax. | |
* export the XTT model to XTTML file: | |
?- xxg('therm.hml'). | |
| |
* optionally, you can save the ARD model with ''?- axg('therm.hml').'', load it to hqed and generate xtt prototypes in the editor. | |
| |
====== Report bugs ====== | ===== Use it ===== |
| |
Please report the bugs, suggestions to the [[https://hekate.ia.agh.edu.pl/webtrac/hades/trac.vc|CVStrac]] system. | ==== Ready models ==== |
| Look for ''xttml'' files in [[http://ai.ia.agh.edu.pl/wiki/hekate:cases:start|heakte cases]]. |
| |
Login: | ==== With VARDA ==== |
* access the system with the wiki user/pass | * run [[hekate:VARDA]] with ARD model: <code bash>./varda therm-model.pl</code> |
* do not extra login to the CVStrac itself | * build XTT model from the ARD model <code>?- gax.</code> |
* submit new //Tickets// anonymously, use //HQEd// subsystem | * export the XTT model to XTTML file: <code>?- xxg('therm.hml').</code> |
* please leave your contact information, as well as other reference, e.g. MIW project ID | * optionally, you can save the ARD model with <code>?- axg('therm.hml').</code>load it to hqed and generate xtt prototypes in the editor. |
| ===== Report bugs ===== |
| Please report the bugs, suggestions to the [[https://kirk.ia.agh.edu.pl/redmine/projects/hqed|Redmine]] system: |
| - access the system with the kirk user/pass |
| - create new //issue//, use //HQEd// subproject |
| |
Emergency support: Krzysztof Kaczor <kk@agh.edu.pl> | Emergency support: Krzysztof Kaczor <kk@agh.edu.pl> |
| |
====== Docs OnLine ====== | ===== Docs OnLine ===== |
The [[https://hekate.ia.agh.edu.pl/webdoxy/hqed/doc/|DoxyGen doc]] for Hqed, automagically regenereted. | The [[https://hekate.ia.agh.edu.pl/webdoxy/hqed/doc/|DoxyGen doc]] for Hqed, automagically regenereted. |
| |
====== Papers ====== | ===== Papers ===== |
[[http://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2009cms-hqed|Kaczor, K., & Nalepa, G. J. (2009). Extensible design and verification enviroment for XTT rule bases. Paper presented at the CMS'09: 7th conference Computer Methods and Systems : 26--27 November 2009, Kraków, Poland.]] | [[http://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2009cms-hqed|Kaczor, K., & Nalepa, G. J. (2009). Extensible design and verification enviroment for XTT rule bases. Paper presented at the CMS'09: 7th conference Computer Methods and Systems : 26--27 November 2009, Kraków, Poland.]] |
| |
[[http://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2009iwse-hqed|Kaczor, K., & Nalepa, G. J. (2009). HQEd - wizualne narzędzie wspierające projektowanie systemów ekspertowych opartych o reprezentację XTT. Paper presented at the Inżynieria Wiedzy i Systemy Ekspertowe.]] | [[http://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2009iwse-hqed|Kaczor, K., & Nalepa, G. J. (2009). HQEd - wizualne narzędzie wspierające projektowanie systemów ekspertowych opartych o reprezentację XTT. Paper presented at the Inżynieria Wiedzy i Systemy Ekspertowe.]] |