Contract automata: An operational view of contracts between interactive parties

Mostrar todas las versiones(2)

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
Autores principales: Azzopardi, S., Pace, G.J., Schapachnik, F., Schneider, G.
Formato: JOUR
Materias:
CL
Contract automata
Deontic logic
Automata theory
Chlorine
Reconfigurable hardware
Semantics
AI and law
Deontic
Deontic Logic
Operational view
Computer circuits
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_09248463_v24_n3_p203_Azzopardi
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:paper_09248463_v24_n3_p203_Azzopardi
record_format dspace
spelling todo:paper_09248463_v24_n3_p203_Azzopardi2023-10-03T15:46:03Z Contract automata: An operational view of contracts between interactive parties Azzopardi, S. Pace, G.J. Schapachnik, F. Schneider, G. CL Contract automata Deontic logic Automata theory Chlorine 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. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_09248463_v24_n3_p203_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 CL
Contract automata
Deontic logic
Automata theory
Chlorine
Reconfigurable hardware
Semantics
AI and law
Deontic
Deontic Logic
Operational view
Computer circuits
spellingShingle CL
Contract automata
Deontic logic
Automata theory
Chlorine
Reconfigurable hardware
Semantics
AI and law
Deontic
Deontic Logic
Operational view
Computer circuits
Azzopardi, S.
Pace, G.J.
Schapachnik, F.
Schneider, G.
Contract automata: An operational view of contracts between interactive parties
topic_facet CL
Contract automata
Deontic logic
Automata theory
Chlorine
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.
format JOUR
author Azzopardi, S.
Pace, G.J.
Schapachnik, F.
Schneider, G.
author_facet Azzopardi, S.
Pace, G.J.
Schapachnik, F.
Schneider, G.
author_sort Azzopardi, S.
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
url http://hdl.handle.net/20.500.12110/paper_09248463_v24_n3_p203_Azzopardi
work_keys_str_mv AT azzopardis contractautomataanoperationalviewofcontractsbetweeninteractiveparties
AT pacegj contractautomataanoperationalviewofcontractsbetweeninteractiveparties
AT schapachnikf contractautomataanoperationalviewofcontractsbetweeninteractiveparties
AT schneiderg contractautomataanoperationalviewofcontractsbetweeninteractiveparties
_version_ 1807314962544066560

Ejemplares similares