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 |
|---|---|
| Title of host publication | Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016) |
| Volume | 1 |
| Publication date | 2016 |
| Pages | 335-342 |
| Publication status | Published - 2016 |
| Event | 8th International Conference on Agents and Artificial Intelligence (ICAART 2016) - Rome, Italy Duration: 24 Feb 2016 → 26 Feb 2016 Conference number: 8 http://www.icaart.org/?y=2016 |
Conference
| Conference | 8th International Conference on Agents and Artificial Intelligence (ICAART 2016) |
|---|---|
| Number | 8 |
| Country/Territory | Italy |
| City | Rome |
| Period | 24/02/2016 → 26/02/2016 |
| Internet address |