Sökning: "logical reasoning"

Visar resultat 6 - 10 av 48 avhandlingar innehållade orden logical reasoning.

  1. 6. A prototype system for logical reasoning about time and action

    Författare :Christer Hansson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis presents the experience and results from the implementation of a prototype system for reasoning about time and action. Sandewall has defined syntax, semantics and preference relations on the interpretations of a temporal logic. LÄS MER

  3. 7. 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

  4. 8. 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

  5. 9. Gaming in Mohenjo-daro – an Archaeology of Unities

    Författare :Elke Rogersdotter; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Mohenjo-daro; Indus Valley; Bronze Age; Pakistan; play; gaming; play spectra; grounded theory; form and content; Simmel; abduction; logical types; autonomously working systems; Bateson; systems of representation; symbolic capital; deconstruction; nanoarchaeology; reflexive archaeology;

    Sammanfattning : The main question of this thesis concerns the possibility of illuminating the presence and impact of the irrational element that is play in an ancient societal structure. With this question as a lodestar, the investigation has come to concern the development of an alternative way of work that can manage to embrace the positively loaded, ‘fun’ dimension of play. LÄS MER

  7. 10. A Facet Model of the Logical Operational Structures of Piaget's Theory : Guttman's Facet Design applied to Piaget's Theory

    Författare :Barbro Bergling; Siv Fischbein; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; facet design; Piaget; operational thinking; Rasch; partial credit model; hierarchical model; psykologi; Psychology;

    Sammanfattning : This thesis explored whether the complex structure of Piaget's theory of operational thinking could be synthesized into a facet model by means of facet design. The aims were: (1) to deduce from detailed conceptual analyses of 12 of Piaget's classical experiments the essential parts of the operational structures (Study I); (2) to explore the internal structure of his constructs in terms of a mapping sentence (Study II); (3) to study the hierarchical structure of the interrelationships between the constructs (Study III); and (4) to apply the facet model in the development of test items (Study II and IV). LÄS MER