In this paper, we discuss how a specification written in controlled natural language that contains statements of probabilistic uncertainty can be translated automatically into a probabilistic logic program. We first introduce our target formalism that annotates each disjunct of a disjunctive clause in a logic program with a probability and then use this formalism to specify a coin fipping experiment. We then show how the same experiment can be specified directly in controlled natural language and present the grammar that is required to process and translate the specification into a probabilistic logic program in a tutorial style manner.
|Title of host publication||Modelling and quality in requirements engineering|
|Subtitle of host publication||essays dedicated to Martin Glinz on the occasion of his 60th birthday|
|Editors||Norbert Seyff, Anne Koziolek|
|Place of Publication||Münster|
|Publisher||Monsenstein und Vannerdat|
|Number of pages||12|
|Publication status||Published - 2012|