Ensuring trustworthy and ethical behaviour in intelligent logical agents
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910326654500864 |
|---|---|
| author | Costantini, Stefania |
| author_facet | Costantini, Stefania |
| contents | Autonomous Intelligent Agents are employed in many applications upon which the life and welfare of living beings and vital social functions may depend. Therefore, agents should be trustworthy. A priori certification techniques (i.e., techniques applied prior to system's deployment) can be useful, but are not sufficient for agents that evolve, and thus modify their epistemic and belief state, and for open Multi-Agent Systems, where heterogeneous agents can join or leave the system at any stage of its operation. In this paper, we propose/refine/extend dynamic (runtime) logic-based self-checking techniques, devised in order to be able to ensure agents' trustworthy and ethical behaviour. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_07547 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Ensuring trustworthy and ethical behaviour in intelligent logical agents Costantini, Stefania Multiagent Systems Artificial Intelligence Logic in Computer Science Symbolic Computation I.2.4 Autonomous Intelligent Agents are employed in many applications upon which the life and welfare of living beings and vital social functions may depend. Therefore, agents should be trustworthy. A priori certification techniques (i.e., techniques applied prior to system's deployment) can be useful, but are not sufficient for agents that evolve, and thus modify their epistemic and belief state, and for open Multi-Agent Systems, where heterogeneous agents can join or leave the system at any stage of its operation. In this paper, we propose/refine/extend dynamic (runtime) logic-based self-checking techniques, devised in order to be able to ensure agents' trustworthy and ethical behaviour. |
| title | Ensuring trustworthy and ethical behaviour in intelligent logical agents |
| topic | Multiagent Systems Artificial Intelligence Logic in Computer Science Symbolic Computation I.2.4 |
| url | https://arxiv.org/abs/2402.07547 |