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

Volume

24

Issue

3

fYear

1994

fDate

3/1/1994 12:00:00 AM

Firstpage

503

Lastpage

510

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;

fLanguage

English

Journal_Title

Systems, Man and Cybernetics, IEEE Transactions on

Publisher

ieee

ISSN

0018-9472

Type

jour

DOI

10.1109/21.278998

Filename

278998