Titre : |
Logic for artificial intelligence & information technology |
Autre titre : |
L |
Type de document : |
texte imprimé |
Auteurs : |
Dov M. Gabbay |
Editeur : |
London : College Publications |
Année de publication : |
2007 |
Importance : |
1 vol (566 p.) |
Présentation : |
ill. |
Format : |
24 cm |
ISBN/ISSN/EAN : |
978-1-904987-39-0 |
Catégories : |
Informatique
|
Mots-clés : |
Logique:programmation
intelligence artificielle |
Index. décimale : |
006.3 Intelligence artificielle |
Résumé : |
Logique pour l'intelligence artificielle et la technologie de l'information est basée sur des notes d'étudiants utilisés pour enseigner la logique aux étudiants de deuxième année et l'intelligence artificielle aux étudiants diplômés de l'Université de Londres depuis 1984, d'abord à l'Imperial College puis au King's College. La logique a été appliquée à une grande variété de sujets tels que l'informatique théorique, l'ingénierie logicielle, la conception de matériel, la programmation logique, la linguistique computationnelle et l'intelligence artificielle. De cette façon, il a servi à stimuler la recherche pour des fondements conceptuels clairs. Au cours des 20 dernières années, de nombreuses extensions de la logique classique telles que les logiques temporelles, modales, de pertinence, floues, probabilistes et non monotones ont été largement utilisées en informatique et en intelligence artificielle, nécessitant de nouvelles formulations de la logique classique. donner l'effet des nouvelles logiques appliquées. Le texte introduit la logique classique d'une manière orientée vers un but qui peut facilement dévier vers d'autres logiques appliquées. Il définit les nombreux types de logiques et les différences entre eux. Dov Gabbay, FRSC, FAvH, FRSA, FBCS, est professeur de logique Augustus De Morgan à l'Université de Londres. Il a écrit plus de 300 articles en logique et plus de 20 livres. Il est rédacteur en chef de plusieurs revues de premier plan et a publié plus de 50 manuels de volumes logiques. Il est une autorité mondiale sur la logique appliquée et est l'un des administrateurs et fondateur de la charité britannique, la Fédération internationale de la logique computationnelle |
Côte titre : |
fs/19791 |
Logic for artificial intelligence & information technology ; L [texte imprimé] / Dov M. Gabbay . - London : College Publications, 2007 . - 1 vol (566 p.) : ill. ; 24 cm. ISBN : 978-1-904987-39-0
Catégories : |
Informatique
|
Mots-clés : |
Logique:programmation
intelligence artificielle |
Index. décimale : |
006.3 Intelligence artificielle |
Résumé : |
Logique pour l'intelligence artificielle et la technologie de l'information est basée sur des notes d'étudiants utilisés pour enseigner la logique aux étudiants de deuxième année et l'intelligence artificielle aux étudiants diplômés de l'Université de Londres depuis 1984, d'abord à l'Imperial College puis au King's College. La logique a été appliquée à une grande variété de sujets tels que l'informatique théorique, l'ingénierie logicielle, la conception de matériel, la programmation logique, la linguistique computationnelle et l'intelligence artificielle. De cette façon, il a servi à stimuler la recherche pour des fondements conceptuels clairs. Au cours des 20 dernières années, de nombreuses extensions de la logique classique telles que les logiques temporelles, modales, de pertinence, floues, probabilistes et non monotones ont été largement utilisées en informatique et en intelligence artificielle, nécessitant de nouvelles formulations de la logique classique. donner l'effet des nouvelles logiques appliquées. Le texte introduit la logique classique d'une manière orientée vers un but qui peut facilement dévier vers d'autres logiques appliquées. Il définit les nombreux types de logiques et les différences entre eux. Dov Gabbay, FRSC, FAvH, FRSA, FBCS, est professeur de logique Augustus De Morgan à l'Université de Londres. Il a écrit plus de 300 articles en logique et plus de 20 livres. Il est rédacteur en chef de plusieurs revues de premier plan et a publié plus de 50 manuels de volumes logiques. Il est une autorité mondiale sur la logique appliquée et est l'un des administrateurs et fondateur de la charité britannique, la Fédération internationale de la logique computationnelle |
Côte titre : |
fs/19791 |
| |