A logic for specifying agent actions and observations with probability

zbMATH Open1394.68375MaRDI QIDQ4583956FDOQ4583956

Authors: Gavin Rens, Gerhard Lakemeyer, Thomas Meyer 

Publication date: 29 August 2018

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

Recommendations

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

zbMATH Keywords

logicPOMDPtableau methoddomain specificationstochastic actions and observations

Mathematics Subject Classification ID

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

Cited In (3)

• Minimizing agent specifications using a logic of knowledge and actions
• Title not available (Why is that?)
• Specifying and reasoning about uncertain agents

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)