This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
hekate:hekate_concepts [2008/03/12 16:04] wojnicki rule prototypes added |
hekate:hekate_concepts [2019/06/27 15:49] (current) |
||
|---|---|---|---|
| Line 82: | Line 82: | ||
| ====== Methods ====== | ====== Methods ====== | ||
| Currently, the development is focused on the: | Currently, the development is focused on the: | ||
| - | * conceptual design method, codename //ARD+// see [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardformal-submitted]] | + | * conceptual design method, codename //ARD+// see [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardformal]] |
| - | * logical design, codename //XTT+//, also in an extended form as //GREP// see [[:hekate:bib:hekate_bibliography#]], and [[:hekate:bib:hekate_bibliography#ali2008flairs-submitted]] | + | * logical design, codename //XTT+//, also in an extended form as //GREP// see [[:hekate:bib:hekate_bibliography#]], and [[:hekate:bib:hekate_bibliography#ali2008flairs]] |
| * knowledge markup, early stage, see [[:hekate:bib:hekate_bibliography#gjn2007cms-knowtrans]], | * knowledge markup, early stage, see [[:hekate:bib:hekate_bibliography#gjn2007cms-knowtrans]], | ||
| * knowledge translation, early stage, see [[:hekate:bib:hekate_bibliography#gjn2007cms-knowtrans]]. | * knowledge translation, early stage, see [[:hekate:bib:hekate_bibliography#gjn2007cms-knowtrans]]. | ||
| Line 92: | Line 92: | ||
| ===== ARD+ ===== | ===== ARD+ ===== | ||
| For a more complete description of ARD+ see | For a more complete description of ARD+ see | ||
| - | * [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardformal-submitted|formal description]]. | + | * [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardformal|formal description]]. |
| - | * [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted|Prolog tool]]. | + | * [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog|Prolog tool]]. |
| - | * [[:hekate:bib:hekate_bibliography#gjn2008flairs-userv-submitted|UServ example]]. | + | * [[:hekate:bib:hekate_bibliography#gjn2008flairs-userv|UServ example]]. |
| The ARD (Attribute Relationships Diagrams) method aims at capturing relations between //attributes// in terms of //Attributive Logic//. | The ARD (Attribute Relationships Diagrams) method aims at capturing relations between //attributes// in terms of //Attributive Logic//. | ||
| Line 172: | Line 172: | ||
| Currently the base XTT is being extended on the syntax level to provide a better expressiveness towards XTT+, or to be applied for more general cases into GREP, see [[:hekate:bib:hekate_bibliography#gjn2007inap]] | Currently the base XTT is being extended on the syntax level to provide a better expressiveness towards XTT+, or to be applied for more general cases into GREP, see [[:hekate:bib:hekate_bibliography#gjn2007inap]] | ||
| - | Another area of development includes formalism extensions, such as temporal and fuzzy, see [[:hekate:bib:hekate_bibliography#ali2008flairs-submitted]] | + | Another area of development includes formalism extensions, such as temporal and fuzzy, see [[:hekate:bib:hekate_bibliography#ali2008flairs]] |
| Line 217: | Line 217: | ||
| * Business Logic Applications (ie. [[hekatedev:business_rules]]) | * Business Logic Applications (ie. [[hekatedev:business_rules]]) | ||
| * General purpose applications | * General purpose applications | ||
| - | * Control systems -- [[:mindstorms]] and [[:hexor]] robot control | + | * Control systems -- [[:mindstorms:start]] and [[misc:hexor]] robot control |
| * Expert Systems | * Expert Systems | ||
| * Databases | * Databases | ||
| Line 223: | Line 223: | ||
| ===== Cases ===== | ===== Cases ===== | ||
| There are several benchmark system design cases considered as the HeKatE testbed. | There are several benchmark system design cases considered as the HeKatE testbed. | ||
| + | |||
| ==== Thermostat ==== | ==== Thermostat ==== | ||
| A classic //control system// case form the AI book by M. Negnevitsky, called the //Thermostat// | A classic //control system// case form the AI book by M. Negnevitsky, called the //Thermostat// | ||
| - | is currently being modeled. | + | is currently being modeled, see [[Hekate Case Thermostat]] and [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog]]. |
| - | See [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted]]. | + | |
| ==== UServ ==== | ==== UServ ==== | ||
| Line 233: | Line 233: | ||
| (see [[http://www.businessrulesforum.com/2005_Product_Derby.pdf|The Product Derby PDF]]), | (see [[http://www.businessrulesforum.com/2005_Product_Derby.pdf|The Product Derby PDF]]), | ||
| called the //UServ// is currently being modeled. | called the //UServ// is currently being modeled. | ||
| - | See [[:hekate:bib:hekate_bibliography#gjn2008flairs-userv-submitted]] | + | See [[:hekate:bib:hekate_bibliography#gjn2008flairs-userv]] |
| ====== Tools ====== | ====== Tools ====== | ||
| Current development tools include: | Current development tools include: | ||
| - | * VARDA, an ARD+ design and visualization tool, see [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted]] | + | * VARDA, an ARD+ design and visualization tool, see [[:hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog]] |
| * HQed, an XTT+ editor, see [[:hekate:bib:hekate_bibliography#gjn2007cms-destls-accepted]] | * HQed, an XTT+ editor, see [[:hekate:bib:hekate_bibliography#gjn2007cms-destls-accepted]] | ||
