This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
hekate:hqed [2012/04/02 11:53] kkr |
hekate:hqed [2019/06/27 15:49] (current) |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| 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 | ||
| Line 68: | Line 74: | ||
| 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 | ||
| Line 79: | Line 85: | ||
| * **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 ==== |
| - | * **2011.02.22** -- release M6_10_1: fixed table moving in Qt 4.5 and later, other compatibility issues and a lot of bugs | + | Waiting for new release... |
| - | 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. | + | |
| - | + | ||
| - | * **2009.11.06** -- release M6_9: HeaRT integration, fixes, ui fixes | + | |
| - | To RUN download the {{:hekate:hqed-m6_9.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. | + | |
| **OLD Releases** | **OLD Releases** | ||
| (do not use) | (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. | |
| - | * **2008.04.21** -- release M5_6 | + | * **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. |
| - | To RUN download the {{:hekate:hqed-m5_6.tar.gz}} file. | + | * **2009.11.06** -- release M6_9: HeaRT integration, fixes, ui fixes \\ To RUN download the {{:hekate:hqed-m6_9.tar.gz}} file. |
| - | + | * **2009.08.02** -- release M6_8: HeaRT integration, fixes \\ To RUN download the {{:hekate:hqed-m6_8.tar.gz}} file. | |
| - | * **2008.03.09** -- public release, M5_2 | + | * **2009.05.13** -- release M6_6: support for XTT2, HML2, and HMR \\ To RUN download the {{:hekate:hqed-m6_6.tar.gz}} file. |
| - | To RUN download the {{:hekate:hqed-m5_2.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.05** -- M5_2 | * **2008.03.05** -- M5_2 | ||
| - | |||
| * **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.]] | ||
