作者: Jean-Gabriel Ganascia
DOI:
关键词:
摘要: Designed for an operational prospect, the CHARADE system automatically learns consistent rule systems from a description language, set of axioms reflecting language semantics and examples. The technique advocated below is based on "generate test" mechanism where space explored more general to specific descriptions. Rules properties be obtained are translated into exploration procedure constraints thanks formalization learning with two Boolean lattices.The underlying theoretical framework allows both justify heuristics conventionnaly used similarity based-learning introduce global satisfied by during its construction.