A deductive clustering approach

Clustering is concerned with grouping a collection of input objects. Conventional clustering algorithms cluster unlabelled objects. We argue that there are useful applications that involve clustering of labelled objects. We propose an approach for clustering of labelled objects. The proposed approach makes use of the domain knowledge represented in the form of a directed acyclic graph for clustering. We also propose a set of proper axioms in logic as a basis for the proposed algorithm. We study some of the properties of the approach such as order-independence and describe in detail an application of the proposed algorithm in the context of document retrieval (62 refs.)

[1]  J. McCarthy,et al.  On the model theory of knowledge , 1978 .

[2]  Robert A. Kowalski,et al.  Algorithm = logic + control , 1979, CACM.

[3]  Zohar Manna,et al.  The Logic of Computer Programming , 1978, IEEE Transactions on Software Engineering.

[4]  Ranan B. Banerji,et al.  The Logic of Learning: A Basis for Pattern Recognition and for Improvement of Performance , 1985, Adv. Comput..

[5]  Richard E. Ladner,et al.  Propositional modal logic of programs , 1977, STOC '77.

[6]  Fionn Murtagh,et al.  Structure of hierarchic clusterings: implications for information retrieval and for multivariate data analysis , 1984, Inf. Process. Manag..

[7]  R. Reiter,et al.  Nonmonotonic reasoning , 1988 .

[8]  Richard C. T. Lee.  Clustering Analysis and Its Applications , 1981 .

[9]  M. Narasimha Murty,et al.  A knowledge-based clustering algorithm , 1991, Pattern Recognit. Lett..

[10]  J. MacQueen.  Some methods for classification and analysis of multivariate observations , 1967 .

[11]  Drew McDermott,et al.  Temporal Data Base Management , 1987, Artif. Intell..

[12]  M. Narasimha Murty,et al.  Clustering algorithms for library comparison , 1991, Pattern Recognit..

[13]  Rohit Parikh.  Propositional Dynamic Logics of Programs: a Survey , 1979, Logic of Programs.

[14]  Douglas H. Fisher.  A hierarchical conceptual clustering algorithm , 1985 .

[15]  Anil K. Jain,et al.  Algorithms for Clustering Data , 1988 .

[16]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[17]  J. Paul Tremblay,et al.  Discrete Mathematical Structures with Applications to Computer Science , 1975 .

[18]  R. Michalski,et al.  Learning from Observation: Conceptual Clustering , 1983 .

[19]  Robert E. Stepp,et al.  Concepts in Conceptual Clustering , 1987, IJCAI.

[20]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[21]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[22]  David H. D. Warren,et al.  Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks , 1980, Artif. Intell..

[23]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

[24]  King-Sun Fu,et al.  A graph distance measure for image analysis , 1984, IEEE Transactions on Systems, Man, and Cybernetics.

[25]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[26]  Michael R. Anderberg,et al.  Cluster Analysis for Applications , 1973 .

[27]  Julius T. Tou,et al.  Pattern Recognition Principles , 1974 .

[28]  Karl R. Abrahamson.  Modal Logic of Concurrent Nondeterministic Programs , 1979, Semantics of Concurrent Computation.

[29]  Nils J. Nilsson,et al.  Logic and Artificial Intelligence , 1991, Artif. Intell..

[30]  M. Narasimha Murty,et al.  Model-theoretic approach to clustering , 1991, Knowl. Based Syst..

[31]  M. N. Murty,et al.  Nonmonotonic logics for belief revision , 1992 .

[32]  Grazyna Mirkowska,et al.  PAL - propositional algorithmic logic , 1979, Fundam. Informaticae.

[33]  Ryszard S. Michalski,et al.  A Theory and Methodology of Inductive Learning , 1983, Artificial Intelligence.

[34]  Peter Willett,et al.  Comparison of Hierarchie Agglomerative Clustering Methods for Document Retrieval , 1989, Comput. J..

[35]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[36]  J. Hintikka.  Knowledge and belief , 1962 .

[37]  Ronald Fagin,et al.  A model-theoretic analysis of knowledge , 1991, JACM.

[38]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[39]  G. Krishna,et al.  Agglomerative clustering using the concept of mutual nearest neighbourhood , 1978, Pattern Recognit..

[40]  Drew V. McDermott,et al.  Logic, Problem Solving, and Deduction , 1987 .

[41]  Dexter Kozen.  Semantics of Probabilistic Programs , 1979, FOCS.

[42]  Verónica Dahl,et al.  On database systems development through logic , 1982, TODS.