Attribute exploration in ring theory
by
Richard Holzer
TU-Darmstadt

In formal concept analysis attribute exploration can be used to get knowledge about the dependencies between the attributes of a context. Attribute exploration is an interactive computer algorithm. The algorithm askes the expert whether an attribute implication is valid in the (unknown) context and the expert must either answer ``yes'' or enter a counterexample for the implication. It is also possible to answer ``unknown''. In this case the algorithm can not compute all valid implications but it helps the expert to get maximal information (with respect to his knowledge) about the implications. The attribute exploration can be used in the ring theory to analyse some attributes of rings, for example commutative, right noetherian, factorial, etc. The exploration yields a base of all valid implications (that means every valid implication is derivable from the base) and a complete list of counterexamples, that means for every implication which is not valid in the universe of all rings there exists a counterexample in the list produced by the exploration in the ring theory.

Date received: February 7, 2002

Copyright © 2002 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caht-20.