[Attempto] Attempto and formal logic

[Edmon Begoli]

This is perfect.

Thank you,
Edmon


On Sat, May 25, 2013 at 12:36 PM, Norbert E. Fuchs <fuchs at ifi.uzh.ch> wrote:

>
>
>
>
> On 25 May 2013, at 18:16 , Edmon Begoli <ebegoli at gmail.com> wrote:
>
> > Dear colleagues,
> >
> > Is there an example of encoding of formal logic, including entailments
> and modal logic,
> > in Attempto.
> >
> > If so, please send me a link to an example and, if possible, tutorial.
> >
> > Thank you,
> > Edmon
>
> Edmon
>
> Have a look at my paper
>
> Norbert E. Fuchs. First-Order Reasoning for Attempto Controlled English,
> In Proceedings of the Second International Workshop on Controlled Natural
> Language (CNL 2010), Springer, 2012.
>
> that you can download from http://attempto.ifi.uzh.ch/site/pubs/
>
> Section 4 shows how an ACE deduction problem is translated in various
> forms of first-order logic, eventually into clauses that are used for
> reasoning.
>
> Subsection "Modality" of section 5 has several examples of deductions with
> modality.
>
> Let me know if you need more information.
>
> Norbert E. Fuchs
> Department of Informatics & Institute of Computational Linguistics
> University of Zurich
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20130525/137846f1/attachment.html>