Can I read ACUOS: Modular Generalization System on EtoBox?
ACUOS: Modular Generalization System by malpuente is a document available to read on EtoBox.
What is ACUOS: Modular Generalization System about?
The ACUOS system computes a complete and minimal set of semantic generalizers for structures in a typed language, addressing limitations of ordinary generalization by supporting types and algebraic axioms. It is applicable in various AI domains, including analogy making and machine learning, and is implemented in the high-performance language Maude. The paper discusses the system
- Author
- malpuente
- Language
- EN