Alexander Kleschev

Learn More
Ontology specification languages, ontologies of different levels of abstraction, knowledge and data are useful in the life cycle of knowledge-based systems. Since methods of processing some of these kinds of information are still in a research stage, new formalisms for representation of this information are proposed. As a result, extra efforts on developing(More)
Statements of the major tasks of inductive formation of knowledge are suggested. These are classifications and clusterings, which are part of machine learning and are applied for dependence models with parameters that are not flawed in their traditional statement. An algorithm for knowledge base formation is presented for learning samples in almost(More)
—In this report various schemes for checking correctness of mathematical proofs are considered. A project of interactive theorem proving based on cloud computing is presented. The main features of this project are extendable language for representing mathematical propositions, extendable calculus of a higher order, two models for intuitive proofs, and also(More)
  • 1