Abstract
Probabilistic Logic Networks (PLN) offers an excellent theory to frame learning and planning as a form of reasoning. This paper offers a complement to the seminal PLN book [3], in particular to its Chapter 14 on temporal and procedural reasoning, by providing formal definitions of temporal constructs, as well as inference rules necessary to carry temporal and procedural reasoning.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
because links can point to links, not just nodes.
- 2.
To be precise, \(\mathcal {P}r(Q|P)\) should be \(\mathcal {P}r(\mathcal {S}at(Q)|\mathcal {S}at(P))\), where \(\mathcal {S}at(P)\) and \(\mathcal {S}at(Q)\) are the satisfying sets of P and Q respectively.
- 3.
A perfectly reliable piece of evidence has a confidence of 1. Dealing with unreliable evidence involves using convolution products and is outside of the scope of this paper.
References
Abourizk, S., Halpin, D., Wilson, J.: Fitting beta distributions based on sample data. J. Constr. Eng. Manag. 120, 288–305 (1994)
Geisweiller, N., Yusuf, H.: Rational OpenCog controlled agent. In: Hammer, P., et al. (eds.) AGI 2023. LNAI, vol. 13921, pp. xx–yy. Springer, Cham (2023)
Goertzel, B., Ikle, M., Goertzel, I.F., Heljakka, A.: Probabilistic Logic Networks. Springer, New York (2009). https://doi.org/10.1007/978-0-387-76872-4
Goertzel, B., et al.: Cognitive synergy between procedural and declarative learning in the control of animated and robotic agents using the OpenCogPrime AGI architecture. In: Proceedings of the AAAI Conference on Artificial Intelligence (2011)
Jøsang, A.: Subjective Logic: A Formalism for Reasoning Under Uncertainty, 1st edn. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42337-1
Pearl, J.: Causal diagrams for empirical research. Biometrika 82, 669–688 (1995)
Prior, A.N.: Past, Present and Future. Clarendon Press, Oxford (1967)
Shanahan, M.: The event calculus explained. In: Wooldridge, M.J., Veloso, M. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409–430. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48317-9_17
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Geisweiller, N., Yusuf, H. (2023). Probabilistic Logic Networks for Temporal and Procedural Reasoning. In: Hammer, P., Alirezaie, M., Strannegård, C. (eds) Artificial General Intelligence. AGI 2023. Lecture Notes in Computer Science(), vol 13921. Springer, Cham. https://doi.org/10.1007/978-3-031-33469-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-031-33469-6_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-33468-9
Online ISBN: 978-3-031-33469-6
eBook Packages: Computer ScienceComputer Science (R0)