| Title: | A First-order Stochastic Action Language |
| Authors: | Hiroaki Watanabe and Stephen Muggleton |
| 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-09-15 |
Postscript Checksum |
|---|---|
| Info from authors | |
| Third-party information |
|
Editor-in-chief: editor@ep.liu.se Webmaster: webmaster@ep.liu.se |