Authors A.I. Mikov
Month, Year 06, 2014 @en
Index UDC 004.652.8; 510.643
Abstract The system of concepts and relationships for documents is proposed and formalized, both general and establishing certain norms. Sets of norms are studied from the information systems design point of view. Local and global norms are distinguished. Incompleteness of normative systems are took note. Among them, the notions of equivalence of documents (identity, equal strength), the original documents and copies, the edition, the document form, an abstract document system, duplication , abrogation and the regulatory document framework. The relation of document creation is constructed. Document structures are described. The systems of axioms describing the properties of introduced relations are developed. The formulas of the axioms use both classical and deontic logics. A dynamic graph is introduced as a mathematical model of a system of documents. Operations on systems of documents are introduced. Hierarchical systems of documents are defined. Within the class of documents the set of regulatory documents is distin-guished such that each document has own normative base. The algorithm for a search of the regulatory framework for a document is proposed. The presentation of the theory is accompanied by examples. The introduced system of notions, relations and axioms for normative documents allows to construct mathematical models for sets of interconnected documents in the subject area and to conduct its logical analysis during information system design process.

Download PDF

Keywords Ontology; document form; normative document; hierarchical system; deontic logic.
References 1. Воронцова Т.В., Лядова Л.Н., Миков А.И. Проект региональной информационной системы мониторинга образования // Стандарты и мониторинг в образовании. – 2002. – № 4. – С. 33.
2. Миков А.И. Информационные процессы и нормативные системы в IT: Математические модели. Проблемы проектирования. Новые подходы. – М.: Книжный дом «ЛИБРОКОМ», 2013. – 256 с.
3. Замятина Е.Б., Миков А.И. Инструментальные средства имитационного моделирования для анализа бизнес-процессов и управления рисками // Информатизация и связь. – 2011. – № 3. – С. 14-16.
4. Миков А.И. Аксиоматика отношений в предметных областях и реляционные отношения // Информатизация и связь. – 2013. – № 5. – С.70-74.
5. Jones A., Carmo J. Deontic logic and contrary-to duties // Handbook of Philosophical Logic (D. Gabbay, ed.) – Kluwer, 2001. – P. 203-279.
6. Миков А.И., Воробьев В.В. Моделирование агентов с деонтической логикой, функционирующих в распределенных системах // Информатизация и связь. – 2012. – № 5. – С. 82-85.
7. Wooldridge,M., van der Hoek W. On obligations and normative ability: Towards a logical analysis of the social contract // Journal of Applied Logic. – 2005. – Vol. 3. – P. 396–420.
8. Миков А.И. Модели сложности разделения и интеграции информационных систем // Информатизация и связь. – 2013. – № 2. – С. 92-96.

Comments are closed.