sato taisuke teddmicstitechacjp pleased announce release prism18 available download httpsatowwwcstitechacjpprism prism logicbased probabilistic language easy learn use users familiar prolog notable feature prism allows user define random switches use make probabilistic choices probability distributions switches learned automatically samples prism suited building complex systems involve symbolic probabilistic elements discrete hidden markov models stochastic stringgraph grammars game analysis data mining performance tuning biosequence analysis prism18 improves upon previous version 17 following aspects significant improvement learning speed instance learning real context free grammar 860 productions using corpus 10000 sentences impossible version 17 completed 10 minutes pc early versions accepted failurefree negationfree programs new version able handle failure negation negation compiled away automatically programs loaded result describe models failure constraints agreement number subjects verbs addition learning conducted negative samples prism general enjoys following features 1 user use programs define distributions terms atoms mathematically prism program formalism defines probability measure set possible herbrand interpretations distributions derived computed defined measure restrictions programs eg programs required rangerestricted 2 parameters program learnable automatically examples prism program contains statistical parameters reflect statistical properties model automatically estimated examples ml maximum likelihood estimation performed builtin em learning routine 3 probabilities computed efficiently dynamic programming manner prism uses explanation graphs compute probabilities learn parameters solutions shared dynamic programming prism implemented top bprolog tabled search bprolog used construct explanation graphs 4 prism high level yet efficient modeling language popular symbolicstatistical models hidden markov models probabilistic context free grammars bayesian nets described prism compact way parameter learning prism done efficiently specialized em algorithms baumwelch algorithm addition prism used model certain phenomena hard model using specialized statistical tools prism sustainable relatively large sets data would interest anyone would like challenge statistical modeling complex phenomena best regards taisuke sato nengfa zhou tue 05 aug 2008 182705 0800 uai announcement prism18 release