Abduction in PDT Logic

Karsten Martiny, Ralf Möller

Abstract

Probabilistic Doxastic Temporal (PDT) Logic is a formalism to represent and reason about belief evolutions in multi--agent systems. In this work we develop a theory of abduction for PDT Logic. This gives means to novel reasoning capabilities by determining which epistemic actions can be taken in order to induce an evolution of probabilistic beliefs into a desired goal state. Next to providing a formal account of abduction in PDT Logic, we identify pruning strategies for the solution space, and give a sound and complete algorithm to find minimal solutions to the abduction problem.
Original languageEnglish
Title of host publicationAI 2015: Advances in Artificial Intelligence
EditorsBernhard Pfahringer, Jochen Renz
Number of pages13
Volume9457
Place of PublicationCham
PublisherSpringer International Publishing
Publication date22.11.2015
Pages398-410
ISBN (Print)978-3-319-26349-6
ISBN (Electronic)978-3-319-26350-2
DOIs
Publication statusPublished - 22.11.2015
Event28th Australasian Joint Conference on Artificial Intelligence - Canberra, Australia
Duration: 30.11.201504.12.2015
Conference number: 157849

DFG Research Classification Scheme

  • 4.43-01 Theoretical Computer Science

Fingerprint

Dive into the research topics of 'Abduction in PDT Logic'. Together they form a unique fingerprint.

Cite this