https://heartdroid.re/ 2026-05-01T10:08:46+0000 https://heartdroid.re/ https://heartdroid.re/lib/tpl/dokuwiki/images/favicon.ico text/html 2019-04-10T06:54:49+0000 Anonymous (anonymous@undisclosed.example.com) https://heartdroid.re/doku.php?id=pub:software:heartdroid:tutorials:android_quickstart&rev=1554879289&do=diff Android Quickstart This tutorial provides very basic information on how to use HeaRTDrodi in Android application. There however more resources on-line, which were made by the third-party, who used HeaRTDroid in their solutions. Some of them are listed below: text/html 2019-04-10T06:54:49+0000 Anonymous (anonymous@undisclosed.example.com) https://heartdroid.re/doku.php?id=pub:software:heartdroid:tutorials:aware_quickstart&rev=1554879289&do=diff AWARE framework integration Unders construction text/html 2019-04-10T06:54:49+0000 Anonymous (anonymous@undisclosed.example.com) https://heartdroid.re/doku.php?id=pub:software:heartdroid:tutorials:callbacks&rev=1554879289&do=diff Callbacks and actions In HMR language quickstart tutorial we discus what components should every HMR+ model contain. These were: types, attributes, schemas and rules. We mentioned briefly that attributes and rules definitions allow to specify so called Callbacks and Actions text/html 2019-04-10T06:54:49+0000 Anonymous (anonymous@undisclosed.example.com) https://heartdroid.re/doku.php?id=pub:software:heartdroid:tutorials:haquna&rev=1554879289&do=diff HaQuNa HeaRTDroid Query Notation is a simple language that can be used in an interactive commandline shell to load, modify, run HMR+ models. Source code can be downloaded from HeaRTDroid repository Most recent release can be downloaded from here [HaQuNa] v. 1.0.7. You should have at least Java 7 to run HaQuNa. text/html 2019-04-10T06:54:49+0000 Anonymous (anonymous@undisclosed.example.com) https://heartdroid.re/doku.php?id=pub:software:heartdroid:tutorials:hmr_quickstart&rev=1554879289&do=diff HMR language quickstart Use case Imagine you need to model a rule-based system that will automatically turn on and off parking meter with your mobile phone. The system for paying for parking with mobile phone exist, so the only thing you need to do is to determine if someone parked the car in a pay zone, and send request to the system to trigger the payment. For the purpose of this tutorial we focus only on very (very) basic aspects of such model. text/html 2019-04-10T06:54:49+0000 Anonymous (anonymous@undisclosed.example.com) https://heartdroid.re/doku.php?id=pub:software:heartdroid:tutorials:inference_config&rev=1554879289&do=diff Configuring inference process There are two ways of interacting with HeaRTDroid: * Using Java API * Using HaQuNa commandiline shell Both of these methods are equivalent, although Java API allows for more flexibility than commandline shell, obviously. Below thee two approaches are described with the emphasis on three most important factors that impacts the reasoning: text/html 2019-04-10T06:54:49+0000 Anonymous (anonymous@undisclosed.example.com) https://heartdroid.re/doku.php?id=pub:software:heartdroid:tutorials:start&rev=1554879289&do=diff Tutorials * Quickstart -- It shows how to load the model created with HWEd editor, how to list all the elements and how to run the simplest inference mode using Java API. * HMR language quickstart -- It explains HMR language syntax and semantics in a simple example * Configuring inference process -- It shows how to add more configuration to the inference process, like different conflict resolution methods, uncertainty handling mechanisms, etc. text/html 2019-04-10T06:54:49+0000 Anonymous (anonymous@undisclosed.example.com) https://heartdroid.re/doku.php?id=pub:software:heartdroid:tutorials:statistics&rev=1554879289&do=diff Statistical operators in HMR Statistical operators can be used in decision part of the rule or in the right-hand side of the conditional formulae of the rule. They are used to capture dynamics and temporal changes in attributes values. They cannot be combined with text/html 2019-04-10T06:54:49+0000 Anonymous (anonymous@undisclosed.example.com) https://heartdroid.re/doku.php?id=pub:software:heartdroid:tutorials:tbo&rev=1554879289&do=diff Time-based operators HMR+ language allows to parametrize the operators in rules' conditions with simple temporal quantifiers. This allows to refer to historical states in a statistical manner, giving additional tool for handling uncertainty (for more advanced tools for handling uncertainty refer to text/html 2019-04-10T06:54:49+0000 Anonymous (anonymous@undisclosed.example.com) https://heartdroid.re/doku.php?id=pub:software:heartdroid:tutorials:uncertainty_bn&rev=1554879289&do=diff Managing uncertainty with Bayesian networks Under construction... text/html 2019-04-10T06:54:49+0000 Anonymous (anonymous@undisclosed.example.com) https://heartdroid.re/doku.php?id=pub:software:heartdroid:tutorials:uncertainty_cf&rev=1554879289&do=diff Managing uncertainty with Certainty Factors Algebra This tutorial focuses on the practical aspect of using he CF algebra to model uncertainty in XTT2 models. The detailed information on the theory that stays behind the uncertainty handling mechanism in HeaRTDroid, can be found in