A logic for specifying agent actions and observations with probability

MaRDI QIDQ4583956zbMATH OpenFDO

Authors Gavin Rens, Gerhard Lakemeyer, Thomas Meyer

Publication date 29 August 2018

Full work available at URL http://ebooks.iospress.nl/volumearticle/6920

zbMATH Keywords

domain specificationlogicPOMDPstochastic actions and observationstableau method

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• A logic for specifying stochastic actions and observations
• Specifying and reasoning about uncertain agents
• scientific article; zbMATH DE number 140396
• Reasoning about noisy sensors and effectors in the situation calculus
• scientific article; zbMATH DE number 2063026

Cited in

(4)

• Specifying and reasoning about uncertain agents
• Minimizing agent specifications using a logic of knowledge and actions
• scientific article; zbMATH DE number 140396 (Why is no real title available?)
• A logic for specifying stochastic actions and observations

This page was built for publication: A logic for specifying agent actions and observations with probability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583956)