Abstract
Natural logics are logics that take form of stylized natural language sentences within a selected fragment of natural language. Natural Logics are at the same time formal logics with a well-defined syntax and semantics. Therefore, natural logics may be advanced as knowledge 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 implementation principles.
Original language | English |
---|---|
Title of host publication | Foundations of Intelligent Systems |
Editors | Denis Helic, Martin Stettinger, Alexander Felfernig, Gerhard Leitner, Zbigniew W. Ras |
Publisher | Springer |
Publication date | 2020 |
Pages | 413-421 |
ISBN (Print) | 9783030594909 |
DOIs | |
Publication status | Published - 2020 |
Event | 25th International Symposium on Methodologies for Intelligent Systems - Graz, Austria Duration: 23 Sept 2020 → 25 Sept 2020 Conference number: 25 |
Conference
Conference | 25th International Symposium on Methodologies for Intelligent Systems |
---|---|
Number | 25 |
Country/Territory | Austria |
City | Graz |
Period | 23/09/2020 → 25/09/2020 |
Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 12117 LNAI |
ISSN | 0302-9743 |
Keywords
- Deductive querying
- Knowledge base systems
- Life science applications
- Natural logic