A Natural Logic System for Large Knowledge Bases

Troels Andreasen, Henrik Bulskov, Jørgen Fischer Nilsson

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

Abstract

This paper describes principles and structure for a software system that implements a dialect of natural logic for knowledge bases. Natural logics are formal logics that resemble stylized natural language fragments, and whose reasoning rules reflect common-sense reasoning. Natural logics may be seen as forms of extended syllogistic logic. The paper proposes and describes realization of deductive querying functionalities using a previously specified natural logic dialect called NaturaLog. In focus here is the engineering of an inference engine employing as a key feature relational database operations. Thereby the inference steps are subjected to computation in bulk for scaling-up to large knowledge bases. Accordingly, the system eventually is to be realized as a generalpurpose database application package with the database being turned logical knowledge base.
OriginalsprogEngelsk
TitelFrontiers in Artificial Intelligence and Applications : Information Modelling and Knowledge Bases XXXII
RedaktørerMarina Tropmann-Frick, Bernhard Thalheim, Hannu Jaakola, Yasushi Kiyoki, Naofumi Yoshida
Antal sider15
ForlagIOS Press
Publikationsdato10 jan. 2021
Sider119-133
ISBN (Trykt)9781643681405
ISBN (Elektronisk)9781643681412
DOI
StatusUdgivet - 10 jan. 2021
Begivenhed30th International Conference on Informaion Modeling and Knowledge Bases - Online, Hamburg, Tyskland
Varighed: 8 jun. 20209 jun. 2020
Konferencens nummer: 30
https://ejc.informatik.haw-hamburg.de/

Konference

Konference30th International Conference on Informaion Modeling and Knowledge Bases
Nummer30
LokationOnline
Land/OmrådeTyskland
ByHamburg
Periode08/06/202009/06/2020
AndetDUE TO THE REGULATIONS REGARDING THE CORONAVIRUS PANDEMIC, EJC 2020 WILL BE TRANSFORMED INTO A VIRTUAL EVENT TAKING PLACE ON JUNE 8TH AND 9TH.
Internetadresse
NavnFrontiers in Artificial Intelligence and Applications
Vol/bind333
ISSN0922-6389

Citer dette