[Attempto] Attempto and formal logic

[Norbert E. Fuchs]

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