ACUOS2

A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance

María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, Jose Meseguer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationLogics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings
EditorsFrancesco Calimeri, Nicola Leone, Marco Manna
PublisherSpringer-Verlag
Pages171-181
Number of pages11
ISBN (Print)9783030195694
DOIs
StatePublished - Jan 1 2019
Event16th European Conference on Logics in Artificial Intelligence, JELIA 2019 - Rende, Italy
Duration: May 7 2019May 11 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11468 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference16th European Conference on Logics in Artificial Intelligence, JELIA 2019
CountryItaly
CityRende
Period5/7/195/11/19

Fingerprint

High Performance
Artificial intelligence
Associativity
Computing
Multiset
Commutativity
Minimal Set
Axioms
Artificial Intelligence
Generalization
Experimental Results
Demonstrate

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Alpuente, M., Ballis, D., Cuenca-Ortega, A., Escobar, S., & Meseguer, J. (2019). ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. In F. Calimeri, N. Leone, & M. Manna (Eds.), Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings (pp. 171-181). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11468 LNAI). Springer-Verlag. https://doi.org/10.1007/978-3-030-19570-0_11

ACUOS2 : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. / Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, Jose.

Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings. ed. / Francesco Calimeri; Nicola Leone; Marco Manna. Springer-Verlag, 2019. p. 171-181 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11468 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Alpuente, M, Ballis, D, Cuenca-Ortega, A, Escobar, S & Meseguer, J 2019, ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. in F Calimeri, N Leone & M Manna (eds), Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11468 LNAI, Springer-Verlag, pp. 171-181, 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, Rende, Italy, 5/7/19. https://doi.org/10.1007/978-3-030-19570-0_11
Alpuente M, Ballis D, Cuenca-Ortega A, Escobar S, Meseguer J. ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. In Calimeri F, Leone N, Manna M, editors, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings. Springer-Verlag. 2019. p. 171-181. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-19570-0_11
Alpuente, María ; Ballis, Demis ; Cuenca-Ortega, Angel ; Escobar, Santiago ; Meseguer, Jose. / ACUOS2 : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings. editor / Francesco Calimeri ; Nicola Leone ; Marco Manna. Springer-Verlag, 2019. pp. 171-181 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{4989df8474a64a9a9a812677a69d00e7,
title = "ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance",
abstract = "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.",
author = "Mar{\'i}a Alpuente and Demis Ballis and Angel Cuenca-Ortega and Santiago Escobar and Jose Meseguer",
year = "2019",
month = "1",
day = "1",
doi = "10.1007/978-3-030-19570-0_11",
language = "English (US)",
isbn = "9783030195694",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "171--181",
editor = "Francesco Calimeri and Nicola Leone and Marco Manna",
booktitle = "Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings",

}

TY - GEN

T1 - ACUOS2

T2 - A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance

AU - Alpuente, María

AU - Ballis, Demis

AU - Cuenca-Ortega, Angel

AU - Escobar, Santiago

AU - Meseguer, Jose

PY - 2019/1/1

Y1 - 2019/1/1

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

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-Verlag

ER -