Learning algebraic structures from text using semantical knowledge

DOI10.1007/3-540-49730-7_24MaRDI QIDQ4247015zbMATH OpenFDO

Authors Y. Ventsov, Frank Stephan

Publication date 16 June 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-49730-7_24

zbMATH Keywords

BC-convergenceBC-learnercharacteristic indicesenumerable indicesEx-convergenceEx-learnerideals of a given ringlearning criterialearning of basic mathematical conceptsmonoids of a given groupNoetherian ringsordinal bound on the number of mind changessemantical knowledgesubspaces of a given vector space

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Computational learning theory (68Q32) Learning and adaptive systems in artificial intelligence (68T05) Symbolic computation and algebraic computation (68W30)

Recommendations

• Learning algebraic structures from text
• Learning families of algebraic structures from informant
• Inductive inference systems for learning classes of algorithmically generated sets and structures
• Learning expressions and programs over monoids

Cited in

(5)

• Calculating the mind change complexity of learning algebraic structures
• Learning families of algebraic structures from informant
• Architecture and evolution of semantic networks in mathematics texts
• Learning algebraic structures from text
• Mathematics based on incremental learning -- excluded middle and inductive inference

This page was built for publication: Learning algebraic structures from text using semantical knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247015)