Abduction in PDT Logic

Karsten Martiny; Ralf Möller

doi:10.1007/978-3-319-26350-2_35

Abduction in PDT Logic

Institute of Information Systems

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 language	English
Title of host publication	AI 2015: Advances in Artificial Intelligence
Editors	Bernhard Pfahringer, Jochen Renz
Number of pages	13
Volume	9457
Place of Publication	Cham
Publisher	Springer International Publishing
Publication date	22.11.2015
Pages	398-410
ISBN (Print)	978-3-319-26349-6
ISBN (Electronic)	978-3-319-26350-2
DOIs	https://doi.org/10.1007/978-3-319-26350-2_35
Publication status	Published - 22.11.2015
Event	28th Australasian Joint Conference on Artificial Intelligence - Canberra, Australia Duration: 30.11.2015 → 04.12.2015 Conference number: 157849

DFG Research Classification Scheme

4.43-01 Theoretical Computer Science

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/978-3-319-26350-2_35

https://www.ifis.uni-luebeck.de/uploads/tx_wapublications/MaMoe2015b-public.pdf

Cite this

@inproceedings{48d56620149240ba9c1f1041bd3a8a65,

title = "Abduction in PDT Logic",

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.",

author = "Karsten Martiny and Ralf M{\"o}ller",

year = "2015",

month = nov,

day = "22",

doi = "10.1007/978-3-319-26350-2_35",

language = "English",

isbn = "978-3-319-26349-6",

volume = "9457",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing",

pages = "398--410",

editor = "Bernhard Pfahringer and Jochen Renz",

booktitle = "AI 2015: Advances in Artificial Intelligence",

note = "28th Australasian Joint Conference on Artificial Intelligence, AI 2015 ; Conference date: 30-11-2015 Through 04-12-2015",

}

Martiny, K & Möller, R 2015, Abduction in PDT Logic. in B Pfahringer & J Renz (eds), AI 2015: Advances in Artificial Intelligence. vol. 9457, Lecture Notes in Computer Science, vol. 9457, Springer International Publishing, Cham, pp. 398-410, 28th Australasian Joint Conference on Artificial Intelligence, Canberra, Australian Capital Territory, Australia, 30.11.15. https://doi.org/10.1007/978-3-319-26350-2_35

TY - GEN

T1 - Abduction in PDT Logic

AU - Martiny, Karsten

AU - Möller, Ralf

N1 - Conference code: 157849

PY - 2015/11/22

Y1 - 2015/11/22

N2 - 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.

AB - 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.

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-84952665276&origin=inward&txGid=d01116d702a6239017096f65f92b2470

U2 - 10.1007/978-3-319-26350-2_35

DO - 10.1007/978-3-319-26350-2_35

M3 - Conference contribution

SN - 978-3-319-26349-6

VL - 9457

T3 - Lecture Notes in Computer Science

SP - 398

EP - 410

BT - AI 2015: Advances in Artificial Intelligence

A2 - Pfahringer, Bernhard

A2 - Renz, Jochen

PB - Springer International Publishing

CY - Cham

T2 - 28th Australasian Joint Conference on Artificial Intelligence

Y2 - 30 November 2015 through 4 December 2015

ER -

Abduction in PDT Logic

Abstract

DFG Research Classification Scheme

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this