Specifying probabilistic logic programs in controlled natural language

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationModelling and quality in requirements engineering
Subtitle of host publicationessays dedicated to Martin Glinz on the occasion of his 60th birthday
EditorsNorbert Seyff, Anne Koziolek
Place of PublicationMünster
PublisherMonsenstein und Vannerdat
Pages105-116
Number of pages12
ISBN (Print)9783869917245
Publication statusPublished - 2012

Fingerprint

Dive into the research topics of 'Specifying probabilistic logic programs in controlled natural language'. Together they form a unique fingerprint.

Cite this