Sökning: "logical reasoning"

Visar resultat 11 - 15 av 48 avhandlingar innehållade orden logical reasoning.

  1. 11. Enthymemes in Dialogue: A micro-rhetorical approach

    Författare :Ellen Breitholtz; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Topos; Enthymeme; ; TTR; Dialogue modelling; Non-monotonic reasoning; Accommodation; Micro-rhetoric; Gameboard semantics;

    Sammanfattning : In dialogue we frequently present arguments which are based on commonly accepted non-logical inferences. In rhetorical theory, this type of argument is called an enthymeme, and a pattern of reasoning that it is based on is called a topos. The main purpose of this thesis is to investigate the role that enthymemes play in natural language dialogue. LÄS MER

  3. 12. Birth cohort differences in cognitive aging: Secular trends in cognitive functioning and decline over 30 years in three population-based Swedish samples

    Författare :Peter Karlsson; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Aging; cardiovascular risk factors; cognitive decline; cohort differences; fluid and crystallized abilities; Flynn effect; longitudinal;

    Sammanfattning : The overarching aim of this thesis was to investigate birth cohort differences in level of cognitive functioning and change in later life in three population-based representative samples drawn from the Gerontological and Geriatric Population Studies in Gothenburg (H70), Sweden. We used data from cohorts, born in 1901-02, 1906-07, and 1930, measured at ages 70, 75, and 79 on the same cognitive measures. LÄS MER

  4. 13. Actions, interactions and narratives

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

    Sammanfattning : The area of reasoning about action and change is concerned with the formalization of actions and their effects as well as other aspects of inhabited dynamical systems. The representation is typically done in some logical language. LÄS MER

  5. 14. Deductive Planning and Composite Actions in Temporal Action Logic

    Författare :Martin Magnusson; Patrick Doherty; John-Jules Meyer; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Temporal Action Logic; deductive planning; composite actions; interval algebra; constraint logic programming; execution monitoring; Computer science; Datalogi;

    Sammanfattning : Temporal Action Logic is a well established logical formalism for reasoning about action and change that has long been used as a formal specification language. Its first-order characterization and explicit time representation makes it a suitable target for automated theorem proving and the application of temporal constraint solvers. LÄS MER

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

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

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