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.
|Number of pages||8|
|Publication status||Accepted/In press - Aug 2020|
|Event||25th International Symposium on Methodologies for Intelligent Systems - Graz University of Technology, Graz, Austria|
Duration: 20 May 2020 → 22 May 2020
|Conference||25th International Symposium on Methodologies for Intelligent Systems|
|Location||Graz University of Technology|
|Period||20/05/2020 → 22/05/2020|
Andreasen, T., Bulskov, H., & Nilsson, J. F. (Accepted/In press). On the design of a Natural Logic System for Knowledge Bases. Paper presented at 25th International Symposium on Methodologies for Intelligent Systems, Graz, Austria.