<div dir="ltr">Thank you very much Norbert for these great answers.<div>Also please keep me informed about RACE progress and putting it to Git.</div><div style>I would want to use it as well.</div><div><br></div><div style>

Edmon</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Jul 14, 2013 at 10:24 AM, Norbert E. Fuchs <span dir="ltr"><<a href="mailto:fuchs@ifi.uzh.ch" target="_blank">fuchs@ifi.uzh.ch</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><br>
On 14 Jul 2013, at 13:56 , Edmon Begoli <<a href="mailto:ebegoli@gmail.com">ebegoli@gmail.com</a>> wrote:<br>
<br>
> Dear colleagues,<br>
><br>
> I am wanting to use Attempto and related tools as process ontology language for my domain of research (Applied Behavior Analysis/ABA) and for encoding of ABA procedures and rules.<br>
><br>
> I would need to encode statements like:<br>
><br>
> Behavior is any action that student can undertake.<br>
><br>
> Expected behaviors are ... (list here).<br>
><br>
> Behavior is followed by a consequence.<br>
><br>
> Consequence can be reward or punishment.<br>
><br>
> Reward can be a positive or negative reinforcement.<br>
><br>
> Reinforce expected behavior.<br>
><br>
> Reinforcement uses reinforcers.<br>
><br>
> Reinforcers are cracker, candy, hug, praise, toy, smile.<br>
><br>
><br>
> Would you tell me please what are the steps i would need to take (lexicon building, etc.) to leverage Attempto tools for my task, including using RACE for consistency checking,<br>
><br>
> Thank you,<br>
> Edmon<br>
<br>
<br>
</div></div>Edmon<br>
<br>
Interesting application of Attempto Controlled English and its tools.<br>
<br>
Here are my answers to your questions.<br>
<br>
1. See the ACE Lexicon Specification at <a href="http://attempto.ifi.uzh.ch/site/docs/ace_lexicon.html" target="_blank">http://attempto.ifi.uzh.ch/site/docs/ace_lexicon.html</a> that describes the format of the user lexicon that takes preference over APE's built-in lexicon. Check the ACE documentation  at <a href="http://attempto.ifi.uzh.ch/site/docs/" target="_blank">http://attempto.ifi.uzh.ch/site/docs/</a> for details of the language ACE.<br>


<br>
2. RACE: I am about to finish the implementation of reasoning with arithmetic and will then – after some clean-up – submit RACE to GitHub.<br>
<br>
3. I ACE'ified your example sentences using the APE web-interface to reformulate them. For simplicity I did not define a user lexicon but preceded unknown words like "behaviour" and "reinforce" by a prefix that defines their word class, e.g. "n:behaviour", "v:reinforce" (see the APE help text).<br>


<br>
One general remark: All ACE nouns need a determiner.<br>
<div class="im"><br>
> Behavior is any action that student can undertake.<br>
<br>
</div>Every behaviour is an action that a student can undertake.<br>
(Note that I used the universal quantifier "every" instead of the existential quantifier "a".)<br>
<div class="im"><br>
> Expected behaviors are ... (list here).<br>
<br>
</div>The expected behaviours are X and Y and Z.<br>
(I replaced your undefined list just by some bare variables.)<br>
<div class="im"><br>
> Behavior is followed by a consequence.<br>
<br>
</div>Every behaviour is followed by a consequence.<br>
(Note that I used the universal quantifier "every" instead of the existential quantifier "a".)<br>
<div class="im"><br>
> Consequence can be reward or punishment.<br>
<br>
</div>A consequence can be a reward or can be a punishment.<br>
(Here I am not sure whether you mean "every consequence" or "a consequence". Note that in ACE the disjunction "or" cannot combine noun phrases, but only verb phrases and sentences. Thus I repeated the "can be".)<br>


<div class="im"><br>
> Reward can be a positive or negative reinforcement.<br>
<br>
</div>A reward can be a positive reinforcement or can be a negative reinforcement.<br>
(Again I am not sure whether you mean "every reward" or "a reward". See my note above concerning "or" and noun phrases. Further note that in ACE the disjunction "or" cannot combine adjectives, and that eliding the noun phrase is not allowed. Thus I introduced two complete verb phrases.)<br>


<br>
> Reinforce expected behavior.<br>
<br>
X, reinforce the expected behaviour!<br>
(This I interpreted as a command. In ACE a command needs an addressee – here I introduced the variable "X" – and an exclamation mark. Note that RACE does not process commands.)<br>
<br>
> Reinforcement uses reinforcers.<br>
<br>
Every reinforcement uses some reinforcers.<br>
<div class="im"><br>
> Reinforcers are cracker, candy, hug, praise, toy, smile.<br>
<br>
</div>Every reinforcer is a cracker or is a candy or is a hug or is a praise or is a toy or is a smile.<br>
(I interpreted your list as disjoined by "or", in which case complete verb phrases are required. For the non-probable case that the list is meant as conjunction, you can conjoin noun phrases by "and".)<br>


<br>
<br>
Let me know how this works out for your project.<br>
<br>
Best regards.<br>
<span class="HOEnZb"><font color="#888888"><br>
Norbert E. Fuchs<br>
Department of Informatics & Institute of Computational Linguistics<br>
University of Zurich<br>
<br>
<br>
<br>
<br>
</font></span></blockquote></div><br></div>