Listing 1 - 10 of 19 | << page >> |
Sort by
|
Choose an application
Learning System --- Knowledge Representation --- Semantic Network --- Probability --- Fault Tolerant --- Induction --- Uncertainty --- Heuristic --- Artificial intelligence
Choose an application
Choose an application
Choose an application
Parallel processing for AI problems is of great current interest because of its potential for alleviating the computational demands of AI procedures. The articles in this book consider parallel processing for problems in several areas of artificial intelligence: image processing, knowledge representation in semantic networks, production rules, mechanization of logic, constraint satisfaction, parsing of natural language, data filtering and data mining. The publication is divided into six sections. The first addresses parallel computing for processing and understanding images. The second discusses parallel processing for semantic networks, which are widely used means for representing knowledge - methods which enable efficient and flexible processing of semantic networks are expected to have high utility for building large-scale knowledge-based systems. The third section explores the automatic parallel execution of production systems, which are used extensively in building rule-based expert systems - systems containing large numbers of rules are slow to execute and can significantly benefit from automatic parallel execution. The exploitation of parallelism for the mechanization of logic is dealt with in the fourth section. While sequential control aspects pose problems for the parallelization of production systems, logic has a purely declarative interpretation which does not demand a particular evaluation strategy. In this area, therefore, very large search spaces provide significant potential for parallelism. In particular, this is true for automated theorem proving. The fifth section considers the problem of constraint satisfaction, which is a useful abstraction of a number of important problems in AI and other fields of computer science. It also discusses the technique of consistent labeling as a preprocessing step in the constraint satisfaction problem. Section VI consists of two articles, each on a different, important topic. The first discusses parallel formulation for the Tree Adjoining Grammar (TAG), which is a powerful formalism for describing natural languages. The second examines the suitability of a parallel programming paradigm called Linda, for solving problems in artificial intelligence. Each of the areas discussed in the book holds many open problems, but it is believed that parallel processing will form a key ingredient in achieving at least partial solutions. It is hoped that the contributions, sourced from experts around the world, will inspire readers to take on these challenging areas of inquiry.
Choose an application
Choose an application
Choose an application
Choose an application
This second volume is arranged in four sections: Analysis contains papers which compare the attributes of various approaches to uncertainty. Tools provides sufficient information for the reader to implement uncertainty calculations. Papers in the Theory section explain various approaches to uncertainty. The Applications section describes the difficulties involved in, and the results produced by, incorporating uncertainty into actual systems.
681.3*E4 --- 681.3*I23 --- Coding and information theory: data compaction and compression; formal modelsof communication; nonsecret encoding schemes--See also {681.3*H11} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*E4 Coding and information theory: data compaction and compression; formal modelsof communication; nonsecret encoding schemes--See also {681.3*H11} --- Artificial intelligence. --- Problem solving. --- Uncertainty (Information theory) --- Measure of uncertainty (Information theory) --- Shannon's measure of uncertainty --- System uncertainty --- Information measurement --- Probabilities --- Questions and answers --- Methodology --- Psychology --- Decision making --- Executive functions (Neuropsychology) --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Artificial intelligence --- Knowledge Representation --- Uncertainty
Choose an application
519.22 --- Pattern perception --- #TELE:SISTA --- 519.2 --- Design perception --- Pattern recognition --- Form perception --- Perception --- Figure-ground perception --- Statistical theory. Statistical models. Mathematical statistics in general --- Probability. Mathematical statistics --- Discriminant analysis --- Cluster analysis --- 519.2 Probability. Mathematical statistics --- 519.22 Statistical theory. Statistical models. Mathematical statistics in general --- Cluster Analysis --- Pattern Recognition, Automated --- Statistics as Topic --- Analysis, Discriminant --- Classification theory (Statistics) --- Discrimination theory (Statistics) --- Multivariate analysis --- Area Analysis --- Correlation Studies --- Correlation Study --- Correlation of Data --- Data Analysis --- Estimation Technics --- Estimation Techniques --- Indirect Estimation Technics --- Indirect Estimation Techniques --- Multiple Classification Analysis --- Service Statistics --- Statistical Study --- Statistics, Service --- Tables and Charts as Topic --- Analyses, Area --- Analyses, Data --- Analyses, Multiple Classification --- Analysis, Data --- Analysis, Multiple Classification --- Area Analyses --- Classification Analyses, Multiple --- Classification Analysis, Multiple --- Data Analyses --- Data Correlation --- Data Correlations --- Estimation Technic, Indirect --- Estimation Technics, Indirect --- Estimation Technique --- Estimation Technique, Indirect --- Estimation Techniques, Indirect --- Indirect Estimation Technic --- Indirect Estimation Technique --- Multiple Classification Analyses --- Statistical Studies --- Studies, Correlation --- Studies, Statistical --- Study, Correlation --- Study, Statistical --- Technic, Indirect Estimation --- Technics, Estimation --- Technics, Indirect Estimation --- Technique, Estimation --- Technique, Indirect Estimation --- Techniques, Estimation --- Techniques, Indirect Estimation --- Automated Pattern Recognition --- Pattern Recognition System --- Pattern Recognition Systems --- Disease Clustering --- Clustering --- Analyses, Cluster --- Analysis, Cluster --- Cluster Analyses --- Clustering, Disease --- Clusterings --- Clusterings, Disease --- Disease Clusterings --- Correlation (Statistics) --- Spatial analysis (Statistics) --- Mathematical statistics --- Cluster Analysis. --- Pattern Recognition, Automated. --- Statistics as Topic. --- Pattern Recognition --- Cluster analysis. --- Discriminant analysis. --- Pattern perception. --- Classification automatique (Statistique) --- Analyse discriminante --- Perception de structure --- Classification automatique (statistique) --- Perception des structures --- Reconnaissance des formes (informatique) --- Méthodes statistiques. --- Mathematical statistics. --- Statistique mathématique.
Choose an application
Artificial intelligence --- Uncertainty (Information theory) --- Incertitude (Théorie de l'information) --- 681.5.015 --- Coding and information theory: data compaction and compression; formal modelsof communication; nonsecret encoding schemes--See also {681.3*H11} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Identification, modelling, parameters etc. --- 681.5.015 Identification, modelling, parameters etc. --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*E4 Coding and information theory: data compaction and compression; formal modelsof communication; nonsecret encoding schemes--See also {681.3*H11} --- 681.3*E4 --- 681.3*I23 --- Artificial intelligence. --- Intelligence artificielle --- Incertitude (Théorie de l'information)
Listing 1 - 10 of 19 | << page >> |
Sort by
|