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)
A new programming paradigm, an ontologic one, which is a developed paradigm of declarative programming, is described, as well as the data model the paradigm is based on and major language structures supported by examples.
A mathematical apparatus for describing the context-free grammars of artificial languages is presented: the syntax of the language to describe them is defined, as well as logical and generative semantics, and examples are provided to show how the suggested apparatus can be used.
—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)