Über darstellungen von Verbänden mit -Idealen gerichteter Gruppen
We define an ultra -ideal of a lattice implication algebra and give equivalent conditions for an -ideal to be ultra. We show that every subset of a lattice implication algebra which has the finite additive property can be extended to an ultra -ideal.
A mistake concerning the ultra -ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an -ideal to be an ultra -ideal are given. Moreover, the notion of an -ideal is extended to -algebras, the notions of a (prime, ultra, obstinate, Boolean) -ideal and an -ideal of an -algebra are introduced, some important examples are given, and the following notions are proved to be equivalent in -algebra: (1) prime proper -ideal and Boolean -ideal,...
L'apprentissage automatique à partir d'exemples consiste généralement à caractériser un ensemble d'objets dénotant un concept. Nous avons développé deux méthodes d'apprentissage symbolique, LEGAL et LEGAL-E, qui s'appuient sur le même modèle d'apprentissage, et utilisent une technique de généralisation descendante, basée sur la logique des propositions et sur la structure de treillis de Galois, pour produire un ensemble de descriptions structurées et ordonnées. Elles diffèrent dans leur approche...