ResearchSpace

SLAP: Specification logic of actions with probability

Show simple item record

dc.contributor.author Rens, G
dc.contributor.author Meyer, T
dc.contributor.author Lakemeyer, G
dc.date.accessioned 2014-07-30T09:21:14Z
dc.date.available 2014-07-30T09:21:14Z
dc.date.issued 2014-06
dc.identifier.citation Rens, G, Meyer, T and Lakemeyer, G. 2014. SLAP: Specification logic of actions with probability. Journal of Applied Logic, vol. 12(2), pp 128-150 en_US
dc.identifier.issn 1570-8683
dc.identifier.uri http://ac.els-cdn.com/S157086831300075X/1-s2.0-S157086831300075X-main.pdf?_tid=3800bd5c-16f7-11e4-8b08-00000aacb360&acdnat=1406621358_f5694fdca2f3df0b9a073369473e20f0
dc.identifier.uri http://hdl.handle.net/10204/7542
dc.description Copyright: 2014 Elsevier. This is the pre/post print version. The definitive version is published in Journal of Applied Logic, vol. 12(2), pp 128-150 en_US
dc.description.abstract 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 paper is the formulation of the decision procedure: a tableau system which appeals to solving systems of linear equations. The tableau rules eliminate propositional connectives, then, for all open branches of the tableau tree, systems of linear equations are generated and checked for feasibility. Proofs of soundness, completeness and termination of the decision procedure are provided. en_US
dc.language.iso en en_US
dc.publisher Elsevier en_US
dc.relation.ispartofseries Workflow;13069
dc.subject Linear equation systems en_US
dc.subject Specification logic of actions with probability en_US
dc.subject SLAP en_US
dc.subject Probabilistic transition systems en_US
dc.title SLAP: Specification logic of actions with probability en_US
dc.type Article en_US
dc.identifier.apacitation Rens, G., Meyer, T., & Lakemeyer, G. (2014). SLAP: Specification logic of actions with probability. http://hdl.handle.net/10204/7542 en_ZA
dc.identifier.chicagocitation Rens, G, T Meyer, and G Lakemeyer "SLAP: Specification logic of actions with probability." (2014) http://hdl.handle.net/10204/7542 en_ZA
dc.identifier.vancouvercitation Rens G, Meyer T, Lakemeyer G. SLAP: Specification logic of actions with probability. 2014; http://hdl.handle.net/10204/7542. en_ZA
dc.identifier.ris TY - Article AU - Rens, G AU - Meyer, T AU - Lakemeyer, G AB - 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 paper is the formulation of the decision procedure: a tableau system which appeals to solving systems of linear equations. The tableau rules eliminate propositional connectives, then, for all open branches of the tableau tree, systems of linear equations are generated and checked for feasibility. Proofs of soundness, completeness and termination of the decision procedure are provided. DA - 2014-06 DB - ResearchSpace DP - CSIR KW - Linear equation systems KW - Specification logic of actions with probability KW - SLAP KW - Probabilistic transition systems LK - https://researchspace.csir.co.za PY - 2014 SM - 1570-8683 T1 - SLAP: Specification logic of actions with probability TI - SLAP: Specification logic of actions with probability UR - http://hdl.handle.net/10204/7542 ER - en_ZA


Files in this item

Thumbnail
Name: Rens_2014.pdf
Size: 394.5Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record