Work

Foundations for a Probabilistic Event Calculus

Year: 2017

Type: conference-paper

Abstract: We present PEC, an Event Calculus (EC) style action language for reasoning about probabilistic causal and narrative information. It has an action language style syntax similar to that of the EC variant Modular-E. Its semantics is given in terms of possible worlds which constitute possible evolutions of the domain, and builds on that of EFEC, an epistemic extension of EC. We also describe an ASP implementation of PEC and show the sense in which this is sound and complete.

Source: UCL Discovery (University College London)

DOI: 10.48550/arxiv.1703.06815

Authors: D'Asaro, Fabio Aurelio, Bikakis, Antonis, Dickens, Luke, Miller, Rob

Institution: University College London

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2962682976

FWCI:

Cites: 12

Cited by:

Related to: 20