Abstract
Anti-unification guarantees the existence of a term which is an explicit representation of the most specific generalization of a collection of terms. This provides a formal basis for learning from examples. Here we address the dual problem of computing a generalization given a set of counter examples. Unlike learning from examples an explicit, finite representation for the generalization does not always exist. We show that the problem is decidable by providing an algorithm which, given an implicit representation will return a finite explicit representation or report that none exists. Applications of this result to the problem of negation as failure and to the representation of solutions to systems of equations and inequations are also mentioned.
Similar content being viewed by others
References
K. Clark, ‘Negation as Failure’, in H. Gallaire and J. Minker (eds), Logic & Databases, Plenum Press, New York, 1978, pp. 293–322.
A. Colmerauer, ‘Equations and Inequations on Finite and Infinite Trees’, FGCS'84 Proceedings, Nov. 1984, 85–99.
G. Huet, ‘Resolution d'Equations Dans Des Langages D'Ordre 1,2, ..., ω’ (These d'Etat). Universite de Paris VII, Dec. 1976.
G. Huet, ‘Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems’, JACM, 27, No. 4, Oct. 1980, 797–821.
J. Jaffar, J-L. Lassez, and J. Lloyd, ‘Completeness of the Negation-As-Failure Rule’, IJCAI 83, 1983, 500–506.
J-L. Lassez, M. J. Maher, and K. Marriott, ‘Unification Revisited’, Tech. Report, IBM Thomas J. Watson Lab., 1986.
R. S. Michalski, ‘A Theory and Methodology of Inductive Learning’, Artificial Intelligence 20, 1983, 111–161.
T. M. Mitchell, ‘Version Spaces: An Approach to Concept Learning’, Ph.D. Thesis, STAN-CS-78-711, Comp. Science Dept., Stanford University, Dec. 1978.
L. Naish, ‘The MU-Prolog 3.2 Reference Manual’, Tech. Rpt. 85/11, Comp. Science Dept., Melbourne University, 1985.
L. Naish, ‘Negation and Quantifiers in NU-Prolog’, Proc. 3rd Conf. on Logic Programming, July 1986, 624–634.
G. D. Plotkin, ‘A Note on Inductive Generalization’, in B. Meltzer and D. Michie (eds.), Machine Intelligence 5, 1970, 153–163.
G. D. Plotkin, ‘A Further Note on Inductive Generalization’, in B. Meltzer and D. Michie (eds.), Machine Intelligence 6, 1971, 101–124.
J. C. Reynolds, ‘Transformational Systems and the Algebraic Structure of Atomic Formulas’, in B. Meltzer and D. Michie (eds.), Machine Intelligence 5, 1970, 135–152.
J. A. Robinson, ‘A Machine-Oriented Logic Based on the Resolution Principle’, JACM, 12, No. 1, Jan. 1965, 23–41.
S. A. Vere, ‘Multilevel Counterfactuals for Generalization of Relational Concepts and Productions’, Artificial Intelligence 14, 1980, 139–164.
Author information
Authors and Affiliations
Additional information
Research performed while visiting from the: Dept. of Computer Science, University of Melbourne, Parkville 3052, Australia.
Rights and permissions
About this article
Cite this article
Lassez, J.L., Marriott, K. Explicit representation of terms defined by counter examples. J Autom Reasoning 3, 301–317 (1987). https://doi.org/10.1007/BF00243794
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00243794