AISB89: proceedings of the Seventh Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour
Pitman, 1989 - Computers - 233 pages
27 pages matching model theory in this book
Results 1-3 of 27
What people are saying - Write a review
We haven't found any reviews in the usual places.
abstract action agent altemative analogy Artificial Intelligence assumption axioms behaviour belief circumscription clauses Cognitive complete complex nodes Computer concept condition consistent constraint satisfaction problem constraints constructive negation context model counterfactual DATR decision tree declarative program default inferences defined definition DePlan domain dynamic environment example Figure forced paths formulas function gazing genetic algorithm given graph higher-level goals implementation instance interval k-consistency Kahney knowledge base label Logic Programming mapping match minimal model theory negation as failure neural Neural Networks nextstate notion operators paper partial evaluation pattem population preconditions predicate preference rule problem procedural program procedure proof propagation proposition prototype theory reasoning recursion relations relationships representation represented robot satisfies schema semantics simulation sinusoidal solving specific state-space structure subgoals suppressed premises symbols theorem theory extension tion truth maintenance systems values variables