Natural logics are logics that take form of stylized natural language sentences within a selected fragment of natural language. Nat- ural Logics are at the same time formal logics with a well-defined syn- tax and semantics. Therefore, natural logics may be advanced as knowl- edge base logics enhancing explainability of query answers. This paper is concerned with a natural logic, NaturaLog, having been proposed as a deductive knowledge base language. The paper briefly reviews and brings together in compact form the main points in our previously but separately published design proposals, systems functionalities and im- plementation principles.
|Status||Udgivet - 2020|
|Begivenhed||25th International Symposium on Methodologies for Intelligent Systems - Graz University of Technology, Graz, Østrig|
Varighed: 20 maj 2020 → 22 maj 2020
|Konference||25th International Symposium on Methodologies for Intelligent Systems|
|Lokation||Graz University of Technology|
|Periode||20/05/2020 → 22/05/2020|