S. N. Vassilyev

Interactive generation of new knowledge based on automatic means of logical inference

2023 · Ontology of Designing

The work relates to the field of knowledge representation and algorithmization of their processing. To describe the subject of consideration by a set of statements and their processing, logical means of the first order type …