Search for dissertations about: "temporal logic"

Showing result 1 - 5 of 47 swedish dissertations containing the words temporal logic.

  1. 1. Extensions of Deontic Logic : An Investigation into some Multi-Modal Systems

    University dissertation from Stockholm : Department of Philosophy, Stockholm University

    Author : Daniel Rönnedal; Stockholms universitet.; [2012]
    Keywords : HUMANIORA; HUMANITIES; Deontic logic; Modal logic; Dyadic deontic logic; Semantic tableau; Conditional obligation; Commitment; Counterfactuals; Multi-modal logic; Bimodal logic; Temporal logic; T x W logic; Ought-implies-can; The means-end principle; Theoretical Philosophy; teoretisk filosofi;

    Abstract : Deontic logic is a branch of logic that deals with normative concepts, propositions, arguments and systems. The main purpose of this compilation thesis is to investigate how deontic logic can be extended in a number of ways. We consider several multimodal systems, i.e. READ MORE

  2. 2. Extending temporal action logic

    University dissertation from Linköping : Linköpings universitet

    Author : Joakim Gustafsson; Linköpings universitet.; Linköpings universitet.; [2001]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Abstract : An autonomous agent operating in a dynamical environment must be able to perform several "intelligent" tasks, such as learning about the environment, planning its actions and reasoning about the effects of the chosen actions. For this purpose, it is vital that the agent has a coherent, expressive, and well understood means of representing its knowledge about the world. READ MORE

  3. 3. Deductive Planning and Composite Actions in Temporal Action Logic

    University dissertation from Institutionen för datavetenskap

    Author : Martin Magnusson; Linköpings universitet.; Linköpings universitet.; [2007]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Temporal Action Logic; deductive planning; composite actions; interval algebra; constraint logic programming; execution monitoring; TECHNOLOGY Information technology Computer science Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap Datalogi;

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

  4. 4. On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development

    University dissertation from Institutionen för datavetenskap

    Author : Oscar Ljungkrantz; [2011]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; safety logic; function block; IEC 61131; software requirements and specification; formal verification; reusable automation component RAC ; temporal logic; manufacturing automation software; programmable logic controller PLC ; model checking;

    Abstract : Developing a control system for an automated manufacturing system is a challenging task. In addition to controlling and coordinating the machines and robots used in the production, the safety of the operators must be assured. READ MORE

  5. 5. Reinforcement Learning Endowed Robot Planning under Spatiotemporal Logic Specifications

    University dissertation from KTH Royal Institute of Technology

    Author : Peter Varnai; KTH.; [2019]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Formal methods; temporal logic; autonomous systems; reinforcement learning; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Recent advances in artificial intelligence are producing fascinating results in the field of computer science. Motivated by these successes, the desire to transfer and implement learning methods on real-life systems is growing as well. READ MORE