Proceedings of the Seventh Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour |
Other editions - View all
Common terms and phrases
abstract action agent 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 heuristics higher-level goals implementation instance instant coffee interval k-consistency Kahney knowledge base label Logic Programming mapping match minimal negation as failure neural nextstate notion operators paper partial evaluation population preconditions predicate preference rule problem procedural program procedure proof propagation proposition prototype theory range reasoning recursion relations relationships representation represented robot satisfies schema semantics simulation sinusoidal solving specific state-space structure subgoals suppressed premises symbols task theorem theory extension tion University of Sussex values variables worldstate