GEOTRUST SSL CERTIFICATE
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 006.1 (221)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![]()
texte imprimé
La pensée logique, la logique binaire, la logique de base des ordinateurs, les logiques multivalentes.![]()
texte imprimé
Etude de la formalisation de raisonnements révisables.![]()
texte imprimé
Le but de cet ouvrage est de faire le point sur la communication homme-machine, en se plaçant dans le champ pluridisciplinaire des sciences cognitives, en insistant sur les rôles respectifs de l'informatique et de la psychologie. Centrée sur la [...]![]()
texte imprimé
Les nouvelles technologies de l'information et de la communication sont d'abord des technologies intellectuelles et les machines qui nous entourent traitent la perception, le raisonnement, le calcul et les connaissances.![]()
texte imprimé
Histoire de l'intelligence artificielle, son implication en micro-informatique, dans l'industrie et l'enseignement.![]()
texte imprimé
![]()
texte imprimé
Une méthode fondée sur trois études de cas pour réaliser un système expert.![]()
texte imprimé
JOURNÉES FRANCOPHONES SUR LES MODÈLES FORMELS DE L'INTERACTION (2005), Auteur ; Andreas Herzig, Éditeur scientifique ; Brahim Chaib-draa, Éditeur scientifique ; Philippe Mathieu, Éditeur scientifique | Toulouse : Cépaduès | 200324 articles choisis sur les thèmes suivants : allocation de tâches et de ressources, stratégies de dialogue, conception de systèmes d'agents, évolution des croyances et obligations, théorie des jeux et simulation sociale, actions et intentions, [...]![]()
texte imprimé
JOURNÉES FRANCOPHONES SUR LES MODÈLES FORMELS DE L'INTERACTION (2005), Auteur ; Andreas Herzig, Éditeur scientifique ; Yves Lespérance, Éditeur scientifique ; Abdel-Illah Mouaddib, Éditeur scientifique | Toulouse : Cépaduès | 2005Série d'articles choisis sur les thèmes suivants : aspects langagiers : sémantique et pragmatique des actes de langage, pragmatique du dialogue, sémantique des modalités ; aspects sociaux : spécification des normes sociales, de droits et d'oblig[...]![]()
texte imprimé
Pour découvrir les mécanismes de l'intelligence artificielle. Nombreux exemples pour tester les connaissances.![]()
texte imprimé
Luisa Iturrioz, Éditeur scientifique ; Alain Dussauchoy, Éditeur scientifique | Paris : Hermès science publications | 1989Théorie de la démonstration et sémantique de la programmation logique; logique mathématique, modale, intuitionniste, temporelle propositionnelle.![]()
texte imprimé
Claudine Robert, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Techniques stochastiques | 1991Les résultats de la statistique classique ne sont en général pas utilisables tels quels pour la conception de systèmes experts dans des domaines dits incertains du fait de difficultés de modélisation. L'auteur montre que cette modélisation est p[...]![]()
texte imprimé
Approche scientifique des questions liées à la réalisation d'un système artificiel pensant et conscient : un robot autonome capable d'éprouver des sensations, des émotions, et même de produire des pensées. Se base sur les travaux de mathématicie[...]![]()
texte imprimé
Certaines dynamiques collectives permettraient l'émergence de notions partagées. Par ce biais des robots auraient créé leur propre langue : progressivement ils se sont accordés sur les bases d'une langue nouvelle. C'est ce qui ressort d'une expé[...]