Sökning: "Dynamic epistemic logic"

Hittade 2 avhandlingar innehållade orden Dynamic epistemic logic.

  1. 1. Logical Dynamics and Dynamical Systems

    Författare :Rasmus Kraemmer Rendsvig; Lund University Information Quality Research Group (LUIQ); []
    Nyckelord :Formal epistemology; Modal logic; Dynamic epistemic logic; Dynamical systems; General topology;

    Sammanfattning : This thesis is on information dynamics modeled using *dynamic epistemic logic* (DEL). It takes the simple perspective of identifying models with maps, which under a suitable topology may be analyzed as *topological dynamical systems*. It is composed of an introduction and six papers. LÄS MER

  2. 2. Interoperability Infrastructure and Incremental learning for unreliable heterogeneous communicating Systems

    Författare :Abdul Haseeb; Mihhail Matskin; Jüri Vain; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Interoperability; Incremental learning; Unreliable heterogeneous communicating Systems; Robotics; Computer science; Datavetenskap;

    Sammanfattning : In a broader sense the main research objective of this thesis (and ongoing research work) is distributed knowledge management for mobile dynamic systems. But the primary focus and presented work focuses on communication/interoperability of heterogeneous entities in an infrastructure less paradigm, a distributed resource manipulation infrastructure and distributed learning in the absence of global knowledge. LÄS MER