{"type":"ScholarlyArticle","title":"An Overview of an Automatically Compilable Hierarchical Definition Matcher","authors":[{"name":"Barbara C. Sangster","slug":"barbara-c-sangster","given":"Barbara C.","family":"Sangster","affiliation":"Laboratory for Computer Science Research Rutgers University New Brunswick , N.J. 08903"}],"abstract":"The problem addressed in this paper is that of determining whether the conditions expressed in the definition of a concept are satisfied by a set of assertions (a task of attempting to match the assertions to the definition). The approach presented here is to precede the matching activity proper with a one-time preprocessing phase, during which the definition is automatically transformed from a rather complex form in which it is originally expressed into a simpler form which appears to be more suitable to the matching task at hand. Use of this transformation process permits the functions of recognition and interPretation to be separated, thereby improving the efficiency of the matching process. This separation is performed by distinguishing those components of the definition which ~ ll ~ .t2. ll ~ from those whose truth may subsequently be inferred and those whose truth is irreleyant to the matching process. The transformation is performed by means of a process of symbolic instantiation of the definition the translation of the definition from a set of criteria for satisfying the definition into an exemplary instance of the concept itself. The algorithm for the transformation and the subsequent matching process are outlined and illustrated in the text.","doi":null,"url":"https://ijcai.org/proceedings/1979/165","pdf":"https://ijcai.org/proceedings/1979/0165.pdf","markdown":"https://ijcai.org/proceedings/1979/165.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/165","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":165,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Freuder, E. C. 1978. Constraint Expressions\". ..c.M;H, 958-966.","title":"Constraint Expressions","authors":"E C Freuder","year":"1978","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Haralick, B. H. and L. 1979. \"lbe Consistent Labelling I\" . .1m Transactions 2n. .fAHI., 173-184. \"Synthesizing vol. 21, pp.","title":"lbe Consistent Labelling I","authors":"B H Haralick, L","year":"1979","venue":"Synthesizing","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"G. Shapiro. Problem: Part vol. 1, pp.","title":"Problem: Part","authors":"G Shapiro","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Hayes-Roth, F. and D. J. Hostow. 1975. \"An Automatically Compilable Recognition Network for Structured Patterns\". Proceedings ~ IJCAI-75, vol. 1, pp. 246-251.","title":"An Automatically Compilable Recognition Network for Structured Patterns","authors":"F Hayes-Roth, D J Hostow","year":"1975","venue":"Proceedings ~ IJCAI-75","doi":null,"url":null,"internal_url":"/proceedings/1975/38"},{"position":5,"raw":"McCarty, L. T. 1977. \"Reflections on TAXMAN: An Experiment in Artificial Intelligence and Legal Reasoning\". Haryard .l.oil! ~. vol. 90, pp. 837-893.","title":"Reflections on TAXMAN: An Experiment in Artificial Intelligence and Legal Reasoning","authors":"L T Mccarty","year":"1977","venue":"Haryard .l.oil!","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"McCarty, L. T., N. S. Sridharap, and B. C. Sangster. 1979. \"lbe ~plementation of TAXMAN II: An Experiment in Artificial Intelligence and Legal Reasoning\". Rutgers University Report #LCSR-TR-3.","title":"lbe ~plementation of TAXMAN II: An Experiment in Artificial Intelligence and Legal Reasoning","authors":"L T Mccarty, N S Sridharap, B C Sangster","year":"1979","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Sangster, B. C. 1979a. \"An Automatically Compilable Hierarchical Definition Hatcher\". Rutgers University Report #LRP-TR-3.","title":"An Automatically Compilable Hierarchical Definition Hatcher","authors":"B C Sangster","year":"1979","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Sangster, B. C. 1979b. \"On the Automatic SECOND-CONTEXT >> CBGO) Enter MAKEFULLLIST: Transformation of Class Membership Criteria\". Proceedings ~ ~ ..l.ll.b. Annual Meeting ~ .t.B Association ~ Qomputational Linguistics. Univ. of California at San Diego, La Jolla, CA.","title":"On the Automatic SECOND-CONTEXT >> CBGO) Enter MAKEFULLLIST: Transformation of Class Membership Criteria","authors":"B C Sangster","year":"1979","venue":"Proceedings ~ ~ ..l.ll.b. Annual Meeting ~ .t.B Association ~ Qomputational Linguistics. Univ. of California","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Sridharan, N. S. Manual, Version 2.\" #CBH-TR-89. (ed.) 1978a. \"AIHDS User Rutgers University Report","title":"Version 2","authors":"N S Sridharan","year":"1978","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Sridharan, N. S. 1978b. \"Some Relationships between BELIEVER and TAXHAN\". Rutgers University Report #LCSR-TR-2.","title":"Some Relationships between BELIEVER and TAXHAN","authors":"N S Sridharan","year":"1978","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Sridharan, N. S. and C. F. Schmidt. 1978. \"Knowledge-Directed Inference in Believer\". In fattern-Directed !nference Systems, ed.","title":"Knowledge-Directed Inference in Believer","authors":"N S Sridharan, C F Schmidt","year":"1978","venue":"fattern-Directed !nference Systems","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"by D. Waterman and F. Hayes-Roth.","title":null,"authors":"D Waterman, F Hayes-Roth","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"Srinivasan, C. V. 1976. \"lbe Architecture of Coherent . Information System: A General Problem Solving System\". JEEE transactions 2n. Qomputers, vol. 25, pp. 390-402.","title":"lbe Architecture of Coherent . Information System: A General Problem Solving System","authors":"C V Srinivasan","year":"1976","venue":"JEEE transactions 2n. Qomputers","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"Touretzky, D. 1978. Examples • in a Frame-Based University Report #CBH-TR-87. \"Learning from System\". Rutgers","title":"Examples • in a Frame-Based University Report #CBH-TR-87","authors":"D Touretzky","year":"1978","venue":"Learning from System","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"Woods, W. A. 1975. \"What's in a Link: Foundations for Semantic Networks\". In Representation~ Qnderstanding, ed. by D. G. Bobrow and A. Collins. Academic Press. ! PROTS = CC1 C2) CT2 T4 T5> CT2 T4 T5)) CC1 C2) CT2 T4 T5> CT2 T4 T5))