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.
Originalsprog | Engelsk |
---|---|
Titel | Frontiers in Artificial Intelligence and Applications : Information Modelling and Knowledge Bases XXXII |
Redaktører | Marina Tropmann-Frick, Bernhard Thalheim, Hannu Jaakola, Yasushi Kiyoki, Naofumi Yoshida |
Antal sider | 15 |
Forlag | IOS Press |
Publikationsdato | 10 jan. 2021 |
Sider | 119-133 |
ISBN (Trykt) | 9781643681405 |
ISBN (Elektronisk) | 9781643681412 |
DOI | |
Status | Udgivet - 10 jan. 2021 |
Begivenhed | 30th International Conference on Informaion Modeling and Knowledge Bases - Online, Hamburg, Tyskland Varighed: 8 jun. 2020 → 9 jun. 2020 Konferencens nummer: 30 https://ejc.informatik.haw-hamburg.de/ |
Konference
Konference | 30th International Conference on Informaion Modeling and Knowledge Bases |
---|---|
Nummer | 30 |
Lokation | Online |
Land/Område | Tyskland |
By | Hamburg |
Periode | 08/06/2020 → 09/06/2020 |
Andet | DUE TO THE REGULATIONS REGARDING THE CORONAVIRUS PANDEMIC, EJC 2020 WILL BE TRANSFORMED INTO A VIRTUAL EVENT TAKING PLACE ON JUNE 8TH AND 9TH. |
Internetadresse |
Navn | Frontiers in Artificial Intelligence and Applications |
---|---|
Vol/bind | 333 |
ISSN | 0922-6389 |