Temporary registration page before publication by Linköping University Electronic Press, series Computer and Information Science
The following article is intended to be published shortly by Linköping University Electronic Press. The present page gives access to the article, but does not provide the guarantees of persistence.

A First-order Stochastic Action Language.

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): nr 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.

Intended publication
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