ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-11558-0_40Computing 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-unifiers”) of two structures in a typed language modulo a set of equational axioms. By supporting types and any (modular) 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 artificial intelligence problem.This work has been partially supported by the EU (FEDER) and the Spanish MINECO under grants TIN 2010-21062-C02-02 and TIN 2013-45732-C4-1-P, by Generalitat Valenciana PROMETEO2011/052, and by NSF Grant CNS 13-10109. J. Espert has also been supported by the Spanish FPU grant FPU12/06223.Alpuente Frasnedo, M.; Escobar Román, S.; Espert Real, J.; Meseguer, J. (2014). ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. En Logics in Artificial Intelligence. Springer. 573-581. https://doi.org/10.1007/978-3-319-11558-0_40S573581Alpuente, M., Escobar, S., Espert, J., Meseguer, J.: A Modular Order-sorted Equational Generalization Algorithm. Information and Computation 235, 98–136 (2014)Alpuente, M., Escobar, S., Meseguer, J., Ojeda, P.: A Modular Equational Generalization Algorithm. In: Hanus, M. (ed.) LOPSTR 2008. LNCS, vol. 5438, pp. 24–39. Springer, Heidelberg (2009)Alpuente, M., Escobar, S., Meseguer, J., Ojeda, P.: Order–Sorted Generalization. ENTCS 246, 27–38 (2009)Alpuente, M., Espert, J., Escobar, S., Meseguer, J.: ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. Tech. rep., DSIC-UPV (2013), http://www.dsic.upv.es/users/elp/papers.htmlArmengol, E.: Usages of Generalization in Case-Based Reasoning. In: Weber, R.O., Richter, M.M. (eds.) ICCBR 2007. LNCS (LNAI), vol. 4626, pp. 31–45. Springer, Heidelberg (2007)Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.L.: Reflection, metalevel computation, and strategies. In: All About Maude [6], pp. 419–458Gentner, D.: Structure-Mapping: A Theoretical Framework for Analogy*. Cognitive Science 7(2), 155–170 (1983)Krumnack, U., Schwering, A., Gust, H., Kühnberger, K.-U.: Restricted higher order anti unification for analogy making. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 273–282. Springer, Heidelberg (2007)Kutsia, T., Levy, J., Villaret, M.: Anti-Unification for Unranked Terms and Hedges. Journal of Automated Reasoning 520, 155–190 (2014)Meseguer, J.: Conditioned rewriting logic as a united model of concurrency. Theor. Comput. Sci. 96(1), 73–155 (1992)Muggleton, S.: Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic. Artif. Intell. 114(1-2), 283–296 (1999)Ontañón, S., Plaza, E.: Similarity measures over refinement graphs. Machine Learning 87(1), 57–92 (2012)Plotkin, G.: A note on inductive generalization. In: Machine Intelligence, vol. 5, pp. 153–163. Edinburgh University Press (1970)Pottier, L.: Generalisation de termes en theorie equationelle: Cas associatif-commutatif. Tech. Rep. INRIA 1056, Norwegian Computing Center (1989)Schmid, U., Hofmann, M., Bader, F., Häberle, T., Schneider, T.: Incident Mining using Structural Prototypes. In: García-Pedrajas, N., Herrera, F., Fyfe, C., Benítez, J.M., Ali, M. (eds.) IEA/AIE 2010, Part II. LNCS, vol. 6097, pp. 327–336. Springer, Heidelberg (2010

Algorithmic aspects of theory blending

In Cognitive Science, conceptual blending has been proposed as an important cognitive mechanism that facilitates the creation of new concepts and ideas by constrained combination of available knowledge. It thereby provides a possible theoretical foundation for modeling high-level cognitive faculties such as the ability to understand, learn, and create new concepts and theories. This paper describes a logic-based framework which allows a formal treatment of theory blending, discusses algorithmic aspects of blending within the framework, and provides an illustrating worked out example from mathematics

When almost is not even close: Remarks on the approximability of HDTP

A growing number of researchers in Cognitive Science advocate the thesis that human cognitive capacities are constrained by computational tractability. If right, this thesis also can be expected to have far-reaching consequences for work in Artificial General Intelligence: Models and systems considered as basis for the development of general cognitive architectures with human-like performance would also have to comply with tractability constraints, making in-depth complexity theoretic analysis a necessary and important part of the standard research and development cycle already from a rather early stage. In this paper we present an application case study for such an analysis based on results from a parametrized complexity and approximation theoretic analysis of the Heuristic Driven Theory Projection (HDTP) analogy-making framework

Theory blending: extended algorithmic aspects and examples

In Cognitive Science, conceptual blending has been proposed as an important cognitive mechanism that facilitates the creation of new concepts and ideas by constrained combination of available knowledge. It thereby provides a possible theoretical foundation for modeling high-level cognitive faculties such as the ability to understand, learn, and create new concepts and theories. Quite often the development of new mathematical theories and results is based on the combination of previously independent concepts, potentially even originating from distinct subareas of mathematics. Conceptual blending promises to offer a framework for modeling and re-creating this form of mathematical concept invention with computational means. This paper describes a logic-based framework which allows a formal treatment of theory blending (a subform of the general notion of conceptual blending with high relevance for applications in mathematics), discusses an interactive algorithm for blending within the framework, and provides several illustrating worked examples from mathematics

Search for a narrow charmed baryonic state decaying to D^*+/- p^-/+ in ep collisions at HERA

A resonance search has been made in the D^*+/- p^-/+ invariant-mass spectrum with the ZEUS detector at HERA using an integrated luminosity of 126 pb^-1. The decay channels D^*+ -> D^0 pi^+_s -> (K^- pi^+) pi^+_s and D^*+ -> D^0 pi^+_s -> (K^- pi^+ pi^+ pi^-) pi^+_s (and the corresponding antiparticle decays) were used to identify D^*+/- mesons. No resonance structure was observed in the D^*+/- p^-/+ mass spectrum from more than 60000 reconstructed D^*+/- mesons. The results are not compatible with a report of the H1 Collaboration of a charmed pentaquark, Theta^0_c.Comment: 22 pages, 7 figures, 1 table; minor text revisions; 2 references adde

Search for lepton-flavor violation at HERA

A search for lepton-flavor-violating interactions $e p \to \mu X$ and $e p\to \tau X$ has been performed with the ZEUS detector using the entire HERA I data sample, corresponding to an integrated luminosity of 130 pb^{-1}. The data were taken at center-of-mass energies, $\sqrt{s}$, of 300 and 318 GeV. No evidence of lepton-flavor violation was found, and constraints were derived on leptoquarks (LQs) that could mediate such interactions. For LQ masses below $\sqrt{s}$, limits were set on $\lambda_{eq_1} \sqrt{\beta_{\ell q}}$, where $\lambda_{eq_1}$ is the coupling of the LQ to an electron and a first-generation quark $q_1$, and $\beta_{\ell q}$ is the branching ratio of the LQ to the final-state lepton $\ell$ ($\mu$ or $\tau$) and a quark $q$. For LQ masses much larger than $\sqrt{s}$, limits were set on the four-fermion interaction term $\lambda_{e q_\alpha} \lambda_{\ell q_\beta} / M_{\mathrm{LQ}}^2$ for LQs that couple to an electron and a quark $q_\alpha$ and to a lepton $\ell$ and a quark $q_\beta$, where $\alpha$ and $\beta$ are quark generation indices. Some of the limits are also applicable to lepton-flavor-violating processes mediated by squarks in $R$-Parity-violating supersymmetric models. In some cases, especially when a higher-generation quark is involved and for the process $e p\to \tau X$, the ZEUS limits are the most stringent to date.Comment: 37 pages, 10 figures, Accepted by EPJC. References and 1 figure (Fig. 6) adde

Beauty photoproduction measured using decays into muons in dijet events in ep collisions at s\sqrt{s}=318 GeV

The photoproduction of beauty quarks in events with two jets and a muon has been measured with the ZEUS detector at HERA using an integrated luminosity of 110 pb$^{- 1}$. The fraction of jets containing b quarks was extracted from the transverse momentum distribution of the muon relative to the closest jet. Differential cross sections for beauty production as a function of the transverse momentum and pseudorapidity of the muon, of the associated jet and of $x_{\gamma}^{jets}$, the fraction of the photon's momentum participating in the hard process, are compared with MC models and QCD predictions made at next-to-leading order. The latter give a good description of the data.Comment: 32 pages, 6 tables, 7 figures Table 6 and Figure 7 revised September 200

The dependence of dijet production on photon virtuality in ep collisions at HERA

The dependence of dijet production on the virtuality of the exchanged photon, Q^2, has been studied by measuring dijet cross sections in the range 0 < Q^2 < 2000 GeV^2 with the ZEUS detector at HERA using an integrated luminosity of 38.6 pb^-1. Dijet cross sections were measured for jets with transverse energy E_T^jet > 7.5 and 6.5 GeV and pseudorapidities in the photon-proton centre-of-mass frame in the range -3 < eta^jet <0. The variable xg^obs, a measure of the photon momentum entering the hard process, was used to enhance the sensitivity of the measurement to the photon structure. The Q^2 dependence of the ratio of low- to high-xg^obs events was measured. Next-to-leading-order QCD predictions were found to generally underestimate the low-xg^obs contribution relative to that at high xg^obs. Monte Carlo models based on leading-logarithmic parton-showers, using a partonic structure for the photon which falls smoothly with increasing Q^2, provide a qualitative description of the data.Comment: 35 pages, 6 eps figures, submitted to Eur.Phys.J.

Multijet production in neutral current deep inelastic scattering at HERA and determination of alpha_s

Multijet production rates in neutral current deep inelastic scattering have been measured in the range of exchanged boson virtualities 10 < Q2 < 5000 GeV2. The data were taken at the ep collider HERA with centre-of-mass energy sqrt(s) = 318 GeV using the ZEUS detector and correspond to an integrated luminosity of 82.2 pb-1. Jets were identified in the Breit frame using the k_T cluster algorithm in the longitudinally invariant inclusive mode. Measurements of differential dijet and trijet cross sections are presented as functions of jet transverse energy E_{T,B}{jet}, pseudorapidity eta_{LAB}{jet} and Q2 with E_{T,B}{jet} > 5 GeV and -1 < eta_{LAB}{jet} < 2.5. Next-to-leading-order QCD calculations describe the data well. The value of the strong coupling constant alpha_s(M_Z), determined from the ratio of the trijet to dijet cross sections, is alpha_s(M_Z) = 0.1179 pm 0.0013(stat.) {+0.0028}_{-0.0046}(exp.) {+0.0064}_{-0.0046}(th.)Comment: 22 pages, 5 figure

Measurement of charm fragmentation ratios and fractions in photoproduction at HERA

The production of D^*+, D^0, D^+, D_s^+ and Lambda_c^+ charm hadrons and their antiparticles in ep scattering at HERA was measured with the ZEUS detector using an integrated luminosity of 79 pb^-1. The measurement has been performed in the photoproduction regime with the exchanged-photon virtuality Q^2 < 1 GeV^2 and for photon-proton centre-of-mass energies in the range 130 < W < 300 GeV. The charm hadrons were reconstructed in the range of transverse momentum p_T(D, Lambda_c) > 3.8 GeV and pseudorapidity |eta(D, Lambda_c)| < 1.6. The production cross sections were used to determine the ratio of neutral and charged D-meson production rates, R_u/d, the strangeness-suppression factor, gamma_s, and the fraction of charged D mesons produced in a vector state, P_v^d. The measured R_u/d and gamma_s values agree with those obtained in deep inelastic scattering and in e^+e^- annihilations. The measured P_v^d value is smaller than, but consistent with, the previous measurements. The fractions of c quarks hadronising as a particular charm hadron, f(c -> D, Lambda_c), were derived in the given kinematic range. The measured open-charm fragmentation fractions are consistent with previous results, although the measured f(c -> D^*+) is smaller and f(c -> Lambda_c^+) is larger than those obtained in e^+e^- annihilations. These results generally support the hypothesis that fragmentation proceeds independently of the hard sub-process.Comment: 29 pages, 5 figures, 6 tables; minor text revision