The Common Order-Theoretic Structure of Version Spaces and ATMSs

This paper exposes the common order-theoretic properties of the structures manipulated by the version space algorithm [Mit78]and the assumption-based truth maintenance systems (ATMS) [dk86a,dk86b] by recasting them in the framework of convex spaces. Our analysis of version spaces in this framework reveals necessary and sufficient conditions for ensuring the preservation of an essential finite representability property in version space merging. This analysis is used to formulate several sufficient conditions for when a language will allow version spaces to be represented by finite sets of concepts (even when the universe of concepts may be infinite). We provide a new convex space based formulation of computation performs by an ATMS which extends the expressiveness of disjunctions in the systems. This approach obviates the need for hyperresolution in dealing with disjunction and results in simpler label-update algorithms. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-90-86. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/434 The Common Order-Theoretic Structure Of Version Spaces And ATMS's MS-CIS-90-86 LOGIC & COMPUTATION 28

[1]  Dana S. Scott,et al.  Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.

[2]  Shinichi Honiden,et al.  On Logical Foundations of the ATMS , 1990, Truth Maintenance Systems.

[3]  Claude E. Shannon,et al.  Computers and Automata , 1953, Proceedings of the IRE.

[4]  Thomas G. Dietterich,et al.  Readings in Machine Learning , 1991 .

[5]  Michael B. Smyth,et al.  The Largest Cartesian Closed Category of Domains , 1983, Theor. Comput. Sci..

[6]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[7]  Dana S. Scott,et al.  Data Types as Lattices , 1976, SIAM J. Comput..

[8]  Alex Kean,et al.  An Incremental Method for Generating Prime Implicants/Impicates , 1990, J. Symb. Comput..

[9]  Tom Michael Mitchell.  Version spaces: an approach to concept learning. , 1979 .

[10]  Kenneth D. Forbus,et al.  Building Problem Solvers , 1993 .

[11]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[12]  H. Hirsh.  Incremental Version-Space Merging: A General Framework for Concept Learning , 1990 .

[13]  K. Hofmann,et al.  A Compendium of Continuous Lattices , 1980 .

[14]  J. Dekleer.  An assumption-based TMS , 1986 .

[15]  Raymond Reiter,et al.  Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.

[16]  Radha Jagadeesan,et al.  A fully abstract semantics for a functional language with logic variables , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[17]  Carl A. Gunter,et al.  Semantic Domains , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[18]  Tom M. Mitchell,et al.  MODEL-DIRECTED LEARNING OF PRODUCTION RULES1 , 1978 .

[19]  Carl A. Gunter,et al.  The Mixed Powerdomain , 2008 .

[20]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[21]  Jozef Gruska.  Foundations of Computing , 1997 .

[22]  Janos Simon.  On some central problems in computational complexity , 1975 .

[23]  Christopher Strachey,et al.  Toward a mathematical semantics for computer languages , 1971 .

[24]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[25]  Chris Mellish.  The Description Identification Problem , 1992, Artif. Intell..

[26]  Tom M. Mitchell,et al.  Generalization as Search , 2002 .

[27]  Teow-Hin Ngair.  Convex spaces as an order theoretic basis for problem-solving , 1992 .

[28]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[29]  Carl A. Gunter.  Semantics of programming languages: structures and techniques , 1993, Choice Reviews Online.

[30]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[31]  S. Vickers.  Topology via Logic , 1989 .

[32]  Carl A. Gunter,et al.  Coherence and Consistency in Domains (Extended Outline) , 1988, LICS.