Learning effect axioms via probabilistic logic programming

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Abstract

Events have effects on properties of the world; they initiate or terminate these properties at a given point in time. Reasoning about events and their e ects comes naturally to us and appears to be simple, but it is actually quite di cult for a machine to work out the relationships between events and their e ects. Traditionally, effect axioms are assumed to be given for a particular domain and are then used for event recognition. We show how we can automatically learn the structure of effect axioms from example interpretations in the form of short dialogue sequences and use the resulting axioms in a probabilistic version of the Event Calculus for query answering. Our approach is novel, since it can deal with uncertainty in the recognition of events as well as with uncertainty in the relationship between events and their effects. The suggested probabilistic Event Calculus dialect directly subsumes the logic-based dialect and can be used for exact as well as a for inexact inference.

LanguageEnglish
Title of host publicationICLP 2017
Subtitle of host publicationTechnical Communications of the 33rd International Conference on Logic Programming
EditorsRicardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei
Place of PublicationSaarbrücken/Wadern
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages1-15
Number of pages15
ISBN (Electronic)9783959770583
DOIs
Publication statusPublished - 1 Feb 2018
EventInternational Conference on Logic Programming (33rd : 2017) - Melbourne, Australia
Duration: 28 Aug 20171 Sep 2017

Publication series

NameOASIcs
Volume58
ISSN (Electronic)2190-6807

Conference

ConferenceInternational Conference on Logic Programming (33rd : 2017)
CountryAustralia
CityMelbourne
Period28/08/171/09/17

Fingerprint

Probabilistic logics
Probabilistic Programming
Learning Effect
Probabilistic Logic
Logic programming
learning success
Logic Programming
logic
Axioms
programming
learning
event
Event Calculus
dialect
Uncertainty
uncertainty
Terminate
effect
Reasoning
ritual

Bibliographical note

Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.

Keywords

  • Effect axioms
  • Event calculus
  • Event recognition
  • Probabilistic logic programming
  • Reasoning under uncertainty

Cite this

Schwitter, R. (2018). Learning effect axioms via probabilistic logic programming. In R. Rocha, T. C. Son, C. Mears, & N. Saeedloei (Eds.), ICLP 2017: Technical Communications of the 33rd International Conference on Logic Programming (pp. 1-15). [8] (OASIcs; Vol. 58). Saarbrücken/Wadern: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/OASIcs.ICLP.2017.8
Schwitter, Rolf. / Learning effect axioms via probabilistic logic programming. ICLP 2017: Technical Communications of the 33rd International Conference on Logic Programming. editor / Ricardo Rocha ; Tran Cao Son ; Christopher Mears ; Neda Saeedloei. Saarbrücken/Wadern : Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2018. pp. 1-15 (OASIcs).
@inproceedings{efe5307851034580968f323957e73536,
title = "Learning effect axioms via probabilistic logic programming",
abstract = "Events have effects on properties of the world; they initiate or terminate these properties at a given point in time. Reasoning about events and their e ects comes naturally to us and appears to be simple, but it is actually quite di cult for a machine to work out the relationships between events and their e ects. Traditionally, effect axioms are assumed to be given for a particular domain and are then used for event recognition. We show how we can automatically learn the structure of effect axioms from example interpretations in the form of short dialogue sequences and use the resulting axioms in a probabilistic version of the Event Calculus for query answering. Our approach is novel, since it can deal with uncertainty in the recognition of events as well as with uncertainty in the relationship between events and their effects. The suggested probabilistic Event Calculus dialect directly subsumes the logic-based dialect and can be used for exact as well as a for inexact inference.",
keywords = "Effect axioms, Event calculus, Event recognition, Probabilistic logic programming, Reasoning under uncertainty",
author = "Rolf Schwitter",
note = "Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.",
year = "2018",
month = "2",
day = "1",
doi = "10.4230/OASIcs.ICLP.2017.8",
language = "English",
series = "OASIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
pages = "1--15",
editor = "Ricardo Rocha and Son, {Tran Cao} and Christopher Mears and Neda Saeedloei",
booktitle = "ICLP 2017",
address = "Germany",

}

Schwitter, R 2018, Learning effect axioms via probabilistic logic programming. in R Rocha, TC Son, C Mears & N Saeedloei (eds), ICLP 2017: Technical Communications of the 33rd International Conference on Logic Programming., 8, OASIcs, vol. 58, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, pp. 1-15, International Conference on Logic Programming (33rd : 2017), Melbourne, Australia, 28/08/17. https://doi.org/10.4230/OASIcs.ICLP.2017.8

Learning effect axioms via probabilistic logic programming. / Schwitter, Rolf.

ICLP 2017: Technical Communications of the 33rd International Conference on Logic Programming. ed. / Ricardo Rocha; Tran Cao Son; Christopher Mears; Neda Saeedloei. Saarbrücken/Wadern : Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2018. p. 1-15 8 (OASIcs; Vol. 58).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

TY - GEN

T1 - Learning effect axioms via probabilistic logic programming

AU - Schwitter, Rolf

N1 - Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.

PY - 2018/2/1

Y1 - 2018/2/1

N2 - Events have effects on properties of the world; they initiate or terminate these properties at a given point in time. Reasoning about events and their e ects comes naturally to us and appears to be simple, but it is actually quite di cult for a machine to work out the relationships between events and their e ects. Traditionally, effect axioms are assumed to be given for a particular domain and are then used for event recognition. We show how we can automatically learn the structure of effect axioms from example interpretations in the form of short dialogue sequences and use the resulting axioms in a probabilistic version of the Event Calculus for query answering. Our approach is novel, since it can deal with uncertainty in the recognition of events as well as with uncertainty in the relationship between events and their effects. The suggested probabilistic Event Calculus dialect directly subsumes the logic-based dialect and can be used for exact as well as a for inexact inference.

AB - Events have effects on properties of the world; they initiate or terminate these properties at a given point in time. Reasoning about events and their e ects comes naturally to us and appears to be simple, but it is actually quite di cult for a machine to work out the relationships between events and their e ects. Traditionally, effect axioms are assumed to be given for a particular domain and are then used for event recognition. We show how we can automatically learn the structure of effect axioms from example interpretations in the form of short dialogue sequences and use the resulting axioms in a probabilistic version of the Event Calculus for query answering. Our approach is novel, since it can deal with uncertainty in the recognition of events as well as with uncertainty in the relationship between events and their effects. The suggested probabilistic Event Calculus dialect directly subsumes the logic-based dialect and can be used for exact as well as a for inexact inference.

KW - Effect axioms

KW - Event calculus

KW - Event recognition

KW - Probabilistic logic programming

KW - Reasoning under uncertainty

UR - http://www.scopus.com/inward/record.url?scp=85043983893&partnerID=8YFLogxK

U2 - 10.4230/OASIcs.ICLP.2017.8

DO - 10.4230/OASIcs.ICLP.2017.8

M3 - Conference proceeding contribution

T3 - OASIcs

SP - 1

EP - 15

BT - ICLP 2017

A2 - Rocha, Ricardo

A2 - Son, Tran Cao

A2 - Mears, Christopher

A2 - Saeedloei, Neda

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

CY - Saarbrücken/Wadern

ER -

Schwitter R. Learning effect axioms via probabilistic logic programming. In Rocha R, Son TC, Mears C, Saeedloei N, editors, ICLP 2017: Technical Communications of the 33rd International Conference on Logic Programming. Saarbrücken/Wadern: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2018. p. 1-15. 8. (OASIcs). https://doi.org/10.4230/OASIcs.ICLP.2017.8