Differences

This shows you the differences between two versions of the page.

--- nlp:controlled_language [2021/03/30 05:32] – created jmflanig
+++ nlp:controlled_language [2023/06/15 07:36] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
-====== Controlled Langauge ======
+====== Controlled Language ======
+===== Overviews =====
   * [[https://www.aclweb.org/anthology/J14-1005.pdf|2014 - A Survey and Classification of Controlled Natural Languages]]
+===== Papers =====
+  * [[http://ceur-ws.org/Vol-448/paper10.pdf|Cramer et al 2009 - The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts]]
+==== Attempto Controlled English (ACE) ====
+From [[https://aclanthology.org/W19-0505.pdf|Diller 2019]]:
+<blockquote>
+Attempto Controlled English (ACE) (Fuchs et al., 2008) is a prominent controlled natural language
+(CNL) for knowledge representation (KR). Apart of its appropriateness for basic KR, ACE’s attraction
+comes, first of all, from its ties with formal logic: ACE texts have an unambiguous translation to first
+order logic (FOL). Secondly, there are several open-source tools for ACE; the main one being the parser
+APE, which translates ACE texts to FOL via discourse representation structures (DRSs) (Blackburn and
+Bos, 2005) and also verbalises DRSs.
+</blockquote>
+Main site: [[http://attempto.ifi.uzh.ch/site/|Attempto Project]].  See also [[https://en.wikipedia.org/wiki/Attempto_Controlled_English|Wikipedia - Attempto Controlled English]]. For more papers see [[http://attempto.ifi.uzh.ch/site/pubs/|Attempto Publications]].
+  * [[http://attempto.ifi.uzh.ch/site/pubs/papers/reasoningweb2008_fuchs.pdf|Fuchs et al 2008 - Attempto Controlled English for Knowledge Representation]]
+  * [[https://aclanthology.org/W19-0505.pdf|Diller et al 2019 - Making sense of conflicting (defeasible) rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization]]