TY - GEN
T1 - ACUOS2
T2 - 16th European Conference on Logics in Artificial Intelligence, JELIA 2019
AU - Alpuente, María
AU - Ballis, Demis
AU - Cuenca-Ortega, Angel
AU - Escobar, Santiago
AU - Meseguer, José
N1 - Publisher Copyright:
© 2019, Springer Nature Switzerland AG.
PY - 2019
Y1 - 2019
N2 - Generalization in order-sorted theories with any combination of associativity (A), commutativity (C), and unity (U) algebraic axioms is finitary. However, existing tools for computing generalizers (also called “anti-unifiers”) of two typed structures in such theories do not currently scale to real size problems. This paper describes the ACUOS2 system that achieves high performance when computing a complete and minimal set of least general generalizations in these theories. We discuss how it can be used to address artificial intelligence (AI) problems that are representable as order-sorted ACU generalization, e.g., generalization in lists, trees, (multi-)sets, and typical hierarchical/structural relations. Experimental results demonstrate that ACUOS2 greatly outperforms the predecessor tool ACUOS by running up to five orders of magnitude faster.
AB - Generalization in order-sorted theories with any combination of associativity (A), commutativity (C), and unity (U) algebraic axioms is finitary. However, existing tools for computing generalizers (also called “anti-unifiers”) of two typed structures in such theories do not currently scale to real size problems. This paper describes the ACUOS2 system that achieves high performance when computing a complete and minimal set of least general generalizations in these theories. We discuss how it can be used to address artificial intelligence (AI) problems that are representable as order-sorted ACU generalization, e.g., generalization in lists, trees, (multi-)sets, and typical hierarchical/structural relations. Experimental results demonstrate that ACUOS2 greatly outperforms the predecessor tool ACUOS by running up to five orders of magnitude faster.
UR - http://www.scopus.com/inward/record.url?scp=85065977923&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85065977923&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-19570-0_11
DO - 10.1007/978-3-030-19570-0_11
M3 - Conference contribution
AN - SCOPUS:85065977923
SN - 9783030195694
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 171
EP - 181
BT - Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings
A2 - Calimeri, Francesco
A2 - Leone, Nicola
A2 - Manna, Marco
PB - Springer
Y2 - 7 May 2019 through 11 May 2019
ER -