I Can Get Some Satisfaction: Fuzzy Ontologies for Partial Agreements in Blockchain Smart Contracts

被引：4
作者：
Huitzil, Ignacio [1 ]
Fuentemilla, Alvaro [1 ]
Bobillo, Fernando [2 ]
机构：
[1] Univ Zaragoza, Zaragoza, Spain
[2] Univ Zaragoza, Aragon Inst Engn Res I3A, Zaragoza, Spain
来源：
2020 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE) | 2020年
关键词：
fuzzy ontologies; blockchain; smart contracts;
D O I：
10.1109/fuzz48607.2020.9177732
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper proposes a novel extension of blockchain systems with fuzzy ontologies. The main advantage is to let the users have flexible restrictions, represented using fuzzy sets, and to develop smart contracts where there is a partial agreement among the involved parts. We propose a general architecture based on four fuzzy ontologies and a process to develop and run the smart contracts, based on a reduction to a well-known fuzzy ontology reasoning task (Best Satisfiability Degree). We also investigate different operators to compute Pareto-optimal solutions and implement our approach in the Ethereum blockchain.
引用
收藏
页数：8
相关论文
共 28 条
  • [1] [Anonymous], 2013, FDN FUZZY LOGIC SEMA
  • [2] Baader F, 2015, J PHILOS LOGIC, V44, P117, DOI 10.1007/s10992-014-9329-3
  • [3] Baader Franz, 2003, DESCRIPTION LOGIC HD
  • [4] Benet J., 2014, Technical Report Draft, V3
  • [5] Optimising fuzzy description logic reasoners with general concept inclusion absorption
    Bobillo, Fernando
    Straccia, Umberto
    [J]. FUZZY SETS AND SYSTEMS, 2016, 292 : 98 - 129
  • [6] The fuzzy ontology reasoner fuzzyDL
    Bobillo, Fernando
    Straccia, Umberto
    [J]. KNOWLEDGE-BASED SYSTEMS, 2016, 95 : 12 - 34
  • [7] Fuzzy ontology representation using OWL 2
    Bobillo, Fernando
    Straccia, Umberto
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2011, 52 (07) : 1073 - 1094
  • [8] On the (un)decidability of fuzzy description logics under Lukasiewicz t-norm
    Cerami, Marco
    Straccia, Umberto
    [J]. INFORMATION SCIENCES, 2013, 227 : 1 - 21
  • [9] Auto-Generation of Smart Contracts from Domain-Specific Ontologies and Semantic Rules
    Choudhury, Olivia
    Rudolph, Nolan
    Sylla, Issa
    Fairoza, Noor
    Das, Amar
    [J]. IEEE 2018 INTERNATIONAL CONGRESS ON CYBERMATICS / 2018 IEEE CONFERENCES ON INTERNET OF THINGS, GREEN COMPUTING AND COMMUNICATIONS, CYBER, PHYSICAL AND SOCIAL COMPUTING, SMART DATA, BLOCKCHAIN, COMPUTER AND INFORMATION TECHNOLOGY, 2018, : 963 - 970
  • [10] Dannen C., 2017, Introducing Ethereum and solidity, V318
123