Abduction in PDT Logic

Karsten Martiny; Ralf Möller

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

Abduction in PDT Logic

Institut für Informationssysteme

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.

Originalsprache	Englisch
Titel	AI 2015: Advances in Artificial Intelligence
Redakteure/-innen	Bernhard Pfahringer, Jochen Renz
Seitenumfang	13
Band	9457
Erscheinungsort	Cham
Herausgeber (Verlag)	Springer International Publishing
Erscheinungsdatum	22.11.2015
Seiten	398-410
ISBN (Print)	978-3-319-26349-6
ISBN (elektronisch)	978-3-319-26350-2
DOIs	https://doi.org/10.1007/978-3-319-26350-2_35
Publikationsstatus	Veröffentlicht - 22.11.2015
Veranstaltung	28th Australasian Joint Conference on Artificial Intelligence - Canberra, Australien Dauer: 30.11.2015 → 04.12.2015 Konferenznummer: 157849

DFG-Fachsystematik

409-01 Theoretische Informatik

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

Zugriff auf Dokument

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

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

Andere Dateien und Links

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

Zitieren

@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 (Hrsg.), AI 2015: Advances in Artificial Intelligence. Bd. 9457, Lecture Notes in Computer Science, Bd. 9457, Springer International Publishing, Cham, S. 398-410, 28th Australasian Joint Conference on Artificial Intelligence, Canberra, Australian Capital Territory, Australien, 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-Fachsystematik

UN SDGs

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Zitieren