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.
|Number of pages||8|
|Publication status||Published - 2016|
|Event||ICAART 2016: 8th International Conference on Agens and Artificial Intelligence - Rome, Rome, Italy|
Duration: 24 Feb 2016 → 26 Feb 2016
http://www.icaart.org/?y=2016 (Link to Conference)
|Period||24/02/2016 → 26/02/2016|