A priori Belief Updates as a Method for Agent Self-recovery

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F24%3A00600413" target="_blank" >RIV/67985807:_____/24:00600413 - isvavai.cz</a>

Result on the web

<a href="https://doi.org/10.18494/SAM.RAP.2024.0021" target="_blank" >https://doi.org/10.18494/SAM.RAP.2024.0021</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.18494/SAM.RAP.2024.0021" target="_blank" >10.18494/SAM.RAP.2024.0021</a>

Result language

angličtina

Original language name

A priori Belief Updates as a Method for Agent Self-recovery

Original language description

Standard epistemic logic is concerned with describing agents’ epistemic attitudes given the current set of alternatives the agents consider possible. While distributed systems can be (and often are) discussed without mentioning epistemics, it has been well established that epistemic phenomena lie at the heart of what agents, or processes, can and cannot do. Dynamic epistemic logic (DEL) aims to describe how epistemic attitudes of the agents/processes change based on the new information they receive, e.g., based on their observations of events and actions in a distributed system. In a broader philosophical view, this appeals to an a posteriori kind of reasoning, where agents update the set of alternatives considered possible based on their “experiences.” Until recently, there was little incentive to formalize a priori reasoning, which plays a role in designing and maintaining distributed systems, e.g., in determining which states must be considered possible by agents in order to solve the distributed task at hand, and consequently in updating these states when unforeseen situations arise during runtime. With systems becoming more and more complex and large, the task of fixing design errors “on the fly” is shifted to individual agents, such as in the increasingly popular self-adaptive and self-organizing (SASO) systems. Rather than updating agents’ a posteriori beliefs, this requires modifying their a priori beliefs about the system’s global design and parameters. The goal of this paper is to provide a formalization of such a priori reasoning by using standard epistemic semantic tools, including Kripke models and DEL-style updates, and provide heuristics that would pave the way to streamlining this inherently nondeterministic and ad hoc process for SASO systems.

Czech name

—

Czech description

—

Type

J_ost - Miscellaneous article in a specialist periodical

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2024

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Review of Analytic Philosophy

ISSN

2435-7375

e-ISSN

2435-7383

Volume of the periodical

4

Issue of the periodical within the volume

1

Country of publishing house

JP - JAPAN

Number of pages

37

Pages from-to

1-37

UT code for WoS article

—

EID of the result in the Scopus database

—