Formalizing commitments using the event calculus and RuleML

Autor:	Hans Weigand, Joost T. de Kruijff
Přispěvatelé:	Center Ph. D. Students, Department of Management, Research Group: Information & Supply Chain Management
Jazyk:	angličtina
Rok vydání:	2021
Předmět:	CONTRACTS Linguistics and Language RuleML General Computer Science SMART Computer science Programming language the Event Calculus commitments computer.software_genre Language and Linguistics Smart Contracts Blockchain Event calculus computer
Zdroj:	APPLIED ONTOLOGY, 16(4), 395-420. IOS Press
ISSN:	1570-5838
DOI:	10.3233/AO-210253
Popis:	Smart Contracts enable the automated execution of exchanges on the blockchain. From an ontological perspective, smart contracts create and automate the fulfillment of social commitments between actors. Whereas traditional deontic logic is used to make a legal determination in contractual multi-actor interactions, this paper focuses on the consequences of these actions resulting from that determination, thereby shifting the focus from monitoring to execution. The interactions between actors and the consequences in terms of commitments have not yet been formalized for smart contracts. The perspective of smart contracts is interesting, since they are considered to be autonomous agents, able to generate automated actions. We use the Event Calculus as a formal logic to represent and reason about the effects of these automated actions and the resulting commitments. Since the Event Calculus deals with local events and the consideration of time, this approach enables the uniform representation of commitments, including their operations and reasoning rules.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7b9520736aad3731ab32f2d4da7b2ab6 https://doi.org/10.3233/AO-210253 Zobrazit plný text záznamu Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.