Title :
Proof of correctness for ASOCS AA3 networks
Author :
Barker, Cory ; Martinez, Tony R.
Author_Institution :
Dept. of Comput. Sci., Brigham Young Univ., Provo, UT, USA
fDate :
3/1/1994 12:00:00 AM
Abstract :
Analyzes adaptive algorithm 3 (AA3) of adaptive self-organizing concurrent systems (ASOCS) and proves that AA3 correctly fulfills the rules presented. Several different models for ASOCS have been developed. AA3 uses a distributed mechanism for implementing rules so correctness is not obvious. An ASOCS is an adaptive network composed of many simple computing elements operating in parallel. An ASOCS operates in one of two modes: learning and processing. In learning mode, rules are presented to the ASOCS and incorporated in a self-organizing fashion. In processing mode, the ASOCS acts as a parallel hardware circuit that performs the function defined by the learned rules
Keywords :
learning (artificial intelligence); neural nets; self-adjusting systems; ASOCS AA3 networks; adaptive algorithm 3; adaptive network; adaptive self-organizing concurrent systems; distributed mechanism; incremental learning; parallel hardware circuit; Adaptive algorithm; Adaptive systems; Algorithm design and analysis; Circuits; Computer networks; Concurrent computing; Data processing; Hardware; Network topology; Training data;
Journal_Title :
Systems, Man and Cybernetics, IEEE Transactions on
