Document Open Access Logo

Probabilistic Action Language pBC+

Author Yi Wang



PDF
Thumbnail PDF

File

OASIcs.ICLP.2018.15.pdf
  • Filesize: 495 kB
  • 12 pages

Document Identifiers

Author Details

Yi Wang
  • Arizona State University, School of Computing, Informatics, and Decision Systems Engineering, Fulton Schools of Engineering, Arizona State University, P.O. Box 878809, Tempe, AZ 85287-8809, United States

Cite AsGet BibTex

Yi Wang. Probabilistic Action Language pBC+. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 15:1-15:12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/OASIcs.ICLP.2018.15

Abstract

We present an ongoing research on a probabilistic extension of action language BC+. Just like BC+ is defined as a high-level notation of answer set programs for describing transition systems, the proposed language, which we call pBC+, is defined as a high-level notation of LP^{MLN} programs - a probabilistic extension of answer set programs. As preliminary results accomplished, we illustrate how probabilistic reasoning about transition systems, such as prediction, postdiction, and planning problems, as well as probabilistic diagnosis for dynamic domains, can be modeled in pBC+ and computed using an implementation of LP^{MLN}. For future work, we plan to develop a compiler that automatically translates pBC+ description into LP^{MLN} programs, as well as parameter learning in probabilistic action domains through LP^{MLN} weight learning. We will work on defining useful extensions of pBC+ to facilitate hypothetical/counterfactual reasoning. We will also find real-world applications, possibly in robotic domains, to empirically study the performance of this approach to probabilistic reasoning in action domains.

Subject Classification

ACM Subject Classification
  • Computing methodologies → Knowledge representation and reasoning
Keywords
  • action language
  • probabilistic reasoning
  • LP^{MLN}

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Joseph Babb and Joohyung Lee. Cplus 2ASP: Computing Action Language C+ in Answer Set Programming. In LPNMR, 2013. Google Scholar
  2. Joseph Babb and Joohyung Lee. Action language BC+. Journal of Logic and Computation, page exv062, 2015. URL: http://dx.doi.org/10.1093/logcom/exv062.
  3. Marcello Balduccini and Michael Gelfond. Diagnostic reasoning with A-Prolog. Theory and Practice of Logic Programming, 3:425-461, 2003. Google Scholar
  4. Chitta Baral, Michael Gelfond, and Nelson Rushton. Probabilistic Reasoning With Answer Sets. In Logic Programming and Nonmonotonic Reasoning, pages 21-33, Berlin, Heidelberg, 2004. Springer Berlin Heidelberg. Google Scholar
  5. Chitta Baral, Sheila Mcilraith, and Tran Son. Formulating Diagnostic Problem Solving Using an Action Language With Narratives and Sensing. In KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pages 311-322, April 2000. Google Scholar
  6. Chitta Baral, Nam Tran, and Le-Chi Tuan. Reasoning about actions in a probabilistic setting. In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), pages 507-512, 2002. Google Scholar
  7. Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, and Rob Miller. Foundations for a Probabilistic Event Calculus. CoRR, abs/1703.06815, 2017. URL: http://arxiv.org/abs/1703.06815.
  8. Thomas Eiter and Thomas Lukasiewicz. Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories. In Proceedings Nineteenth Conference on Uncertainty in Artificial Intelligence (UAI-2003), pages 192-199. Morgan Kaufmann Publishers, 2003. Google Scholar
  9. Michael Gelfond and Vladimir Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17:301-322, 1993. Google Scholar
  10. Michael Gelfond and Vladimir Lifschitz. Action languages. Electronic Transactions on Artificial Intelligence, 3:195-210, 1998. URL: http://www.ep.liu.se/ea/cis/1998/016/.
  11. Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, and Hudson Turner. Nonmonotonic causal theories. Artificial Intelligence, 153(1-2):49-104, 2004. Google Scholar
  12. Enrico Giunchiglia and Vladimir Lifschitz. An action language based on causal explanation: Preliminary report. In Proceedings of National Conference on Artificial Intelligence (AAAI), pages 623-630. AAAI Press, 1998. Google Scholar
  13. Gero Iwan. History-based diagnosis templates in the framework of the situation calculus. AI Communications, 15(1):31-45, 2002. Google Scholar
  14. Joohyung Lee, Vladimir Lifschitz, and Fangkai Yang. Action Language BC: Preliminary Report. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2013. Google Scholar
  15. Joohyung Lee and Yunsong Meng. Answer Set Programming Modulo Theories and Reasoning about Continuous Changes. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2013. Google Scholar
  16. Joohyung Lee, Samidh Talsania, and Yi Wang. Computing LPMLN using ASP and MLN solvers. Theory and Practice of Logic Programming, 2017. URL: http://dx.doi.org/10.1017/S1471068417000400.
  17. Joohyung Lee and Yi Wang. Weighted Rules under the Stable Model Semantics. In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 145-154, 2016. Google Scholar
  18. Anastasios Skarlatidis, Georgios Paliouras, George A Vouros, and Alexander Artikis. Probabilistic event calculus based on markov logic networks. In Rule-Based Modeling and Computing on the Semantic Web, pages 155-170. Springer, 2011. Google Scholar
  19. Håkan LS Younes and Michael L Littman. PPDDL1. 0: An extension to PDDL for expressing planning domains with probabilistic effects, 2004. Google Scholar
  20. Weijun Zhu. PLOG: Its Algorithms and Applications. PhD thesis, Texas Tech University, 2012. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail