Reasoning in Attempto Controlled English: Non-monotonicity

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9767)


RACE is a first-order reasoner with equality for Attempto Controlled English (ACE) that can show the consistency of a set of ACE axioms and deduce ACE theorems and ACE queries from ACE axioms. This paper presents various forms of non-monotonic reasoning.


Controlled natural language Attempto Controlled English ACE RACE Monotonic reasoning Non-monotonic reasoning Abduction 



I would like to thank the three anonymous reviewers of the first version of this paper for their constructive comments. Many thanks go to the Department of Informatics and the Institute of Computational Linguistics, University of Zurich, for their hospitality.


  1. 1.
    Fuchs, N.E.: First-order reasoning for Attempto Controlled English. In: Rosner, M., Fuchs, N.E. (eds.) CNL 2010. LNCS, vol. 7175, pp. 73–94. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  2. 2.
    Manthey, R., Bry, F.: SATCHMO: a theorem prover implemented in prolog. In: Overbeek, R., Lusk, E`. (eds.) CADE 1988. LNCS, vol. 310, pp. 415–434. Springer, Heidelberg (1988)CrossRefGoogle Scholar
  3. 3.
    Bos, J.: Computational semantics in discourse: underspecification, resolution, and inference. J. Logic Lang. Inf. 13, 139–157 (2004). Fuchs, N.E., Kaljurand, K., Kuhn, T.: Discourse Representation Structures for ACE 6.6, Technical Report ifi-2010.0010, Department of Informatics, University of Zurich (2010)CrossRefzbMATHGoogle Scholar
  4. 4.
    Genesereth, M.R., Nilsson, N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, San Mateo (1987)zbMATHGoogle Scholar
  5. 5.
    Grosof, B.N.: Courteous logic programs: prioritized conflict handling for rules. IBM Research Report RC 20836. IBM T. J. Watson Research Center (1997)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Department of Informatics and Institute of Computational LinguisticsUniversity of ZurichZurichSwitzerland

Personalised recommendations