52 pages matching formal in this book
Results 1-3 of 52
What people are saying - Write a review
We haven't found any reviews in the usual places.
abstraction action agent application approach argument Artificial Intelligence attribute behavior belief cache classification complexity component Computer Conference on Artificial connectionist consequence relation consistent constraints corresponding database decision tree default default logic defined definition described domain theory error evaluation expert system explanation-based learning Figure formal function genetic algorithms given goal graph heuristics implementation induction inference input instance instantiations International interpretation knowledge representation label language learning algorithm logic Machine Learning marker match method mutual information n-gram node nonmonotonic object operator PAC learnable paper performance polytree possible predicate probabilistic problem space Proceedings propositional queries reactive plan reasoning recursive References represent robot rules semantics sentence solving strategy structure subset subsumption target concept task techniques Theorem tion training examples training set truth maintenance systems variables version space