Sökning: "logical"

Visar resultat 6 - 10 av 356 avhandlingar innehållade ordet logical.

  1. 6. Fundamentals and logical foundations of truth maintenance

    Författare :Michael Reinfrank; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 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. LÄS MER

  3. 7. To infinity and back : Logical limit laws and almost sure theories

    Författare :Ove Ahlman; Vera Koponen; Kerkko Luosto; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; finite model theory; almost sure theories; rigid structures; limit laws; Mathematical Logic; Matematisk logik;

    Sammanfattning : .... LÄS MER

  4. 8. A logical specification of federated information systems

    Författare :Magnus Boman; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Distribuerad databehandling; Logik;

    Sammanfattning : .... LÄS MER

  5. 9. An implementation of Martin-Löf's logical framework

    Författare :Lena Magnusson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER

  7. 10. The Logical Structure of the Moral Concepts : An Essay in Propositional Deontic Logic

    Författare :Karl Pettersson; Erik Carlson; Kent Hurtig; Sven Ove Hansson; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; deontic logic; standard deontic logic SDL ; deontic paradoxes; non-Kripkean modal logic; moral dilemmas; supererogation; Hector-Neri Castañeda; practitions; dyadic deontic logic; Practical philosophy; Praktisk filosofi; Praktisk filosofi; Practical Philosophy;

    Sammanfattning : In this thesis, the main focus is on deontic logic as a tool for formal representation of moral reasoning in natural language. The simple standard system of deontic logic (SDL), i.e. LÄS MER