Fifth International Conference on Tools with Artificial Intelligence: TAI '93 : Proceedings, November 8-11, 1993, Boston, Massachusetts |
Contents
Will Symbolic AI Be Replaced by Neural Networks? | 1 |
Transform Coding by Lateral Inhibited Neural Nets | 14 |
Logical and Linear Dependencies Extraction from Trained Neural Networks | 30 |
Copyright | |
33 other sections not shown
Other editions - View all
Common terms and phrases
active agents algorithm applications approach architecture Artificial Intelligence attributes Bayesian networks beam search beam width belief revision Boolean clause CLP(R components concept consistent constraint satisfaction problems cost error databases decision table decision tree defined denote described developed domain dynamic efficient evaluation example expert system Figure formula function fuzzy Genetic Algorithms goal graph heuristic hierarchy hypotheses hypothetical reasoning IEEE Int.'l Conf implemented inference input instances knowledge base knowledge representation language layer learning linear Logic Programming Machine Learning matching method netels neural network node nogood object object-oriented operation optimal output paper parallel parameters partition pattern map performance predicate Proc procedure produced Prolog query relation represent rules sample SD-Form segments semantic simulated annealing simulation slot solution specific strategy structure symbols task techniques theorem tion Tools variable vector version space