AIDE 0.2

Ali Khalili, Armando Tacchella — Fri, 03 Jan 2014 18:01:06 -0000

Automata-learning includes techniques to construct (learn/identify) model of a given -black box- system in which its underlying model is an automaton in an automatic way.

Like other -machine- learning approaches, it can be categorized as offline/passive and online/active way. The main focus of AIDE is to provide active automata-learning in which there is a teacher (also called oracle) who knows the model of system and is able to answer two kinds of queries: membership queries and equivalence queries.

Note that in black-box system, we do not have the underlying model of system and so, the there is no real oracle who can answer equivalence queries. So, we should provide a way to approximate the equivalence queries. The solution is usually using testing to approximate the equivalence queries.

mloss.org AIDE

AIDE 0.2