Abstract
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 language | English |
---|---|
Publication date | 2016 |
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) |
Conference
Conference | ICAART 2016 |
---|---|
Location | Rome |
Country/Territory | Italy |
City | Rome |
Period | 24/02/2016 → 26/02/2016 |
Internet address |
|