<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br>On 5 Dec 2009, at 00:59, Murray, William R wrote:<br><br><blockquote type="cite">On another academic thought of interest I was just wondering to what extent ACE had been<br>translated into formalisms other first-order logic and description logic? It seems like there is<br>ample room for a whole family of alternate formalisms from constraint description languages<br>to Markov Logic Networks to Bayesian Networks, etc, etc. And seems like one could add a<br>temporal reasoner for Allen’s Temporal Algebra. Lots of thesis material if you have enough<br>grad students in the pipeline :)<font class="Apple-style-span" color="#000000"><font class="Apple-style-span" color="#144FAE"><br></font></font></blockquote><br><div>Bill</div><div><br></div><div>Let me answer in three steps.</div><div><br></div><div>1. ACE contains constructs that are within first-order logic, and other constructs that go beyond what is usually considered standard first-order logic, for instance , </div><div><ul class="MailOutline"><li>negation as failure</li><li>sentence subordination that could be translated into first-order logic using possible world semantics</li><li>forms of modality (necessity, possibility) that could be translated into first-order logic using possible world semantics</li><li>forms of modality (recommendation, admissibility) that do not seem to fit into first-order logic</li><li>interrogative sentences</li><li>imperative sentences</li></ul><div><br></div><div>2. The ACE parser APE generates for each ACE text a DRS that uses a syntax that we extended to accommodate all of the above constructs</div><div><br></div><div>3. Some parts of a DRS can be translated into standard language of first-order logic, other parts would need first-order logic with possible world semantics, while still other parts cannot be translated into first-order logic at all.</div><div><br></div><div>4. However, the restrictions (3) do not prevent you from translating the DRS into languages different from first-order logic. An example is Tobias Kuhn's AceRules that, for instance uses negation as failure. Another example is a cooperation with Yale University where we express clinical guidelines that use all the above forms of modality as a rule-based system.</div><div><br></div><div>Thus the way is wide open for your suggestions, though I am afraid that we do not have any grad students in the pipeline.</div><div><br></div><div>Regards.</div><div><br></div><div>   --- nef</div></div></body></html>