Sökning: "logical reasoning"

Visar resultat 16 - 20 av 48 avhandlingar innehållade orden logical reasoning.

  1. 16. Reflection Principles in Computational Logic

    Författare :Pierangelo Dell'Acqua; Jonas Barklund; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

    Sammanfattning : We introduce the concept of reflection principles as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of logic schemata intended to capture the basic properties of the domain knowledge to be modelled. LÄS MER

  3. 17. Att styra i namn av barns fritid : En nutidshistoria om konstruktionen av dagens fritidshem i samordning med skolan

    Författare :Malin Rohlin; Professor Jan-Erik Johansson; Stockholms universitet; []
    Nyckelord :;

    Sammanfattning : Governing in the name of children’s leisure time: A contemporary history of the construction of today’s school-age childcare (fritidshem) in coordination with the schools.The purpose of this study is to provide a perspective on the recent restructuring of the cooperation between schools and school-age childcare in Sweden. LÄS MER

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

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

    Sammanfattning : Argumentation is a highly dynamical and dialectical process drawing on human cognition. Successful argumentation is ubiquitous to human interaction. LÄS MER

  5. 19. An Inferentialist Interpretation of Classical Logic

    Författare :Tor Sandqvist; Krister Segerberg; Neil Tennant; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Philosophy; Inferentialism; Excluded Middle; Classical logic; Justification of deduction; Filosofi; Philosophy subjects; Filosofiämnen; teoretisk filosofi; Theoretical Philosophy;

    Sammanfattning : The aim of this work is to provide an account of the meanings of the standard logical operators meeting the following requirements:1) It should meet Dummettian standards of intelligibility; specifically, it should do without any notion of recognition-transcendent truth.2) It should validate Classical logic. LÄS MER

  7. 20. NML3 : a non-monotonic formalism with explicit defaults

    Författare :Patrick Doherty; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : The thesis is a study of a particular approach to defeasible reasoning based on the notion of an information state consisting of a set of partial interpretations constrained by an information ordering. The formalism proposed, called NML3, is a non-monotonic logic with explicit defaults and is characterized by the following features: (1) The use of the strong Kleene three-valued logic as a basis. LÄS MER