Abstract
This paper discusses diagnosis of industrial data processing pipelines using action languages. Solving the problem requires reasoning about actions, effects of the actions and mechanisms for accessing outside data sources. To satisfy these requirements, we introduce an action language, Hybrid \(\mathcal {AL}E\) that combines elements of the action language Hybrid \(\mathcal {AL}\) [6] and the action language \(C_{TAID}\) [8]. We discuss some of the practical aspects of implementing Hybrid \(\mathcal {AL}E\) and describe an example of its use.
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
References
Balduccini, M., Gelfond, M.: Diagnostic reasoning with A-Prolog. TPLP 3(4–5), 425–461 (2003)
Baral, C., Chancellor, K., Nam, T.H., Tran, N., Joy, A.M., Berens, M.E.: A knowledge based approach for representing and reasoning about signaling networks. In: Proceedings Twelfth International Conference on Intelligent Systems for Molecular Biology/Third European Conference on Computational Biology 2004, 31 July–4 August 2004, Glasgow, UK, pp. 15–22 (2004)
Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Minker, J. (ed.) Logic Based Artificial Intelligence, vol. 597, pp. 257–279. Springer, Boston (2000). https://doi.org/10.1007/978-1-4615-1567-8_12
Brik, A., Remmel, J.B.: Hybrid ASP. In: Gallagher, J.P., Gelfond, M. (eds.) ICLP (Technical Communications). LIPIcs, vol. 11, pp. 40–50. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)
Brik, A., Remmel, J.B.: Computing a finite horizon optimal strategy using hybrid ASP. In: NMR (2012)
Brik, A., Remmel, J.: Action language hybrid AL. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 322–335. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61660-5_29
Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell. 50(3–4), 333–361 (2007)
Dworschak, S., Grell, S., Nikiforova, V.J., Schaub, T., Selbig, J.: Modeling biological networks by action languages via answer set programming. Constraints 13(1–2), 21–65 (2008)
Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI 2005, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, 30 July–5 August 2005, Edinburgh, Scotland, UK, pp. 90–96. Professional Book Center (2005)
Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.T.: Potassco: the potsdam answer set solving collection. AI Commun. 24(2), 107–124 (2011)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP/SLP, pp. 1070–1080 (1988)
Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell. 2, 193–210 (1998)
Lifschitz, V.: Answer set programming and plan generation. Artif. Intell. 138(1–2), 39–54 (2002)
Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. TPLP 8(2), 129–165 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Bomanson, J., Brik, A. (2019). Diagnosing Data Pipeline Failures Using Action Languages. In: Balduccini, M., Lierler, Y., Woltran, S. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2019. Lecture Notes in Computer Science(), vol 11481. Springer, Cham. https://doi.org/10.1007/978-3-030-20528-7_14
Download citation
DOI: https://doi.org/10.1007/978-3-030-20528-7_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-20527-0
Online ISBN: 978-3-030-20528-7
eBook Packages: Computer ScienceComputer Science (R0)