Contract automata: An operational view of contracts between interactive parties

Deontic logic as a way of formally reasoning about norms, an important area in AI and law, has traditionally concerned itself about formalising provisions of general statutes. Despite the long history of deontic logic, given the wide scope of the logic, it is difficult, if not impossible, to formali...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Schapachnik, Fernando Pablo
Publicado: 2016
Materias:
$$\\mathscr {C\\!L}$$CL
Contract automata
Deontic logic
Automata theory
Reconfigurable hardware
Semantics
AI and law
Deontic
Deontic Logic
Operational view
Computer circuits
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09248463_v_n_p1_Azzopardi
http://hdl.handle.net/20.500.12110/paper_09248463_v_n_p1_Azzopardi
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_09248463_v_n_p1_Azzopardi
record_format dspace
spelling paper:paper_09248463_v_n_p1_Azzopardi2023-06-08T15:51:08Z Contract automata: An operational view of contracts between interactive parties Schapachnik, Fernando Pablo $$\\mathscr {C\\!L}$$CL Contract automata Deontic logic Automata theory Reconfigurable hardware Semantics AI and law Deontic Deontic Logic Operational view Computer circuits Deontic logic as a way of formally reasoning about norms, an important area in AI and law, has traditionally concerned itself about formalising provisions of general statutes. Despite the long history of deontic logic, given the wide scope of the logic, it is difficult, if not impossible, to formalise all these notions in a single formalism, and there are still ongoing debates on appropriate semantics for deontic modalities in different contexts. In this paper, we restrict our attention to contracts between interactive parties, which are both general enough to be an interesting object of study but specific enough so as to narrow down the debates regarding the meaning of modalities, and present a formalism for reasoning about them. © 2016 Springer Science+Business Media Dordrecht Fil:Schapachnik, F. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2016 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09248463_v_n_p1_Azzopardi http://hdl.handle.net/20.500.12110/paper_09248463_v_n_p1_Azzopardi
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic $$\\mathscr {C\\!L}$$CL
Contract automata
Deontic logic
Automata theory
Reconfigurable hardware
Semantics
AI and law
Deontic
Deontic Logic
Operational view
Computer circuits
spellingShingle $$\\mathscr {C\\!L}$$CL
Contract automata
Deontic logic
Automata theory
Reconfigurable hardware
Semantics
AI and law
Deontic
Deontic Logic
Operational view
Computer circuits
Schapachnik, Fernando Pablo
Contract automata: An operational view of contracts between interactive parties
topic_facet $$\\mathscr {C\\!L}$$CL
Contract automata
Deontic logic
Automata theory
Reconfigurable hardware
Semantics
AI and law
Deontic
Deontic Logic
Operational view
Computer circuits
description Deontic logic as a way of formally reasoning about norms, an important area in AI and law, has traditionally concerned itself about formalising provisions of general statutes. Despite the long history of deontic logic, given the wide scope of the logic, it is difficult, if not impossible, to formalise all these notions in a single formalism, and there are still ongoing debates on appropriate semantics for deontic modalities in different contexts. In this paper, we restrict our attention to contracts between interactive parties, which are both general enough to be an interesting object of study but specific enough so as to narrow down the debates regarding the meaning of modalities, and present a formalism for reasoning about them. © 2016 Springer Science+Business Media Dordrecht
author Schapachnik, Fernando Pablo
author_facet Schapachnik, Fernando Pablo
author_sort Schapachnik, Fernando Pablo
title Contract automata: An operational view of contracts between interactive parties
title_short Contract automata: An operational view of contracts between interactive parties
title_full Contract automata: An operational view of contracts between interactive parties
title_fullStr Contract automata: An operational view of contracts between interactive parties
title_full_unstemmed Contract automata: An operational view of contracts between interactive parties
title_sort contract automata: an operational view of contracts between interactive parties
publishDate 2016
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09248463_v_n_p1_Azzopardi
http://hdl.handle.net/20.500.12110/paper_09248463_v_n_p1_Azzopardi
work_keys_str_mv AT schapachnikfernandopablo contractautomataanoperationalviewofcontractsbetweeninteractiveparties
_version_ 1768545516928368640

Ejemplares similares