Abstract
In this proposal, we introduce Bayesian Abductive Logic Programs (BALP), a probabilistic logic that adapts Bayesian Logic Programs (BLPs) for abductive reasoning. Like BLPs, BALPs also com-bine first-order logic and Bayes nets.However, unlike BLPs, which use de-duction to construct Bayes nets, BALPs employ logical abduction. As a result,BALPs are more suited for problems like plan/activity recognition that require ab-ductive reasoning. In order to demon-strate the efficacy of BALPs, we apply it to two abductive reasoning tasks – plan recognition and natural language under-standing