Linköping University Electronic Press:    Electronic Articles in Computer and Information Science

A First-order Stochastic Action Language

Title:A First-order Stochastic Action Language
Authors: Hiroaki Watanabe
Series:Linköping Electronic Articles in Computer and Information Science
ISSN 1401-9841
Issue:Vol. 7 (2002): no 022
URL: http://www.ep.liu.se/ea/cis/2002/022/

Abstract: A first-order stochastic action language, Datalog Stochastic Action Language (Datalog-SAL), is introduced for describing stochastic dynamic changing worlds. We define syntax and semantics of Datalog-SAL in order to show that a model of Datalog-SAL is given as a set of Hidden Markov Models (HMMs). Probability distributions over actions, state transitions, and initial states could be learned by HMM's parameter learning algorithms such as Baum-Welch algorithm. We investigate the learning complexity of Datalog-SAL with Baum-Welch algorithm. We show two simple examples from a nuclear power station domain and the metabolic pathway reaction domain. Datalog-SAL provides a simple and smooth conversion of Datalog and probability in the action and change framework.
Keywords:

Original publication
2002-08-30
Postscript Checksum
Info from authors  
Third-party information  


[About LiEP] [About Checksum validation] [About compression formats]

Editor-in-chief: editor@ep.liu.se
Webmaster: webmaster@ep.liu.se