Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
A clause is called range-restricted if all variables of its head occur already in its body. Clauses derived from discourse representation structures are by default range-restricted.
- 10.
- 11.
- 12.
- 13.
- 14.
- 15.
- 16.
- 17.
- 18.
- 19.
References
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)
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)
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)
Genesereth, M.R., Nilsson, N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, San Mateo (1987)
Grosof, B.N.: Courteous logic programs: prioritized conflict handling for rules. IBM Research Report RC 20836. IBM T. J. Watson Research Center (1997)
Acknowledgements
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Fuchs, N.E. (2016). Reasoning in Attempto Controlled English: Non-monotonicity. In: Davis, B., Pace, G., Wyner, A. (eds) Controlled Natural Language. CNL 2016. Lecture Notes in Computer Science(), vol 9767. Springer, Cham. https://doi.org/10.1007/978-3-319-41498-0_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-41498-0_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-41497-3
Online ISBN: 978-3-319-41498-0
eBook Packages: Computer ScienceComputer Science (R0)