On the design of a Natural Logic System for Knowledge Bases

Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson

Research output: Contribution to conferencePaperResearchpeer-review

Abstract

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.
Original languageDanish
Publication date2020
Number of pages8
Publication statusAccepted/In press - Aug 2020
Event25th International Symposium on Methodologies for Intelligent Systems - Graz University of Technology, Graz, Austria
Duration: 20 May 202022 May 2020
https://ismis.ist.tugraz.at/

Conference

Conference25th International Symposium on Methodologies for Intelligent Systems
LocationGraz University of Technology
CountryAustria
CityGraz
Period20/05/202022/05/2020
Internet address

Cite this

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.