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.
Originalsprog | Engelsk |
---|---|
Titel | Foundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings : 25th International Symposium, ISMIS 2020, Graz, Austria, September 23–25, 2020, Proceedings |
Redaktører | Denis Helic, Martin Stettinger, Alexander Felfernig, Gerhard Leitner, Zbigniew W. Ras |
Antal sider | 8 |
Forlag | Springer |
Publikationsdato | 2020 |
Sider | 413-421 |
ISBN (Trykt) | 978-3-030-59490-9 |
ISBN (Elektronisk) | 978-3-030-59491-6 |
DOI | |
Status | Udgivet - 2020 |
Begivenhed | 25th International Symposium on Methodologies for Intelligent Systems: Foundations of Intelligent Systems - Graz University of Technology - ONLINE, Graz, Østrig Varighed: 20 maj 2020 → 22 maj 2020 Konferencens nummer: 25 https://ismis.ist.tugraz.at/ |
Symposium
Symposium | 25th International Symposium on Methodologies for Intelligent Systems |
---|---|
Nummer | 25 |
Lokation | Graz University of Technology - ONLINE |
Land/Område | Østrig |
By | Graz |
Periode | 20/05/2020 → 22/05/2020 |
Andet | ISMIS (this year, it is organized as an online event) is an established and prestigious conference for exchanging the latest research results in building intelligent systems. It provides a basis for exchanging research results and transport scientific achievements towards industrial applications. The scope of ISMIS is to present a wide range of topics related to the application of Artificial Intelligence techniques related to areas such as decision support, knowledge representation, logical programming, knowledge-based systems, machine learning, planning, computer vision, information retrieval, configuration and diagnosis. The conference also focus on interdisciplinary research in AI-related fields, for example, decision support systems and human decision making or recommender systems and human personality, and knowledge-based systems development and cognitive aspects of knowledge understanding.Conference ScopeMotivated by recent developments in sub-symbolic AI and the continuous emergence of new application domains, this year’s conference theme is “Towards explainable Artificial Intelligence”. We this focus, ISMI2020 contributes to emerging challenges related to the explainability of system outputs which experience an increased relevance in areas such as autonomous driving, intelligent sales assistants, and different further application domains such as medicine, intelligent maintenance, and eLearning.ISMIS 2020 is intended to attract individuals who are actively engaged both in theoretical and practical aspects of intelligent systems. The goal is to provide a platform for a useful exchange between theoreticians and practitioners, and to foster the cross-fertilization of ideas: Relevant conference topics include but are not limited to:Explainable AI (XAI)Machine LearningDeep learningData MiningRecommender SystemsConstraint based systemsAutonomous systemsApplications (Configuration, Internet of Things, Financial Services, e-Health…)Intelligent user interfacesUser ModelingHuman computationSocially-aware systemsAutonomous systemsDigital librariesIntelligent AgentsInformation RetrievalNatural Language ProcessingKnowledge IntegrationKnowledge VisualizationKnowledge RepresentationSoft ComputingWeb & Text Mining |
Internetadresse |
Navn | Lecture Notes in Computer Science |
---|---|
Nummer | 12117 |
Vol/bind | LNAI |
ISSN | 0302-9743 |