Embodied conversational agents / Justine Cassell

Public ISBD Titre : Embodied conversational agents Type de document : texte imprimé Auteurs : Justine Cassell Editeur : Cambridge, Mass. : MIT Press Année de publication : 2000 Importance : 1 vol (430 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-262-03278-0 Catégories : Informatique Mots-clés : Développement web Intelligence artificielle Création de sites web Index. décimale : 006.3 Intelligence artificielle Résumé : Ce livre décrit la recherche dans tous les aspects de la conception, de la mise en Å“uvre et de l'évaluation des agents conversationnels incorporés, ainsi que des détails de systèmes de travail spécifiques. Les agents conversationnels incorporés sont des caractères semblables à des bandes dessinées générés par ordinateur qui démontrent plusieurs des mêmes propriétés que les humains dans une conversation face à face, y compris la capacité de produire et de répondre à une communication verbale et non verbale. Ils constituent un type d'interface (a) multimodale où les modalités sont celles qui sont naturelles à la conversation humaine: la parole, les affichages faciaux, les gestes de la main et la position du corps; (b) un agent logiciel, dans la mesure où il représente l'ordinateur dans une interaction avec un humain ou représente ses utilisateurs humains dans un environnement de calcul (comme des avatars, par exemple); et (c) un système de dialogue dans lequel les dispositifs verbaux et non verbaux avancent et régulent le dialogue entre l'utilisateur et l'ordinateur. Avec un agent conversationnel incorporé, la dimension visuelle de l'interaction avec un personnage animé sur un écran joue un rôle intrinsèque. Non seulement de jolies images, les graphiques affichent les caractéristiques visuelles de la conversation de la même manière que le visage et les mains le font dans une conversation face à face entre humains. Ce livre décrit la recherche dans tous les aspects de la conception, de la mise en Å“uvre et de l'évaluation des agents conversationnels incorporés, ainsi que des détails de systèmes de travail spécifiques. Beaucoup de chapitres sont écrits par des équipes multidisciplinaires de psychologues, de linguistes, d'informaticiens, d'artistes et de chercheurs en conception d'interfaces. Les auteurs comprennent Elisabeth André, Norm Badler, Gene Ball, Justine Cassell, Elizabeth Churchill, James Lester, Dominic Massaro, Cliff Nass, Sharon Oviatt, Isabella Poggi, Jeff Rickel et Greg Sanders. Note de contenu : Sommaire I Introduction 1 Nudge Nudge Wink Wink: Elements of FacetoFace Conversation for Embodied Conversational Agents Justine Cassell II Systems 2 Human Conversation as a System Framework: Designing Embodied Conversational Agents Justine Cassell, Tim Bickmore, Lee Campbell, Hannes Vilhjálmsson, and Hao Yan 3 "May I Help You?": Designing Embodied Conversational Agent Allies Elizabeth F. Churchill, Linda Cook, Peter Hodgson, Scott Prevost, and Joseph W. Sullivan 4 TaskOriented Collaboration with Embodied Agents in Virtual Worlds Jeff Rickel and W. Lewis Johnson 5 Deictic and Emotive Communication in Animated Pedagogical Agents James C. Lester, Stuart G. Towns, Charles B. Callaway, Jennifer L. Voerman, and Patrick J. FitzGerald 6 Performative Facial Expressions in Animated Faces Isabella Poggi and Catherine Pelachaud 7 Emotion and Personality in a Conversational Agent Gene Ball and Jack Bresse 8 The Automated Design of Believable Dialogues for Animated Presentation Teams Elisabeth André, Thomas Rist, Susanne van Mulken, Martin Klesen, and Stephen Baldes 9 Parameterized Action Representation for Virtual Human Agents Norman I. Badler, Rama Bindiganavale, Jan Allbeck, William Schuler, Liwei Zhao, and Martha Palmer III Evaluation 10 Developing and Evaluating Conversational Agents Dominic W. Massaro, Michael M. Cohen, Jonas Beskow, and Ronald A. Cole 11 Designing and Evaluating Conversational Interfaces with Animated Characters Sharon Oviatt and Bridget Adams 12 Measurement and Evaluation ofEmbodied Conversational Agents Gregory A. Sanders and Jean Scholtz 13 Truth Is Beauty: Researching Embodied Conversational Agents Clifford Nass, Katherine Isbister, and EunJu Lee Contributors Index Côte titre : Fs/19745 Embodied conversational agents [texte imprimé] / Justine Cassell . - Cambridge, Mass. : MIT Press, 2000 . - 1 vol (430 p.) : ill. ; 24 cm. ISBN : 978-0-262-03278-0 Catégories : Informatique Mots-clés : Développement web Intelligence artificielle Création de sites web Index. décimale : 006.3 Intelligence artificielle Résumé : Ce livre décrit la recherche dans tous les aspects de la conception, de la mise en Å“uvre et de l'évaluation des agents conversationnels incorporés, ainsi que des détails de systèmes de travail spécifiques. Les agents conversationnels incorporés sont des caractères semblables à des bandes dessinées générés par ordinateur qui démontrent plusieurs des mêmes propriétés que les humains dans une conversation face à face, y compris la capacité de produire et de répondre à une communication verbale et non verbale. Ils constituent un type d'interface (a) multimodale où les modalités sont celles qui sont naturelles à la conversation humaine: la parole, les affichages faciaux, les gestes de la main et la position du corps; (b) un agent logiciel, dans la mesure où il représente l'ordinateur dans une interaction avec un humain ou représente ses utilisateurs humains dans un environnement de calcul (comme des avatars, par exemple); et (c) un système de dialogue dans lequel les dispositifs verbaux et non verbaux avancent et régulent le dialogue entre l'utilisateur et l'ordinateur. Avec un agent conversationnel incorporé, la dimension visuelle de l'interaction avec un personnage animé sur un écran joue un rôle intrinsèque. Non seulement de jolies images, les graphiques affichent les caractéristiques visuelles de la conversation de la même manière que le visage et les mains le font dans une conversation face à face entre humains. Ce livre décrit la recherche dans tous les aspects de la conception, de la mise en Å“uvre et de l'évaluation des agents conversationnels incorporés, ainsi que des détails de systèmes de travail spécifiques. Beaucoup de chapitres sont écrits par des équipes multidisciplinaires de psychologues, de linguistes, d'informaticiens, d'artistes et de chercheurs en conception d'interfaces. Les auteurs comprennent Elisabeth André, Norm Badler, Gene Ball, Justine Cassell, Elizabeth Churchill, James Lester, Dominic Massaro, Cliff Nass, Sharon Oviatt, Isabella Poggi, Jeff Rickel et Greg Sanders. Note de contenu : Sommaire I Introduction 1 Nudge Nudge Wink Wink: Elements of FacetoFace Conversation for Embodied Conversational Agents Justine Cassell II Systems 2 Human Conversation as a System Framework: Designing Embodied Conversational Agents Justine Cassell, Tim Bickmore, Lee Campbell, Hannes Vilhjálmsson, and Hao Yan 3 "May I Help You?": Designing Embodied Conversational Agent Allies Elizabeth F. Churchill, Linda Cook, Peter Hodgson, Scott Prevost, and Joseph W. Sullivan 4 TaskOriented Collaboration with Embodied Agents in Virtual Worlds Jeff Rickel and W. Lewis Johnson 5 Deictic and Emotive Communication in Animated Pedagogical Agents James C. Lester, Stuart G. Towns, Charles B. Callaway, Jennifer L. Voerman, and Patrick J. FitzGerald 6 Performative Facial Expressions in Animated Faces Isabella Poggi and Catherine Pelachaud 7 Emotion and Personality in a Conversational Agent Gene Ball and Jack Bresse 8 The Automated Design of Believable Dialogues for Animated Presentation Teams Elisabeth André, Thomas Rist, Susanne van Mulken, Martin Klesen, and Stephen Baldes 9 Parameterized Action Representation for Virtual Human Agents Norman I. Badler, Rama Bindiganavale, Jan Allbeck, William Schuler, Liwei Zhao, and Martha Palmer III Evaluation 10 Developing and Evaluating Conversational Agents Dominic W. Massaro, Michael M. Cohen, Jonas Beskow, and Ronald A. Cole 11 Designing and Evaluating Conversational Interfaces with Animated Characters Sharon Oviatt and Bridget Adams 12 Measurement and Evaluation ofEmbodied Conversational Agents Gregory A. Sanders and Jean Scholtz 13 Truth Is Beauty: Researching Embodied Conversational Agents Clifford Nass, Katherine Isbister, and EunJu Lee Contributors Index Côte titre : Fs/19745

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/19745	Fs/19745	Livre	Bibliothéque des sciences	Français	Disponible Disponible

Foundations of statistical natural language processing / Christopher D. Manning

Public ISBD Titre : Foundations of statistical natural language processing Type de document : texte imprimé Auteurs : Christopher D. Manning ; Hinrich SchLutze Editeur : Cambridge, Mass. : MIT Press Année de publication : 1999 Importance : 1 vol. (680 p.) Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-262-13360-9 Catégories : Mathématique Mots-clés : Linguistique : Informatique : Méthodes statistiques Traitement automatique du langage naturel Index. décimale : 410 Linguistique générale Résumé : Les approches statistiques du traitement du texte en langage naturel sont devenues dominantes ces dernières années. Ce texte fondamental est la première introduction complète au traitement statistique du langage naturel (PNL) à apparaître. Le livre contient toute la théorie et les algorithmes nécessaires pour construire des outils PNL. Il fournit une couverture large mais rigoureuse des fondements mathématiques et linguistiques, ainsi qu'une discussion détaillée des méthodes statistiques, permettant aux étudiants et aux chercheurs de construire leurs propres implémentations. Le livre couvre la recherche de collocation, la désambiguïsation du sens du mot, l'analyse probabiliste, la recherche d'information et d'autres applications. Note de contenu : Sommaire Preliminaries Introduct Mathematical Foundations Linguistic Essentials Corpus-Based Work Words Collocations Statistical Inference: n-gram Models over Sparse Data Word Sense Disambiguation Lexical Acquisition Grammar Markov Models Part-of-Speech Tagging Probabilistic Context Free Grammars Probabilistic Parsing Applications and Techniques Statistical Alignment and Machine Translation Clustering Topics in Information Retrieval Text Categorization Côte titre : Fs/19755 Foundations of statistical natural language processing [texte imprimé] / Christopher D. Manning ; Hinrich SchLutze . - Cambridge, Mass. : MIT Press, 1999 . - 1 vol. (680 p.) : ill., couv. ill. ; 24 cm. ISBN : 978-0-262-13360-9 Catégories : Mathématique Mots-clés : Linguistique : Informatique : Méthodes statistiques Traitement automatique du langage naturel Index. décimale : 410 Linguistique générale Résumé : Les approches statistiques du traitement du texte en langage naturel sont devenues dominantes ces dernières années. Ce texte fondamental est la première introduction complète au traitement statistique du langage naturel (PNL) à apparaître. Le livre contient toute la théorie et les algorithmes nécessaires pour construire des outils PNL. Il fournit une couverture large mais rigoureuse des fondements mathématiques et linguistiques, ainsi qu'une discussion détaillée des méthodes statistiques, permettant aux étudiants et aux chercheurs de construire leurs propres implémentations. Le livre couvre la recherche de collocation, la désambiguïsation du sens du mot, l'analyse probabiliste, la recherche d'information et d'autres applications. Note de contenu : Sommaire Preliminaries Introduct Mathematical Foundations Linguistic Essentials Corpus-Based Work Words Collocations Statistical Inference: n-gram Models over Sparse Data Word Sense Disambiguation Lexical Acquisition Grammar Markov Models Part-of-Speech Tagging Probabilistic Context Free Grammars Probabilistic Parsing Applications and Techniques Statistical Alignment and Machine Translation Clustering Topics in Information Retrieval Text Categorization Côte titre : Fs/19755

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/19755	Fs/19755	Livre	Bibliothéque des sciences	Français	Disponible Disponible

Introduction to algorithms / Thomas H. Cormen

Public ISBD Titre : Introduction to algorithms Type de document : texte imprimé Auteurs : Thomas H. Cormen ; LEISERSON,Charles E. ; RIVEST,Ronald L. Mention d'édition : 3e éd. Editeur : Cambridge, Mass. : MIT Press Année de publication : 2009 Importance : 1 vol. (1292 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-262-53305-8 Catégories : Informatique Mots-clés : Ordinateurs : Programmation Algorithmes Structures de données (informatique) Programmation (ordinateurs électroniques) Index. décimale : 005.1 Programmation Résumé : Certains livres sur les algorithmes sont rigides mais incomplets; d'autres couvrent des masses de matériel mais manquent de rigueur. Introduction aux algorithmes combine exclusivement la rigueur et l'exhaustivité. Le livre couvre une large gamme d'algorithmes en profondeur, mais rend leur conception et leur analyse accessibles à tous les niveaux de lecteurs. Chaque chapitre est fiable et autonome et peut être utilisé comme unité d'étude. Les algorithmes sont décrits en anglais et dans un pseudo-code conçu pour être lisible par tous ceux qui ont fait une petite programmation. Les explications ont été érigées élémentaires sans sacrifier la profondeur de couverture ou la rigueur mathématique. - La première édition est devenue un texte largement utilisé dans les universités du monde entier ainsi que la référence standard pour les professionnels. La deuxième édition comportait de nouveaux chapitres sur le rôle des algorithmes, l'analyse probabiliste et les algorithmes randomisés, et la programmation linéaire. La troisième édition a été révisée et mise à jour à travers. Il comprend deux chapitres entièrement nouveaux, sur les arbres van Emde Boas et les algorithmes multithread, et des ajouts substantiels au chapitre sur les récurrences (maintenant appelé "Divide-and-Conquer"). Il propose un traitement amélioré de la programmation dynamique et des algorithmes gourmands, ainsi qu'une nouvelle notification des flux basés sur les bords dans le matériel sur les réseaux de flux. De nombreux nouveaux exercices et problèmes ont été ajoutés pour cette édition Note de contenu : Sommaire I Foundations 1 The Role of Algorithms in Computing 2 Getting Started 3 Growth of Functions 4 Divide-and-Conquer 5 Probabilistic Analysis and Randomized Algorithms II Sorting and Order Statistics 6 Heapsort 7 Quicksort 8 Sorting in Linear Time 9 Medians and Order Statistics III Data Structures 10 Elementary Data Structures 11 Hash Tables 12 Binary Search Trees 13 Red-Black Trees 14 Augmenting Data Structures IV Advanced Design and Analysis Techniques 15 Dynamic Programming 16 Greedy Algorithms 17 Amortized Analysis V Advanced Data Structures 18 B-Trees 19 Fibonacci Heaps 20 van Emde Boas Trees 21 Data Structures for Disjoint Sets VI Graph Algorithms 22 Elementary Graph Algorithms 23 Minimum Spanning Trees 24 Single-Source Shortest Paths 25 All-Pairs Shortest Paths 26 Maximum Flow VII Selected Topics 27 Multithreaded Algorithms 28 Matrix Operations 29 Linear Programming 30 Polynomials and the FFT 31 Number-Theoretic Algorithms 32 String Matching 33 Computational Geometry 34 NP-Completeness 35 Approximation Algorithms VIII Appendix: Mathematical Background A Summations B Sets, Etc. C Counting and Probability D Matrices Côte titre : Fs/19771 Introduction to algorithms [texte imprimé] / Thomas H. Cormen ; LEISERSON,Charles E. ; RIVEST,Ronald L.  . -  3e éd. . - Cambridge, Mass. : MIT Press, 2009 . - 1 vol. (1292 p.) : ill. ; 24 cm. ISBN : 978-0-262-53305-8 Catégories : Informatique Mots-clés : Ordinateurs : Programmation Algorithmes Structures de données (informatique) Programmation (ordinateurs électroniques) Index. décimale : 005.1 Programmation Résumé : Certains livres sur les algorithmes sont rigides mais incomplets; d'autres couvrent des masses de matériel mais manquent de rigueur. Introduction aux algorithmes combine exclusivement la rigueur et l'exhaustivité. Le livre couvre une large gamme d'algorithmes en profondeur, mais rend leur conception et leur analyse accessibles à tous les niveaux de lecteurs. Chaque chapitre est fiable et autonome et peut être utilisé comme unité d'étude. Les algorithmes sont décrits en anglais et dans un pseudo-code conçu pour être lisible par tous ceux qui ont fait une petite programmation. Les explications ont été érigées élémentaires sans sacrifier la profondeur de couverture ou la rigueur mathématique. - La première édition est devenue un texte largement utilisé dans les universités du monde entier ainsi que la référence standard pour les professionnels. La deuxième édition comportait de nouveaux chapitres sur le rôle des algorithmes, l'analyse probabiliste et les algorithmes randomisés, et la programmation linéaire. La troisième édition a été révisée et mise à jour à travers. Il comprend deux chapitres entièrement nouveaux, sur les arbres van Emde Boas et les algorithmes multithread, et des ajouts substantiels au chapitre sur les récurrences (maintenant appelé "Divide-and-Conquer"). Il propose un traitement amélioré de la programmation dynamique et des algorithmes gourmands, ainsi qu'une nouvelle notification des flux basés sur les bords dans le matériel sur les réseaux de flux. De nombreux nouveaux exercices et problèmes ont été ajoutés pour cette édition Note de contenu : Sommaire I Foundations 1 The Role of Algorithms in Computing 2 Getting Started 3 Growth of Functions 4 Divide-and-Conquer 5 Probabilistic Analysis and Randomized Algorithms II Sorting and Order Statistics 6 Heapsort 7 Quicksort 8 Sorting in Linear Time 9 Medians and Order Statistics III Data Structures 10 Elementary Data Structures 11 Hash Tables 12 Binary Search Trees 13 Red-Black Trees 14 Augmenting Data Structures IV Advanced Design and Analysis Techniques 15 Dynamic Programming 16 Greedy Algorithms 17 Amortized Analysis V Advanced Data Structures 18 B-Trees 19 Fibonacci Heaps 20 van Emde Boas Trees 21 Data Structures for Disjoint Sets VI Graph Algorithms 22 Elementary Graph Algorithms 23 Minimum Spanning Trees 24 Single-Source Shortest Paths 25 All-Pairs Shortest Paths 26 Maximum Flow VII Selected Topics 27 Multithreaded Algorithms 28 Matrix Operations 29 Linear Programming 30 Polynomials and the FFT 31 Number-Theoretic Algorithms 32 String Matching 33 Computational Geometry 34 NP-Completeness 35 Approximation Algorithms VIII Appendix: Mathematical Background A Summations B Sets, Etc. C Counting and Probability D Matrices Côte titre : Fs/19771

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/19771	Fs/19771	Livre	Bibliothéque des sciences	Français	Disponible Sorti jusqu'au 04/03/2025

Knowledge engineering and management / Guus Schreiber

Public ISBD Titre : Knowledge engineering and management : The CommonKADS methodology Type de document : texte imprimé Auteurs : Guus Schreiber Editeur : Cambridge, Mass. : MIT Press Année de publication : 2000 Importance : 1 vol (455 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-262-19300-9 Note générale : "A Bradford book." Catégories : Informatique Mots-clés : Gestion des connaissances Bases de données : Gestion Systèmes experts (informatique) Index. décimale : 006.3 Intelligence artificielle Résumé : Les disciplines de l'ingénierie des connaissances et de la gestion des connaissances sont étroitement liées. L'ingénierie des connaissances traite du développement de systèmes d'information dans lesquels la connaissance et le raisonnement jouent un rôle central. La gestion des connaissances, un domaine nouvellement développé à l'intersection de l'informatique et de la gestion, traite de la connaissance comme une ressource clé dans les organisations modernes. La gestion des connaissances au sein d'une organisation est inconcevable sans l'utilisation de systèmes d'information avancés; la conception et la mise en Å“uvre de tels systèmes posent une grande organisation ainsi que des défis techniques. Le livre couvre de manière intégrée la gestion complète des connaissances, l'analyse et l'ingénierie des connaissances, la conception et la mise en Å“uvre de systèmes d'information à forte intensité de connaissance. La méthodologie CommonKADS, développée au cours de la dernière décennie par un consortium industrie-université dirigé par les auteurs, est utilisée tout au long du livre. CommonKADS utilise autant que possible la nouvelle norme de notation UML. Au-delà des applications de systèmes d'information, tous les projets de génie logiciel et de systèmes informatiques dans lesquels les connaissances jouent un rôle important devraient bénéficier de la méthodologie CommonKADS. Note de contenu : Sommaire Preface 1 Prologue: The Value of Knowledge 1.1 The Information Society Is KnowlegdeDriven 1.2 Knowledge in Context 1.3 Knowledge Engineering and Knowledge Systems 1.4 Book Overview 1.5 A Road Map for the Reader 1.6 Bibliographical Notes and Further Reading 2 KnowledgeEngineering Basics 2.1 Historical Perspective 2.2 The Methodological Pyramid 2.3 Principles 2.4 Model Suite 2.5 Process Roles 2.6 Some Terminology 2.7 Bibliographical Notes and Further Reading 3 The Task and Its Organizational Context 3.1 Why Organizational Aspects Are So Important 3.2 The Main Steps in Task and Organization Analysis 3.3 The Feasibility Study: Organization Modelling 3.4 Case: Social Security Services 3.5 Impact and Improvement Analysis: Task and Agent Modelling 3.6 Case: IceCream Product Development 3.7 Guidelines for the Context Modelling Process 3.8 Bibliographical Notes and Further Reading 4 Knowledge Management 4.1 Introduction 4.2 Explicit and Tacit Knowledge 4.3 The Knowledge Management Cycle 4.4 Knowledge Management Has a Value and Process Focus 4.5 Knowledge Management with CommonKADS 4.6 Knowledge Management and Knowledge Engineering 4.7 Bibliographical Notes and Further Reading 5 Knowledge Model Components 5.1 The Nature of "Knowledge" 5.2 Challenges in Representing Knowledge 5.3 The Knowledge Model 5.4 Domain Knowledge 5.5 Inference Knowledge 5.6 Task Knowledge 5.7 Typographic Conventions 5.8 Comparison with Other Analysis Approaches 5.9 Bibliographical Notes and Further Reading 6 Template Knowledge Models 6.1 Reusing KnowledgeModel Elements 6.2 ASmall Rask Template Catalog 6.3 Classification 6.4 Assessment 6.5 Diagnosis 6.6 Monitoring 6.7 Synthesis 6.8 Configuration Design 6.9 Assignment 6.10 Planning 6.11 Scheduling 6.12 TaskType Combinations 6.13 Relation to Task and Organization Models 6.14 Bibliographical Notes and Further Reading 7 Knowledge Model Construction 7.1 Introduction 7.2 Stages in KnowledgeModel Construction 7.3 Knowledge Identification 7.4 Knowledge Specification 7.5 Knowledge Refinement 7.6 Some Remarks about KnowledgeModel Maintenance 7.7 Documenting the Knowledge Model 7.8 Bibliographical Notes and Further Reading 8 KnowledgeElicitation Techniques 8.1 Introduction 8.2 Characteristics of Knowledge Elicitation 8.3 On Experts 8.4 Elicitation Scenario 8.5 An Elicitation Scenario 8.6 Some Final Remarks 8.7 Bibliographical Notes and Further Reading 9 Modelling Communication Aspects 9.1 Role and Overview of the Communication Model 9.2 The Communication Plan 9.3 Case: Homebots A Multiagent System for Energy Management 9.4 Transactions between Agents 9.5 Detailing the Information Exchange 9.6 The Homebots System Example Continued 9.7 Validating and Balancing the Communication Model 9.8 A Structured Process for Communication Modelling 9.9 Bibliographical Notes and Further Reading 10 Case Study: The Housing Application 10.1 Introduction 10.2 Application Domain: Rental Residence Assignment 10.3 Organization Model 10.4 Task Model 10.5 Agent Model 10.6 Sumamry of Proposed Solution and Its Effects 10.7 Knowledge Modelling 10.8 Communication Model 11 Designing Knowledge Systems 11.1 Introduction 11.2 StructurePreserving Design 11.3 Step 1: Design System Architecture 11.4 Step 2: Identify Target Implementation Platform 11.5 Step 3: Specify Architectural Components 11.6 Step 4: Specify Application within Architecture 11.7 Design Prototypes 11.8 Distrubuted Architectures 11.9 Bibliographical Notes and Further Reading 12 KnowledgeSystem Implementation 12.1 Implementation in Prolog 12.2 Implementation in Aion 12.3 Bibliographical Notes and Further Reading 13 Advanced Knowledge Modelling 13.1 Introduction 13.2 Domain Knowledge 13.3 Inference Knowledge 13.4 Task Knowledge 13.5 Bibliographical Notes and Further Reading 14 UML Notations Used in CommonKADS 14.1 UML Background 14.2 Activity Diagram 14.3 State Diagram 14.4 Class Diagram 14.5 UseCase Diagram 14.6 General UML Constructs 14.7 A Small Case Study 14.8 Bibliographical Notes and Further Reading 15 Project Management 15.1 Control versus Flexibility: Striking the Balance 15.2 Project Planning: The CommonKADS LifeCycle Model 15.3 Assessing Risks 15.4 Plan: Setting Objectives through Model States 15.5 Notes on Quality and Project Documentation 15.6 Case: A Project on Nuclear Reactor Noise Analysis 15.7 How Not to Manage a KnowledgeSystem Project 15.8 Bibliographical Notes and Further Reading Appendix: KnowledgeModel Language A.1 Language Conventions A.2 Language Syntax A.3 Full Knowledge Model for the Housing Application Glossary of Graphical Notations References Index Côte titre : Fs/19786 Knowledge engineering and management : The CommonKADS methodology [texte imprimé] / Guus Schreiber . - Cambridge, Mass. : MIT Press, 2000 . - 1 vol (455 p.) : ill. ; 24 cm. ISBN : 978-0-262-19300-9 "A Bradford book." Catégories : Informatique Mots-clés : Gestion des connaissances Bases de données : Gestion Systèmes experts (informatique) Index. décimale : 006.3 Intelligence artificielle Résumé : Les disciplines de l'ingénierie des connaissances et de la gestion des connaissances sont étroitement liées. L'ingénierie des connaissances traite du développement de systèmes d'information dans lesquels la connaissance et le raisonnement jouent un rôle central. La gestion des connaissances, un domaine nouvellement développé à l'intersection de l'informatique et de la gestion, traite de la connaissance comme une ressource clé dans les organisations modernes. La gestion des connaissances au sein d'une organisation est inconcevable sans l'utilisation de systèmes d'information avancés; la conception et la mise en Å“uvre de tels systèmes posent une grande organisation ainsi que des défis techniques. Le livre couvre de manière intégrée la gestion complète des connaissances, l'analyse et l'ingénierie des connaissances, la conception et la mise en Å“uvre de systèmes d'information à forte intensité de connaissance. La méthodologie CommonKADS, développée au cours de la dernière décennie par un consortium industrie-université dirigé par les auteurs, est utilisée tout au long du livre. CommonKADS utilise autant que possible la nouvelle norme de notation UML. Au-delà des applications de systèmes d'information, tous les projets de génie logiciel et de systèmes informatiques dans lesquels les connaissances jouent un rôle important devraient bénéficier de la méthodologie CommonKADS. Note de contenu : Sommaire Preface 1 Prologue: The Value of Knowledge 1.1 The Information Society Is KnowlegdeDriven 1.2 Knowledge in Context 1.3 Knowledge Engineering and Knowledge Systems 1.4 Book Overview 1.5 A Road Map for the Reader 1.6 Bibliographical Notes and Further Reading 2 KnowledgeEngineering Basics 2.1 Historical Perspective 2.2 The Methodological Pyramid 2.3 Principles 2.4 Model Suite 2.5 Process Roles 2.6 Some Terminology 2.7 Bibliographical Notes and Further Reading 3 The Task and Its Organizational Context 3.1 Why Organizational Aspects Are So Important 3.2 The Main Steps in Task and Organization Analysis 3.3 The Feasibility Study: Organization Modelling 3.4 Case: Social Security Services 3.5 Impact and Improvement Analysis: Task and Agent Modelling 3.6 Case: IceCream Product Development 3.7 Guidelines for the Context Modelling Process 3.8 Bibliographical Notes and Further Reading 4 Knowledge Management 4.1 Introduction 4.2 Explicit and Tacit Knowledge 4.3 The Knowledge Management Cycle 4.4 Knowledge Management Has a Value and Process Focus 4.5 Knowledge Management with CommonKADS 4.6 Knowledge Management and Knowledge Engineering 4.7 Bibliographical Notes and Further Reading 5 Knowledge Model Components 5.1 The Nature of "Knowledge" 5.2 Challenges in Representing Knowledge 5.3 The Knowledge Model 5.4 Domain Knowledge 5.5 Inference Knowledge 5.6 Task Knowledge 5.7 Typographic Conventions 5.8 Comparison with Other Analysis Approaches 5.9 Bibliographical Notes and Further Reading 6 Template Knowledge Models 6.1 Reusing KnowledgeModel Elements 6.2 ASmall Rask Template Catalog 6.3 Classification 6.4 Assessment 6.5 Diagnosis 6.6 Monitoring 6.7 Synthesis 6.8 Configuration Design 6.9 Assignment 6.10 Planning 6.11 Scheduling 6.12 TaskType Combinations 6.13 Relation to Task and Organization Models 6.14 Bibliographical Notes and Further Reading 7 Knowledge Model Construction 7.1 Introduction 7.2 Stages in KnowledgeModel Construction 7.3 Knowledge Identification 7.4 Knowledge Specification 7.5 Knowledge Refinement 7.6 Some Remarks about KnowledgeModel Maintenance 7.7 Documenting the Knowledge Model 7.8 Bibliographical Notes and Further Reading 8 KnowledgeElicitation Techniques 8.1 Introduction 8.2 Characteristics of Knowledge Elicitation 8.3 On Experts 8.4 Elicitation Scenario 8.5 An Elicitation Scenario 8.6 Some Final Remarks 8.7 Bibliographical Notes and Further Reading 9 Modelling Communication Aspects 9.1 Role and Overview of the Communication Model 9.2 The Communication Plan 9.3 Case: Homebots A Multiagent System for Energy Management 9.4 Transactions between Agents 9.5 Detailing the Information Exchange 9.6 The Homebots System Example Continued 9.7 Validating and Balancing the Communication Model 9.8 A Structured Process for Communication Modelling 9.9 Bibliographical Notes and Further Reading 10 Case Study: The Housing Application 10.1 Introduction 10.2 Application Domain: Rental Residence Assignment 10.3 Organization Model 10.4 Task Model 10.5 Agent Model 10.6 Sumamry of Proposed Solution and Its Effects 10.7 Knowledge Modelling 10.8 Communication Model 11 Designing Knowledge Systems 11.1 Introduction 11.2 StructurePreserving Design 11.3 Step 1: Design System Architecture 11.4 Step 2: Identify Target Implementation Platform 11.5 Step 3: Specify Architectural Components 11.6 Step 4: Specify Application within Architecture 11.7 Design Prototypes 11.8 Distrubuted Architectures 11.9 Bibliographical Notes and Further Reading 12 KnowledgeSystem Implementation 12.1 Implementation in Prolog 12.2 Implementation in Aion 12.3 Bibliographical Notes and Further Reading 13 Advanced Knowledge Modelling 13.1 Introduction 13.2 Domain Knowledge 13.3 Inference Knowledge 13.4 Task Knowledge 13.5 Bibliographical Notes and Further Reading 14 UML Notations Used in CommonKADS 14.1 UML Background 14.2 Activity Diagram 14.3 State Diagram 14.4 Class Diagram 14.5 UseCase Diagram 14.6 General UML Constructs 14.7 A Small Case Study 14.8 Bibliographical Notes and Further Reading 15 Project Management 15.1 Control versus Flexibility: Striking the Balance 15.2 Project Planning: The CommonKADS LifeCycle Model 15.3 Assessing Risks 15.4 Plan: Setting Objectives through Model States 15.5 Notes on Quality and Project Documentation 15.6 Case: A Project on Nuclear Reactor Noise Analysis 15.7 How Not to Manage a KnowledgeSystem Project 15.8 Bibliographical Notes and Further Reading Appendix: KnowledgeModel Language A.1 Language Conventions A.2 Language Syntax A.3 Full Knowledge Model for the Housing Application Glossary of Graphical Notations References Index Côte titre : Fs/19786

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/19786	Fs/19786	Livre	Bibliothéque des sciences	Français	Disponible Disponible

Model checking / E. M. Clarke

Public ISBD Titre : Model checking Type de document : texte imprimé Auteurs : E. M. Clarke ; Orna Grumberg ; Doron A. Peled Editeur : Cambridge, Mass. : MIT Press Année de publication : 1999 Importance : 1 vol. (314 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-262-03270-4 Catégories : Informatique Mots-clés : Ordinateurs : Circuits : Conception et construction Structure logique Ordinateurs : Fiabilité Systèmes informatiques - Vérification Architecture des ordinateurs Index. décimale : 004.2 Analyse, conception et évaluation des systèmes informatiques Résumé : La vérification de modèle est une technique de vérification de systèmes concurrents à états finis tels que des conceptions de circuits séquentiels et des protocoles de communication. Il présente un certain nombre d'avantages par rapport aux approches traditionnelles basées sur la simulation, les tests et le raisonnement déductif. En particulier, la vérification du modèle est automatique et généralement assez rapide. De plus, si la conception contient une erreur, la vérification du modèle produira un contre-exemple qui pourra être utilisé pour localiser la source de l'erreur. La méthode, récompensée par le Prix ACM Paris Kanellakis de 1998 pour la théorie et la pratique, a été utilisée avec succès dans la pratique pour vérifier de véritables dessins industriels, et les entreprises commencent à commercialiser des vérificateurs de modèles commerciaux. Le principal défi dans la vérification de modèle est de traiter le problème d'explosion d'espace d'état. Ce problème se produit dans les systèmes avec de nombreux composants qui peuvent interagir entre eux ou avec des structures de données pouvant prendre plusieurs valeurs différentes. Dans de tels cas, le nombre d'états globaux peut être intense. Les chercheurs ont fait des progrès considérables sur ce problème au cours des dix dernières années. C'est la première présentation complète de la théorie et de la pratique de la vérification des modèles. Le livre, qui comprend des techniques, des algorithmes et des outils basiques et de pointe, peut être utilisé à la fois comme introduction au sujet et comme référence pour les chercheurs. Note de contenu : Sommaire Preface 1 Introduction 1.1 The Need for Formal Methods 1.2 Hardware and Software Verification 1.3 The Process of Model Checking 1.4 Temporal Logic and Model Checking 1.5 Symbolic Algorithms 1.6 Partial Order Reduction 1.7 Other Approaches to the State EXplosion Problem 2 Modeling Systems 2.1 Modeling Concurrent Systems 2.2 Concurrent Systems 2.3 EXample of Program Translation 3 Temporal Logics 3.1 The Computation Tree Logic CTL* 3.2 CTL and LTL 3.3 Fairness 4 Model Checking 4.1 CTL Model Checking 4.2 LTL Model Checking by Tableau 4.3 CTL* Model Checking 5 Binary Decision Diagram 5.1 Representing Boolean Formulas 5.2 Representing Kripke Structures 6 Symbolic Model Checking 6.1 FiXpoint Representations 6.2 Symbolic Model Checking for CTL 6.3 Fairness in Symbolic Model Checking 6.4 CountereXamples and Witnesses 6.5 An ALU EXample 6.6 Relational Product Computations 6.7 Symbolic LTL Model Checking 7 Model Checking for the µCalculus 7.1 Introduction 7.2 The Propositional µCalculus 7.3 Evaluating FiXpoint Formulas 7.4 Representing µCalculus Formulas Using OBDDs 7.5 Translating CTL into the µCalculus 7.6 CompleXity Considerations 8 Model Checking in Practice 8.1 The SMV Model Checker 8.2 A Realistic EXample 9 Model Checking and Automata Theory 9.1 Automata on Finite and Infinite Words 9.2 Model Checking Using Automata 9.3 Checking Emptiness 9.4 Translating LTL into Automata 9.5 OntheFly Model Checking 9.6 Checking Language Containment Symbolically 10 Partial OrderReduction 10.1 Concurrency in Asynchronous Systems 10.2 Independence and Invisibility 10.3 Partial Order Reduction for LTLX 10.4 An EXample 10.5 Calculating Ample Sets 10.6 Correctness of the Algorithm 10.7 Partial Order Reduction in SPIN 11 Equivalences and Preorders between Structures 11.1 Equivalence and Preorder Algorithms 11.2 Tableau Construction 12 Compositional Reasoning 12.1 Composition of Structures 12.2 Justifying AssumeGuarantee Proofs 12.3 Verifying a CPU Controller 13 Abstraction 13.1 Cone of Influence Reduction 13.2 Data Abstraction 14 Symmetry 14.1 Groups and Symmetry 14.2 Quotient Models 14.3 Model Checking with Symmetry 14.4 CompleXity Issues 14.5 Empirical Results 15 Infinite Families of FiniteState Systems 15.1 Temporal Logic for Infinite Families 15.2 Invariants 15.3 Futurebus+ EXample Reconsidered 15.4 Graph and Network Grammars 15.5 Undecidability Result for a Family of Token Rings 16 Discrete RealTime and Quantitative Temporal Analysis 16.1 RealTime Systems and RateMonotonic Scheduling 16.2 Model Checking RealTime Systems 16.3 RTCTL Model Checking 16.4 Quantitative Temporal Analysis: Minimum/MaXimum Delay 16.5 EXample: An Aircraft Controller 17 Continuous Real Time 17.1 Timed Automata 17.2 Parallel Composition 17.3 Modeling with Timed Automata 17.4 Clock Regions 17.5 Clock Zones 17.6 Difference Bound Matrices 17.7 CompleXity Considerations 18 Conclusion References IndeX Côte titre : Fs/19798 Model checking [texte imprimé] / E. M. Clarke ; Orna Grumberg ; Doron A. Peled . - Cambridge, Mass. : MIT Press, 1999 . - 1 vol. (314 p.) : ill. ; 24 cm. ISBN : 978-0-262-03270-4 Catégories : Informatique Mots-clés : Ordinateurs : Circuits : Conception et construction Structure logique Ordinateurs : Fiabilité Systèmes informatiques - Vérification Architecture des ordinateurs Index. décimale : 004.2 Analyse, conception et évaluation des systèmes informatiques Résumé : La vérification de modèle est une technique de vérification de systèmes concurrents à états finis tels que des conceptions de circuits séquentiels et des protocoles de communication. Il présente un certain nombre d'avantages par rapport aux approches traditionnelles basées sur la simulation, les tests et le raisonnement déductif. En particulier, la vérification du modèle est automatique et généralement assez rapide. De plus, si la conception contient une erreur, la vérification du modèle produira un contre-exemple qui pourra être utilisé pour localiser la source de l'erreur. La méthode, récompensée par le Prix ACM Paris Kanellakis de 1998 pour la théorie et la pratique, a été utilisée avec succès dans la pratique pour vérifier de véritables dessins industriels, et les entreprises commencent à commercialiser des vérificateurs de modèles commerciaux. Le principal défi dans la vérification de modèle est de traiter le problème d'explosion d'espace d'état. Ce problème se produit dans les systèmes avec de nombreux composants qui peuvent interagir entre eux ou avec des structures de données pouvant prendre plusieurs valeurs différentes. Dans de tels cas, le nombre d'états globaux peut être intense. Les chercheurs ont fait des progrès considérables sur ce problème au cours des dix dernières années. C'est la première présentation complète de la théorie et de la pratique de la vérification des modèles. Le livre, qui comprend des techniques, des algorithmes et des outils basiques et de pointe, peut être utilisé à la fois comme introduction au sujet et comme référence pour les chercheurs. Note de contenu : Sommaire Preface 1 Introduction 1.1 The Need for Formal Methods 1.2 Hardware and Software Verification 1.3 The Process of Model Checking 1.4 Temporal Logic and Model Checking 1.5 Symbolic Algorithms 1.6 Partial Order Reduction 1.7 Other Approaches to the State EXplosion Problem 2 Modeling Systems 2.1 Modeling Concurrent Systems 2.2 Concurrent Systems 2.3 EXample of Program Translation 3 Temporal Logics 3.1 The Computation Tree Logic CTL* 3.2 CTL and LTL 3.3 Fairness 4 Model Checking 4.1 CTL Model Checking 4.2 LTL Model Checking by Tableau 4.3 CTL* Model Checking 5 Binary Decision Diagram 5.1 Representing Boolean Formulas 5.2 Representing Kripke Structures 6 Symbolic Model Checking 6.1 FiXpoint Representations 6.2 Symbolic Model Checking for CTL 6.3 Fairness in Symbolic Model Checking 6.4 CountereXamples and Witnesses 6.5 An ALU EXample 6.6 Relational Product Computations 6.7 Symbolic LTL Model Checking 7 Model Checking for the µCalculus 7.1 Introduction 7.2 The Propositional µCalculus 7.3 Evaluating FiXpoint Formulas 7.4 Representing µCalculus Formulas Using OBDDs 7.5 Translating CTL into the µCalculus 7.6 CompleXity Considerations 8 Model Checking in Practice 8.1 The SMV Model Checker 8.2 A Realistic EXample 9 Model Checking and Automata Theory 9.1 Automata on Finite and Infinite Words 9.2 Model Checking Using Automata 9.3 Checking Emptiness 9.4 Translating LTL into Automata 9.5 OntheFly Model Checking 9.6 Checking Language Containment Symbolically 10 Partial OrderReduction 10.1 Concurrency in Asynchronous Systems 10.2 Independence and Invisibility 10.3 Partial Order Reduction for LTLX 10.4 An EXample 10.5 Calculating Ample Sets 10.6 Correctness of the Algorithm 10.7 Partial Order Reduction in SPIN 11 Equivalences and Preorders between Structures 11.1 Equivalence and Preorder Algorithms 11.2 Tableau Construction 12 Compositional Reasoning 12.1 Composition of Structures 12.2 Justifying AssumeGuarantee Proofs 12.3 Verifying a CPU Controller 13 Abstraction 13.1 Cone of Influence Reduction 13.2 Data Abstraction 14 Symmetry 14.1 Groups and Symmetry 14.2 Quotient Models 14.3 Model Checking with Symmetry 14.4 CompleXity Issues 14.5 Empirical Results 15 Infinite Families of FiniteState Systems 15.1 Temporal Logic for Infinite Families 15.2 Invariants 15.3 Futurebus+ EXample Reconsidered 15.4 Graph and Network Grammars 15.5 Undecidability Result for a Family of Token Rings 16 Discrete RealTime and Quantitative Temporal Analysis 16.1 RealTime Systems and RateMonotonic Scheduling 16.2 Model Checking RealTime Systems 16.3 RTCTL Model Checking 16.4 Quantitative Temporal Analysis: Minimum/MaXimum Delay 16.5 EXample: An Aircraft Controller 17 Continuous Real Time 17.1 Timed Automata 17.2 Parallel Composition 17.3 Modeling with Timed Automata 17.4 Clock Regions 17.5 Clock Zones 17.6 Difference Bound Matrices 17.7 CompleXity Considerations 18 Conclusion References IndeX Côte titre : Fs/19798

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/19798	Fs/19798	Livre	Bibliothéque des sciences	Français	Disponible Disponible

Structure and interpretation of computer programs / Harold Abelson

Permalink

---

1 (1 - 6 / 6)