Conference paper
A natural logic system for large knowledge bases
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 general-purpose database application package with the database being turned logical knowledge base.
Language: | English |
---|---|
Publisher: | IOS Press BV |
Year: | 2020 |
Pages: | 119-133 |
Proceedings: | 30th International conference on Information Modeling and Knowledge Bases |
Series: | Frontiers in Artificial Intelligence and Applications |
ISBN: | 1643681400 , 1643681419 , 9781643681405 and 9781643681412 |
ISSN: | 18798314 and 09226389 |
Types: | Conference paper |
DOI: | 10.3233/FAIA200824 |
ORCIDs: | Fischer Nilsson, Jørgen |