Abstract
We describe a natural logic for computational reasoning with a regimented
fragment of natural language. The natural logic comes with intuitive
inference rules enabling deductions and with an internal graph representation
facilitating conceptual path finding between pairs of terms as an approach
to semantic querying. Our core natural logic proposal covers formal
ontologies and generative extensions thereof. It further provides means of
expressing general relationships between classes in an application. We discuss
extensions of the core natural logic with various conservative as well
as non-conservative constructs in order to approach scientific use of natural
language. Finally, we outline a prototype system addressing life science for
the natural logic knowledge base setup being under continuous development.
fragment of natural language. The natural logic comes with intuitive
inference rules enabling deductions and with an internal graph representation
facilitating conceptual path finding between pairs of terms as an approach
to semantic querying. Our core natural logic proposal covers formal
ontologies and generative extensions thereof. It further provides means of
expressing general relationships between classes in an application. We discuss
extensions of the core natural logic with various conservative as well
as non-conservative constructs in order to approach scientific use of natural
language. Finally, we outline a prototype system addressing life science for
the natural logic knowledge base setup being under continuous development.
| Originalsprog | Dansk |
|---|---|
| Titel | Partiality and Underspecification in Information, Languages, and Knowledge |
| Redaktører | Henning Christiansen, M. Dolores Jiménez López, Roussanka Loukanova, Larry Moss |
| Antal sider | 26 |
| Udgivelsessted | Newcastle upon Tyne |
| Forlag | Cambridge Scholars Publishing |
| Publikationsdato | 1 sep. 2017 |
| Sider | 1-26 |
| Kapitel | I |
| ISBN (Trykt) | 978-1-4438-7947-7 |
| Status | Udgivet - 1 sep. 2017 |