A Case Study Integrating Knowledge Graphs and Intuitionistic Logic

被引：0

作者：

Alkmim, Bernardo ^{[1
]}

Haeusler, Edward ^{[1
]}

Schwabe, Daniel ^{[1
]}

机构：

[1] Pontificia Univ Catolica Rio de Janeiro, Dept Informat, Rio De Janeiro, Brazil

来源：

AI APPROACHES TO THE COMPLEXITY OF LEGAL SYSTEMS XI-XII | 2021年 / 13048卷

关键词：

Description logic; Intuitionistic logic; iALC; Knowledge graphs; Natural deduction;

D O I：

10.1007/978-3-030-89811-3_8

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this work, we present a way to model and reason over Knowledge Graphs via an Intuitionistic Description Logic called iALC. We also introduce a Natural Deduction System for iALC to reason over our modelling of the information of the Knowledge Graphs. Furthermore, we apply this modelling to a case study in a context that aims to support the definition of concepts of Trust, Privacy, and Transparency, and the solution of apparent conflicts between them without the need for additional strategies, using only terms of the logic itself.

引用

页码：106 / 124

页数：19

共 50 条

[1] GRAPHS, TOPOI, AND INTUITIONISTIC LOGIC
SHEARD, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1089 - 1089
[2] Intuitionistic Epistemic Logic with Distributed Knowledge
Murai, Ryo
Sano, Katsuhiko
[J]. COMPUTACION Y SISTEMAS, 2022, 26 (02): : 823 - 834
[3] Knowledge and its dynamics in intuitionistic logic
Pavlova, Alexandra M.
[J]. FILOSOFSKII ZHURNAL, 2022, 15 (03): : 113 - 124
[4] Intuitionistic Public Announcement Logic with Distributed Knowledge
Murai, Ryo
Sano, Katsuhiko
[J]. STUDIA LOGICA, 2024, 112 (03) : 661 - 691
[5] Diagrammatic Logic of Existential Graphs: A Case Study of Commands
Pietarinen, Ahti-Veikko
[J]. DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS, 2008, 5223 : 404 - 407
[6] Event Knowledge Graphs for Auditing: A Case Study
Klijn, Eva L.
Preuss, Dennis
Imeri, Lulzim
Baumann, Florin
Mannhardt, Felix
Fahland, Dirk
[J]. PROCESS MINING WORKSHOPS, ICPM 2023, 2024, 503 : 84 - 97
[7] INTUITIONISTIC LOGIC IN AN INTUITIONISTIC METALANGUAGE - INTUITIONISTICALLY PLAUSIBLE INTERPRETATION OF INTUITIONISTIC LOGIC
DESWART, H
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 130 - 131
[8] Swift Logic for Big Data and Knowledge Graphs
Bellomarini, Luigi
Gottlob, Georg
Pieris, Andreas
Sallinger, Emanuel
[J]. PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 2 - 10
[9] KNOWLEDGE GRAPHS AND LOGIC - ONE OF 2 KINDS
VANDENBERG, H
[J]. AI COMMUNICATIONS, 1994, 7 (02) : 135 - 136
[10] A Study on Atanassov's Intuitionistic Fuzzy Graphs
Karunambigai, M. G.
Parvathi, R.
Kalaivani, O. K.
[J]. IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ 2011), 2011, : 649 - 655

← 1 2 3 4 5 →