Automatic Construction of Implicative Theories for Mathematical Domains

Artem Revenko (Autor)

Buch | Softcover

122 Seiten

2015
Shaker (Verlag)
978-3-8440-3919-1 (ISBN)

Infos

Implication is a logical connective corresponding to the rule of causality "if ... then ...". Implications allow one to organize knowledge of some field of application in an intuitive and convenient manner. This thesis explores possibilities of automatic construction of all valid implications (implicative theory) in a given field. As the main method for constructing implicative theories a robust active learning technique called Attribute Exploration was used. Attribute Exploration extracts knowledge from existing data and offers a possibility of refining this knowledge via providing counter-examples. In frames of the project implicative theories were constructed automatically for two mathematical domains: algebraic identities and parametrically expressible functions. This goal was achieved thanks both pragmatical approach of Attribute Exploration and discoveries in respective fields of application. The two diverse application fields favourably illustrate different possible usage patterns of Attribute Exploration for automatic construction of implicative theories.

Produkt-Details

• Erscheinungsdatum: 02.10.2015
• Reihe/Serie: Berichte aus der Informatik
• Verlagsort: Aachen
• Sprache: englisch
• Maße: 148 x 210 mm
• Gewicht: 180 g
• Einbandart: Paperback
• Themenwelt: Informatik ► Theorie / Studium ► Algorithmen
• Schlagworte: Active learning • algebraic identities • algorithms • attribute exploration • Computational Logic • expressibility of functions • formal concept analysis • implication
• ISBN-10: 3-8440-3919-8 / 3844039198
• ISBN-13: 978-3-8440-3919-1 / 9783844039191
• Zustand: Neuware