Efficient viterbi for PRISM models with annotations

PRELIMINARY WEBSITE, MARCH 2009/ Version 3.1 added March 2011

Extends the probabilistic-logic PRISM system developed by Sato, Kameya and Zhou with a facility to Viterbi predictions for models with annotations. In PRISM this otherwise requires a lot of hand-coding to make it run efficiently; here we do all that automatically.

Documentation currently restricted to comments in the files. The system is given in three versions.

1.1.Developed for PRISM 1.11 and higher. It uses PRISMs viterbig predicate.
NB: the target declarations needed up until PRISM 1.11 is compiled in wrong way; however using PRISM 1,12 or higher this is insignificant.
2.1.Developed for PRISM 1.12 and higher. It uses PRISMs viterbit predicate that was introduced with 1.12.
3.1.Developed for PRISM 2.0 and higher. Notice that 1.1 and 2.1 does not work with PRISM 2.0 and upwards

1.1 has been debugged more extensively than 2.1, but from a user of PRISM 1.12 or higher it should not make any difference which version is used. However, both depend on details of the PRISM system that are not documented in detail, so ...

THIS ANNOTATION SYSTEM can be downloaded and used for free for any peaceful and non-commercial purpose. The developer take no responsibility for any consequences of the use of this software. For possible commercial applications, or if any doubts concerning these conditions, please write to the developer.

Download

1.1. 1-1-autoAnnotations.pl (remove "1-1-" from filename after download)
2.1. 2-1-autoAnnotations.pl (remove "2-1-" from filename after download)
3.1. 3-1-autoAnnotations.pl (remove "3-1-" from filename after download)

Last modification 10 March 2011