À l'intérieur du livre
Essayez d'effectuer cette recherche dans tous les volumes : "ethical machines"
Résultats 1-0 sur 0
Avis des internautes - Rédiger un commentaire
Aucun commentaire n'a été trouvé aux emplacements habituels.
Table des matières
On generating and using examples in proof discovery | 3 |
A firstorder formalisation of knowledge and action | 41 |
Knowledgebased problemsolving in AL3 I BRATKO | 73 |
Droits d'auteur | |
26 autres sections non affichées
Autres éditions - Tout afficher
Machine Intelligence: Machine Expertise and the Human Interface J. E. Hayes,Donald Michie,L. I. Mikulich Affichage d'extraits - 1979 |
Machine Intelligence 14: Applied Machine Intelligence K. Furukawa,D. Michie,S. Muggleton Affichage d'extraits - 1996 |
Expressions et termes fréquents
agent algorithm analysis application Artificial Intelligence assertions axioms backward chaining beliefs cells chess clause clustering complex component Computer Chess Computer Science concepts conceptual clustering conclusion conjunction constraints contains counterexample database decision tree deduction defined denote described domain Edinburgh element endgame evaluation example expert systems expression first-order logic formula function game tree goal graph Horn clause hypothesis implementation inference input interaction interpretation is-fault-with knowledge base knowledge-based language lemma LISP logic programming Machine Intelligence method Michie move MYCIN neuron node objects operation pattern pawn position possible predicate problem procedure produced PROLOG proof properties PROSPECTOR prove query relation representation represented result robot RWSSU satisfy selected sequence situation solving specific standard names strategy structure subgoal subset target task techniques tectal theorem prover theory tree University variables White king XSEL

