D. E. Palchunov

Logical Methods for Modeling Reasoning, Concepts and Representations Based on the Partial Model Theory

2024

The article is devoted to the problem of formalization and modeling of human reasoning for their further automation and software implementation. The purpose of such automation can be the development of intellectual assistants in various …

Methods for Identifying and Resolving Contradictions in Document Texts

2024

The article is devoted to models theoretical approaches for detecting and processing contradictions in document texts. Contradictions arising in documents are divided into three types: logical, ontological and substantive. Logical contradictions arise when documents contain …