.png){kind=icon}
.png){kind=icon}
Return
Accountable Protocols in Abductive Logic Programming
.png){kind=icon}
OA
AI
DOI：10.1145/3107936.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Finding the entity responsible for an unpleasant situation is often difficult, especially in artificial agent societies. SCIFF is a formalization of agent societies, including a language to describe rules and protocols, and an abductive proof procedure for compliance checking. However, how to identify the entity responsible for a violation is not always clear. In this work, a definition of accountability for artificial societies is formalized in SCIFF. Two tools are provided for the designer of interaction protocols: a guideline, in terms of syntactic features that ensure accountability of the protocol, and an algorithm (implemented in a software tool) to investigate if, for a given protocol, nonaccountability issues could arise.
Keywords:
SCIFF
accountability
abductive logic programming
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
4.1
Papers:
896
Citations:
1.9K