Browsing Research Publications/Outputs by Author "Lakemeyer, G"

Now showing items 1-6 of 6

A logic for specifying agent actions and observations with probability

Author: Rens, G ; Lakemeyer, G ; Meyer, T Date: Aug 2012 We propose a non-standard modal logic for specifying agent domains where the agent’s actuators and sensors are noisy, causing uncertainty in action and perception. The logic is multi-modal, indexed with actions; the logic is also augmented ... Read more
Logic for specifying partially observable stochastic domains

Author: Rens, G ; Meyer, T ; Ferrein, A ; Lakemeyer, G Date: Jul 2011 The authors propose a novel modal logic for specifying agent domains where the agent’s actuators and sensors are noisy, causing uncertainty in action and perception. The logic draws both on POMDP theory and logics of action and change. The ... Read more
A logic for specifying stochastic actions and observations

Author: Rens, G ; Meyer, T ; Lakemeyer, G Date: Mar 2014 We present a logic inspired by partially observable Markov decision process (POMDP) theory for specifying agent domains where the agent's actuators and sensors are noisy (causing uncertainty). The language features modalities for actions and ... Read more
A Modal Logic for the Decision-Theoretic Projection Problem

Author: Rens, GB ; Meyer, TA ; Lakemeyer, G Date: Jan 2015 The authors present a decidable logic in which queries can be posed about (i) the degree of belief in a propositional sentence after an arbitrary finite number of actions and observations and (ii) the utility of a finite sequence of actions ... Read more
On the logical specification of probabilistic transition models

Author: Rens, G ; Meyer, T ; Lakemeyer, G Date: May 2013 We investigate the requirements for specifying the behaviors of actions in a stochastic domain. That is, we propose how to write sentences in a logical language to capture a model of probabilistic transitions due to the execution of actions ... Read more
SLAP: Specification logic of actions with probability

Author: Rens, G ; Meyer, T ; Lakemeyer, G Date: Jun 2014 A logic for specifying probabilistic transition systems is presented. Our perspective is that of agents performing actions. A procedure for deciding whether sentences in this logic are valid is provided. One of the main contributions of the ... Read more

Now showing items 1-6 of 6

Browse

All of ResearchSpace
This Community
- By Issue Date
- Authors
- Titles
- Subjects
- Publication Type
- Cluster
- Impact Area

Quick Links

Legislation and compliance

General Enquiries

Tel: + 27 12 841 2911
Email: callcentre@csir.co.za

Physical Address
Meiring Naudé Road
Brummeria
Pretoria
South Africa

Postal Address
PO Box 395
Pretoria 0001
South Africa

Social Connect

Resources on this site are free to download and reuse according to associated licensing provision. Please read the terms and conditions of usage of each resource.

Browsing Research Publications/Outputs by Author "Lakemeyer, G"

Browsing Research Publications/Outputs by Author "Lakemeyer, G"

Browse

All of ResearchSpace

This Community

Quick Links

Legislation and compliance

General Enquiries

Social Connect