Project

AI4TrustBC - Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology

Goal: BlockChain (BC) is a distributed data storage structure maintained without any third party of absolute trust. Over the last ten years, since its first implementation in cryptocurrency, BC technology has been applied to a wide range of applications in IoT, insurance, healthcare, smart contracts, finance, digital identity, voting, notary, among others. BC is a public ledger where data are added simultaneously and remain immutable. Verification of data without trusted third parties is realized by consensus protocols and provides trustworthiness of BC. Artificial Intelligence (AI) and BC are proven to be quite a powerful combination, improving virtually every industry in which they are implemented. The goal of this project is to contribute to the application of AI to the BC technology domain in two basic ways: knowledge reasoning techniques are to be used to analyze consistency of consensus algorithms for BC; AI techniques are to be employed for the analysis of anonymous data in order to evaluate robustness of privacy protection in BC. The expected results of this project are: to develop formal logic based knowledge reasoning techniques for analyzing the BC protocol; to develop knowledge reasoning techniques and formal methods for privacy management based on trustworthy BC technology; to develop new Proof-of-Work tasks based on hard optimization problems and examine their performance; to develop metaheuristic-based tools for the analysis of system security; to employ AI techniques to evaluate security of certain BC consensus protocols; to employ AI techniques to evaluate privacy evaluation of certain BC ledgers. In general, the project as a whole is meant to advance the mutual applicability AI to BC and BC to AI. The project impact is ranging from foundational to highly practical and from individual privacy protection to the society as a whole, where privacy is one of the key issues.

Project gathers 12 researchers, among them 5 PhD students. It is funded by the Science Fund of the Republic of Serbia for the period Sept. 2020 to Aug. 2022.

Date: 1 September 2020 - 31 August 2022

Updates
0 new
0
Recommendations
0 new
0
Followers
0 new
5
Reads
0 new
22

Project log

Tatjana Davidović
added a research item
This paper presents a novel approach to automated reasoning in System P. System P axiomatizes a set of core properties that describe reasoning with defeasible assertions (defaults) of the form: if α then normally (usually or typically) β. A logic with approximate conditional probabilities is used for modeling default rules. That representation enables reducing the satisfiability problem for default reasoning to the (non)linear programming problem. The complexity of the obtained instances requires the application of optimization approaches. The main heuristic that we use is the Bee Colony Optimization (BCO). As an alternative to BCO, we use Simplex method and Fourier-Motzkin Elimination method to solve linear programming problems. All approaches are tested on a set of default reasoning examples that can be found in literature. The general impression is that Fourier-Motzkin Elimination procedure is not suitable for practical use due to substantially high memory usage and time consuming execution, the Simplex method is able to provide useful results for some of the tested examples, while heuristic approach turns out to be the most appropriate in terms of both success rate and time needed for reaching conclusions. In addition, the BCO method was tested on a set of randomly generated examples of larger dimensions, illustrating its practical usability.
Tatjana Davidović
added a project goal
BlockChain (BC) is a distributed data storage structure maintained without any third party of absolute trust. Over the last ten years, since its first implementation in cryptocurrency, BC technology has been applied to a wide range of applications in IoT, insurance, healthcare, smart contracts, finance, digital identity, voting, notary, among others. BC is a public ledger where data are added simultaneously and remain immutable. Verification of data without trusted third parties is realized by consensus protocols and provides trustworthiness of BC. Artificial Intelligence (AI) and BC are proven to be quite a powerful combination, improving virtually every industry in which they are implemented. The goal of this project is to contribute to the application of AI to the BC technology domain in two basic ways: knowledge reasoning techniques are to be used to analyze consistency of consensus algorithms for BC; AI techniques are to be employed for the analysis of anonymous data in order to evaluate robustness of privacy protection in BC. The expected results of this project are: to develop formal logic based knowledge reasoning techniques for analyzing the BC protocol; to develop knowledge reasoning techniques and formal methods for privacy management based on trustworthy BC technology; to develop new Proof-of-Work tasks based on hard optimization problems and examine their performance; to develop metaheuristic-based tools for the analysis of system security; to employ AI techniques to evaluate security of certain BC consensus protocols; to employ AI techniques to evaluate privacy evaluation of certain BC ledgers. In general, the project as a whole is meant to advance the mutual applicability AI to BC and BC to AI. The project impact is ranging from foundational to highly practical and from individual privacy protection to the society as a whole, where privacy is one of the key issues.
Project gathers 12 researchers, among them 5 PhD students. It is funded by the Science Fund of the Republic of Serbia for the period Sept. 2020 to Aug. 2022.