Mostrar el registro sencillo del ítem
dc.contributor.author | Alpuente, María | es_ES |
dc.contributor.author | Escobar, Santiago | es_ES |
dc.contributor.author | Espert, Javier | es_ES |
dc.contributor.author | Meseguer, José | es_ES |
dc.date.accessioned | 2014-07-16T10:50:05Z | |
dc.date.available | 2014-07-16T10:50:05Z | |
dc.date.issued | 2014-07-16 | |
dc.identifier.uri | http://hdl.handle.net/10251/38854 | |
dc.description.abstract | Computing generalizers is relevant in a wide spectrum of automated reasoning areas where analogical reasoning and inductive inference are needed. The ACUOS system computes a complete and minimal set of semantic generalizers (also called \anti-uni ers") of two structures in a typed language modulo a set of equational axioms. By supporting types and any combination of associativity (A), commutativity (C), and unity (U) algebraic axioms for function symbols, ACUOS allows reasoning about typed data structures, e.g. lists, trees, and (multi-)sets, and typical hierarchical/structural relations such as is a and part of. This paper discusses the modular ACU generalization tool ACUOS and illustrates its use in a classical arti ficial intelligence problem. | es_ES |
dc.language | Español | es_ES |
dc.publisher | Universitat Politècnica de València | es_ES |
dc.rights | Reserva de todos los derechos | es_ES |
dc.subject | Equational generalization, Automated reasoning | es_ES |
dc.title | ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (extended version) | es_ES |
dc.type | Informe | es_ES |
dc.rights.accessRights | Abierto | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació | es_ES |
dc.description.bibliographicCitation | Alpuente, M.; Escobar, S.; Espert, J.; Meseguer, J. (2014). ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (extended version). http://hdl.handle.net/10251/38854 | es_ES |