Search for dissertations about: "Logical Framework Approach"

Showing result 1 - 5 of 36 swedish dissertations containing the words Logical Framework Approach.

  2. 1. Logical Dynamics and Dynamical Systems

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

    Abstract : 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. READ MORE

  4. 2. Surprise between media, minds and world : A Peircean process semiotic approach

    Author : Pedro Atã; Lars Elleström; Kate Maxwell; Linnéuniversitetet; []
    Keywords : HUMANIORA; HUMANITIES; surprise; surprise in poetry; semiosis; cognitive niche construction; Peirce semiotics; process semiotics; distributed cognition; intermediality; Humaniora; Humanities;

    Abstract : The central idea of this thesis is that the relationship between cognition,media and environments is regulated by surprise. The relationship between cognition, media and environments is a foundational problem for studies of cognition, culture and/or communication. READ MORE

  5. 3. On the Formal Modeling of Games of Language and Adversarial Argumentation : A Logic-Based Artificial Intelligence Approach

    Author : Jenny S. Z. Eriksson Lundström; Andreas Hamfelt; Giovanni Sartor; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap;

    Abstract : Argumentation is a highly dynamical and dialectical process drawing on human cognition. Successful argumentation is ubiquitous to human interaction. READ MORE

  6. 4. Fundamentals and logical foundations of truth maintenance

    Author : Michael Reinfrank; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Despite their importance in AI problem solving, nonmonotonic truth maintenance systems (TMSs) still lack sufficiently well-understood logical foundations. In this thesis, I present a rigorous logical theory of TMSs. I pursue a two-step, bottom-up approach. First, I specify a direct, but implementation-independent, theory of truth maintenance. READ MORE

  7. 5. DyKnow : A Stream-Based Knowledge Processing Middleware Framework

    Author : Fredrik Heintz; Patrick Doherty; Michael Beetz; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : As robotic systems become more and more advanced the need to integrate existing deliberative functionalities such as chronicle recognition, motion planning, task planning, and execution monitoring increases. To integrate such functionalities into a coherent system it is necessary to reconcile the different formalisms used by the functionalities to represent information and knowledge about the world. READ MORE