메뉴 건너뛰기




Volumn 156, Issue 2, 2004, Pages 115-138

Version spaces and the consistency problem

Author keywords

Boundary sets; Consistency problem; Inductive learning; Version spaces

Indexed keywords

ALGEBRA; BOUNDARY VALUE PROBLEMS; FUNCTIONS; LEARNING ALGORITHMS; LEARNING SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING;

EID: 2442676919     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2003.04.003     Document Type: Article
Times cited : (16)

References (30)
  • 2
    • 0029321655 scopus 로고
    • On the learnability of disjunctive normal form formulas
    • Aizenstein H., Pitt L. On the learnability of disjunctive normal form formulas. Machine Learning. 19:(3):1995;183-208.
    • (1995) Machine Learning , vol.19 , Issue.3 , pp. 183-208
    • Aizenstein, H.1    Pitt, L.2
  • 3
    • 0024750852 scopus 로고
    • Learnability and the vapnik-chervonenkis dimension
    • Blumer A., Ehrenfeucht A., Haussler D., Warmuth M.K. Learnability and the Vapnik-Chervonenkis dimension. J. ACM. 36:(4):1989;929-965.
    • (1989) J. ACM , vol.36 , Issue.4 , pp. 929-965
    • Blumer, A.1    Ehrenfeucht, A.2    Haussler, D.3    Warmuth, M.K.4
  • 5
    • 0032596517 scopus 로고    scopus 로고
    • Efficient read-restricted monotone CNF/DNF dualization by learning with membership queries
    • Domingo C., Mishra N., Pitt L. Efficient read-restricted monotone CNF/DNF dualization by learning with membership queries. Machine Learning. 37:(1):1999;89-110.
    • (1999) Machine Learning , vol.37 , Issue.1 , pp. 89-110
    • Domingo, C.1    Mishra, N.2    Pitt, L.3
  • 6
    • 0000251093 scopus 로고
    • Identifying the minimal transversals of a hypergraph and related problems
    • Eiter T., Gottlob G. Identifying the minimal transversals of a hypergraph and related problems. SIAM J. Comput. 24:(6):1995;1278-1304.
    • (1995) SIAM J. Comput. , vol.24 , Issue.6 , pp. 1278-1304
    • Eiter, T.1    Gottlob, G.2
  • 7
    • 0038049065 scopus 로고    scopus 로고
    • New results on monotone dualization and generating hypergraph transversals
    • Eiter T., Gottlob G., Makino K. New results on monotone dualization and generating hypergraph transversals. SIAM J. Comput. 32:(2):2003;514-537.
    • (2003) SIAM J. Comput. , vol.32 , Issue.2 , pp. 514-537
    • Eiter, T.1    Gottlob, G.2    Makino, K.3
  • 9
    • 0000039971 scopus 로고    scopus 로고
    • On the complexity of dualization of monotone disjunctive normal forms
    • Fredman M., Khachiyan L. On the complexity of dualization of monotone disjunctive normal forms. J. Algorithms. 21:(3):1996;618-628.
    • (1996) J. Algorithms , vol.21 , Issue.3 , pp. 618-628
    • Fredman, M.1    Khachiyan, L.2
  • 11
    • 0024082469 scopus 로고
    • Quantifying inductive bias: AI learning algorithms and valiant's learning framework
    • Haussler D. Quantifying inductive bias: AI learning algorithms and Valiant's learning framework. Artificial Intelligence. 36:1988;177-221.
    • (1988) Artificial Intelligence , vol.36 , pp. 177-221
    • Haussler, D.1
  • 12
    • 2542455833 scopus 로고
    • Learning conjunctive concepts in structural domains
    • Haussler D. Learning conjunctive concepts in structural domains. Machine Learning. 4:(1):1989;7-40.
    • (1989) Machine Learning , vol.4 , Issue.1 , pp. 7-40
    • Haussler, D.1
  • 13
    • 0026993172 scopus 로고
    • Polynomial-time learning with version spaces
    • San Jose, CA, MIT Press, Cambridge, MA
    • Hirsh H. Polynomial-time learning with version spaces. Proc. AAAI-92, San Jose, CA. 1992;117-122 MIT Press, Cambridge, MA.
    • (1992) Proc. AAAI-92, , pp. 117-122
    • Hirsh, H.1
  • 14
    • 0028530086 scopus 로고
    • Generalizing version spaces
    • Hirsh H. Generalizing version spaces. Machine Learning. 17:(1):1994;5-46.
    • (1994) Machine Learning , vol.17 , Issue.1 , pp. 5-46
    • Hirsh, H.1
  • 15
    • 2442680568 scopus 로고
    • Demand networks: An alternative representation of version spaces
    • Department of Computer and Systems Sciences, The Royal Institute of Technology and Stockholm University
    • P. Idestam-Almquist, Demand networks: An alternative representation of version spaces, SYSLAB Report 75, Department of Computer and Systems Sciences, The Royal Institute of Technology and Stockholm University, 1989.
    • (1989) SYSLAB Report , vol.75
    • Idestam-Almquist, P.1
  • 18
    • 0000203994 scopus 로고
    • Generating all maximal independent sets: NP-hardness and polynomial-time algorithms
    • Lawler E., Lenstra J., Rinnooy Kan A. Generating all maximal independent sets: NP-hardness and polynomial-time algorithms. SIAM J. Comput. 9:(3):1980;558-565.
    • (1980) SIAM J. Comput. , vol.9 , Issue.3 , pp. 558-565
    • Lawler, E.1    Lenstra, J.2    Rinnooy Kan, A.3
  • 19
    • 0141955973 scopus 로고    scopus 로고
    • Programming by demonstration using version space algebra
    • Lau T., Wolfman S., Domingos P., Weld D. Programming by demonstration using version space algebra. Machine Learning. 53:(1-2):2003;111-156.
    • (2003) Machine Learning , vol.53 , Issue.1-2 , pp. 111-156
    • Lau, T.1    Wolfman, S.2    Domingos, P.3    Weld, D.4
  • 20
    • 0000531852 scopus 로고
    • Generalization as search
    • Mitchell T.M. Generalization as search. Art. Int. 18:1982;203-226.
    • (1982) Art. Int. , vol.18 , pp. 203-226
    • Mitchell, T.M.1
  • 22
    • 0026980836 scopus 로고
    • Classifier learning from noisy data as probabilistic evidence combination
    • San Jose, CA, MIT Press, Cambridge, MA
    • Norton S.W., Hirsh H. Classifier learning from noisy data as probabilistic evidence combination. Proc. AAAI-92, San Jose, CA. 1992;141-146 MIT Press, Cambridge, MA.
    • (1992) Proc. AAAI-92 , pp. 141-146
    • Norton, S.W.1    Hirsh, H.2
  • 23
    • 0024092215 scopus 로고
    • Computational limitations on learning from examples
    • Pitt L., Valiant L. Computational limitations on learning from examples. J. ACM. 35:1988;965-984.
    • (1988) J. ACM , vol.35 , pp. 965-984
    • Pitt, L.1    Valiant, L.2
  • 24
    • 1442267080 scopus 로고
    • Learning decision lists
    • Rivest R.L. Learning decision lists. Machine Learning. 2:(3):1987;229-246.
    • (1987) Machine Learning , vol.2 , Issue.3 , pp. 229-246
    • Rivest, R.L.1
  • 25
    • 2442659298 scopus 로고
    • PhD Thesis, University of Southern California, Computer Science Department, December
    • B. Smith, Induction as knowledge integration, PhD Thesis, University of Southern California, Computer Science Department, December 1995.
    • (1995) Induction as Knowledge Integration
    • Smith, B.1
  • 27
    • 0010268518 scopus 로고
    • Incremental non-backtracking focusing: A polynomially bounded generalization algorithm for version spaces
    • Boston, MA
    • Smith B.D., Rosenbloom P.S. Incremental non-backtracking focusing: A polynomially bounded generalization algorithm for version spaces. Proc. AAAI-90, Boston, MA. 1990;848-853.
    • (1990) Proc. AAAI-90 , pp. 848-853
    • Smith, B.D.1    Rosenbloom, P.S.2
  • 29
    • 0000142982 scopus 로고
    • The complexity of enumeration and reliability problems
    • Valiant L.G. The complexity of enumeration and reliability problems. SIAM J. Comput. 8:(3):1979;410-421.
    • (1979) SIAM J. Comput. , vol.8 , Issue.3 , pp. 410-421
    • Valiant, L.G.1
  • 30
    • 0141877510 scopus 로고
    • A version space approach to learning context-free grammars
    • VanLehn K., Ball W. A version space approach to learning context-free grammars. Machine Learning. 2:(1):1987;39-74.
    • (1987) Machine Learning , vol.2 , Issue.1 , pp. 39-74
    • Vanlehn, K.1    Ball, W.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.