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

Browsing by Author "Lakemeyer, G"

Sort by: Order: Results:

  • Rens, G; Lakemeyer, G; Meyer, T (IOS Press, 2012-08)
    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 ...
  • Rens, G; Meyer, T; Ferrein, A; Lakemeyer, G (2011-07)
    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 ...
  • Rens, G; Meyer, T; Lakemeyer, G (Springer, 2014-03)
    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 ...
  • Rens, GB; Meyer, TA; Lakemeyer, G (Science and Technology Publications, Lda, 2015-01)
    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 ...
  • Rens, G; Meyer, T; Lakemeyer, G (COMMONSENSE 2013, 2013-05)
    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 ...
  • Rens, G; Meyer, T; Lakemeyer, G (Elsevier, 2014-06)
    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 ...