<div dir="ltr">Norbert,<div><br></div><div>That does answer my question and gives me a solution to my problem. I guess I was focusing on 'should' and didn't realize 'must' would have actually worked. I can just use 'can' instead of 'should' for my purposes. </div><div><br></div><div>Thanks a lot!</div><div><br></div><div>Josh Cason</div><div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jan 22, 2015 at 1:05 PM, 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"><span><br>
> On 21 Jan 2015, at 23:52 , Joshua Cason <<a href="mailto:joshua.aaron.cason@gmail.com" target="_blank">joshua.aaron.cason@gmail.com</a>> wrote:<br>
><br>
</span><div><div>> Dear All,<br>
><br>
> I just wanted to confirm that sentences with 'should' and 'must' are not supposed to be translatable to fol in APE. I was having trouble with some sentences I was trying, and I finally realized it was the use of those words that caused the trouble.<br>
><br>
> Best,<br>
> Josh Cason<br>
<br>
</div></div>Joshua<br>
<br>
ACE provides modality with modal auxiliaries for possibility (can/cannot/can not/can't), necessity (must/have to/does not have to), recommendation (should/should not/shouldn't), and admissibility (may/may not) all of which are translated by APE into a similar DRS.<br>
<br>
Here are some examples:<br>
<br>
A man can sleep.<br>
<br>
[A]<br>
object(A,man,countable,na,eq,1)-1/2<br>
   CAN<br>
   [B]<br>
   predicate(B,sleep,A)-1/4<br>
<br>
<br>
A man must sleep.<br>
<br>
[A]<br>
object(A,man,countable,na,eq,1)-1/2<br>
   MUST<br>
   [B]<br>
   predicate(B,sleep,A)-1/4<br>
<br>
<br>
A man should sleep.<br>
<br>
[A]<br>
object(A,man,countable,na,eq,1)-1/2<br>
   SHOULD<br>
   [B]<br>
   predicate(B,sleep,A)-1/4<br>
<br>
<br>
A man may sleep.<br>
<br>
[A]<br>
object(A,man,countable,na,eq,1)-1/2<br>
   MAY<br>
   [B]<br>
   predicate(B,sleep,A)-1/4<br>
<br>
<br>
Only the modalities 'possibility' and 'necessity' have a translation into FOL using the possible world semantics (<a href="http://en.wikipedia.org/wiki/Possible_world" target="_blank">http://en.wikipedia.org/wiki/Possible_world</a>, <a href="http://en.wikipedia.org/wiki/Modal_logic#Semantics" target="_blank">http://en.wikipedia.org/wiki/Modal_logic#Semantics</a>) via the standard transformation (<a href="http://en.wikipedia.org/wiki/Standard_translation" target="_blank">http://en.wikipedia.org/wiki/Standard_translation</a>).<br>
<br>
The standard translation adds to each DRS condition an argument – in our translation the initial argument – that stands for a possible world. Possible worlds are related by an accessibility relation that in the case of my reasoner RACE is the equivalence relation (reflexive, symmetric and transitive) to allow for as many deductions as possible.<br>
<br>
Here are the 'possibility' and 'necessity' examples from above in FOL<br>
<br>
A man can sleep. (= There is at least on accessible world in which a man sleeps.)<br>
<br>
exists(A,&(object(B,A,man,countable,na,eq,1)-1/2,exists(C,&(accessibility_relation(B,C)-accessibility_relation/0,exists(D,predicate(C,D,sleep,A)-1/4)))))<br>
<br>
Please note that for consistency the condition accessibility_relation/2 gets a sentence/token indicator accessibility_relation/0.<br>
<br>
<br>
A man must sleep. (= In all accessible worlds a man sleeps.)<br>
<br>
exists(A,&(object(B,A,man,countable,na,eq,1)-1/2,forall(C,=>(accessibility_relation(B,C)-accessibility_relation/0,exists(D,predicate(C,D,sleep,A)-1/4)))))<br>
<br>
<br>
I hope that this answers your question. If not, let me and the mailing list know.<br>
<div><div><br>
Best.<br>
<br>
Norbert E. Fuchs<br>
Department of Informatics & Institute of Computational Linguistics<br>
University of Zurich<br>
<br>
<br>
<br>
<br>
</div></div></blockquote></div><div><br></div>
</div></div></div>