Detecting Modular ACU Structural Symmetries

5 pages•Published: July 29, 2013

María Alpuente, Santiago Escobar and Javier Espert

Abstract

We present an efficient encoding of order-sorted modular ACU terms into colored directed graphs. Then, by computing the automorphism groups of the encoded graphs, we are able to extract ACU structural symmetries both inside a term and across a set of terms. Finally, we show how the computed symmetries can be applied to the optimization of the equational generalization algorithms for modular ACU theories.

Keyphrases: equational generalization, graph automorphism, structural symmetries

In: Konstantin Korovin and Barbara Morawska (editors). UNIF 2013. 27th International Workshop on Unification, vol 19, pages 3-7.

Links:	https://easychair.org/publications/paper/F6q
	https://doi.org/10.29007/mzj3

BibTeX entry

@inproceedings{UNIF2013:Detecting_Modular_ACU_Structural,
  author    = {María Alpuente and Santiago Escobar and Javier Espert},
  title     = {Detecting Modular ACU Structural Symmetries},
  booktitle = {UNIF 2013. 27th International Workshop on Unification},
  editor    = {Konstantin Korovin and Barbara Morawska},
  series    = {EPiC Series in Computing},
  volume    = {19},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/F6q},
  doi       = {10.29007/mzj3},
  pages     = {3-7},
  year      = {2013}}

Download PDF Open PDF in browser