On the Relationship between a Computational Natural Logic and Natural Language

Troels Andreasen, Henrik Bulskov Styltsvig, Jørgen Fischer Nilsson, Per Anker Jensen

Research output: Contribution to conferencePaperResearchpeer-review


This paper makes a case for adopting appropriate forms of natural logic as target language for computational reasoning with descriptive natural language. Natural logics are stylized fragments of natural language where reasoning can be conducted directly by natural reasoning rules reflecting intuitive reasoning in natural language. The approach taken in this paper is to extend natural logic stepwise with a view to covering successively larger parts of natural language. We envisage applications for computational querying and reasoning, in particular within the life-sciences.
Original languageEnglish
Publication date2016
Number of pages8
Publication statusPublished - 2016
EventICAART 2016: 8th International Conference on Agens and Artificial Intelligence - Rome, Rome, Italy
Duration: 24 Feb 201626 Feb 2016
http://www.icaart.org/?y=2016 (Link to Conference)


ConferenceICAART 2016
Internet address

Cite this