Found 4 document(s)
Page 1 of 1
-
We study the relation between two existing formalisms: incomplete argumentation frameworks (IAFs) and epistemic logic of visibility (ELV). We show that the set of completions of a given IAF naturally corresponds to a spe...
-
Nous présentons une logiqueépistémique dynamique basée sur ce qu'un agent peut observer, y compris les observations jointes et l'observation de ce que les autres observent, généralisant ainsi les logiques ECL-PC(PO) et L...
-
Nous examinons plusieurs opérations de changement de croyances à la lumière d’une logique dynamique avec affectations propositionnelles. Cette dernière permet d’encoder les mises à jour comme des programmes particuliers,...
-
Current formal models of trust are limited since they only consider an agent’s trust in the atomic action of another agent and therefore do not apply to trust in complex actions where the elements in the complex action a...