Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

30

AUSAI
2015
Springer

favoriteEmaildiscussreport

34views Artificial Intelligence» more AUSAI 2015»

Abduction in PDT Logic

8 years 6 months ago

Abduction in PDT Logic

Download www.ifis.uni-luebeck.de

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 ﬁnd minimal solutions to the abduction problem.

Karsten Martiny, Ralf Möller

Real-time Traffic

Artificial Intelligence | AUSAI 2015 |

claim paper

Related Content

» A Causal Theory of Abduction

» Runtime Addition of Integrity Constraints in an Abductive Proof Procedure

» An Algorithm for Learning Abductive Rules

» Abductive Logic Programming by Nonground Rewrite Systems

» Preferential theory revision

» Integration of Abductive Reasoning and Constraint Optimization in SCIFF

» A System for Abductive Learning of Logic Programs

» Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes

» Labeled Sequent Calculi for Access Control Logics Countermodels Saturation and Abduction

» A Tableauxbased calculus for Abduction in Expressive Description Logics Preliminary Result...

Post Info
More Details (n/a)

Added	16 Apr 2016
Updated	16 Apr 2016
Type	Journal
Year	2015
Where	AUSAI
Authors	Karsten Martiny, Ralf Möller

Comments (0)