This research use Ant Colony Optimization algorithm to solve system induction
problems. System’s Input-Output specifications are used to direct the solution
space. Such specification gives system behaviors rather than its structure. Finite
State Automata are constructing in terms of input(s), state, and output(s), it
analyses system behavior in a way that shares some features with data flow
and control flow approaches. The evolutionary process adapts Ant Colony
Optimization algorithm to search for a good Finite State Automata that
efficiently satisfies input output specifications of the problem.
Keywords: ACO, Mult-iagent, System theory.