TY - GEN

T1 - Methods for Identifying and Resolving Contradictions in Document Texts

AU - Palchunov, Dmitry E.

AU - Chernyavtseva, Svetlana I.

N1 - The study was carried out within the framework of the state contract of the Sobolev Institute of Mathematics (project no. FWNF-2022-0011).

PY - 2024/11/26

Y1 - 2024/11/26

N2 - 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 statements about regulations that are contradicted by descriptions of specific domain keys. Ontological contradictions arise when the information presented in a document or set of documents is in conflict with the ontology of a given subject area. The developed approach uses ontological homomorphisms and submodels of partial models. When identifying substantive contradictions, it is necessary to extract formal descriptions of situations from documents. The use of the mechanism of partial models is necessary for the formalization of situations, while the formalization of relations between situations is based on the use of ontological homomorphisms of partial models. The proposed methods are based on the construction of chains of the above-mentioned homomorphisms. When processing substantive contradictions, it is necessary to model dynamics using special constants-situations.

AB - 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 statements about regulations that are contradicted by descriptions of specific domain keys. Ontological contradictions arise when the information presented in a document or set of documents is in conflict with the ontology of a given subject area. The developed approach uses ontological homomorphisms and submodels of partial models. When identifying substantive contradictions, it is necessary to extract formal descriptions of situations from documents. The use of the mechanism of partial models is necessary for the formalization of situations, while the formalization of relations between situations is based on the use of ontological homomorphisms of partial models. The proposed methods are based on the construction of chains of the above-mentioned homomorphisms. When processing substantive contradictions, it is necessary to model dynamics using special constants-situations.

KW - Natural language processing

KW - atomic diagram

KW - contradiction detection

KW - document automation

KW - domain ontology

KW - four-level knowledge representation model

KW - neural and logical-semantic methods

KW - ontological homomorphism

KW - partial model

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-85212058640&origin=inward&txGid=726debfe77ee0e5ec333bf95bde1843d

UR - https://www.mendeley.com/catalogue/5d717f2b-13be-3fca-ac9f-af47943d32f7/

U2 - 10.1109/SIBIRCON63777.2024.10758488

DO - 10.1109/SIBIRCON63777.2024.10758488

M3 - Conference contribution

SN - 9798331532024

T3 - 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2024

SP - 327

EP - 332

BT - 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2024

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences

Y2 - 30 September 2024 through 2 November 2024

ER -