Хранение теории какой-либо предметной области в одном месте и ведение её (в том числе формализация) коллективными усилиями возможно при современном развитии техники. Достигаемая при этом концентрация и выверка знаний должны дать мощное упорядочение теоретических знаний, что облегчит их формализацию (математическую запись), а значит и алгоритмическую обработку во многих случаях вплоть до полуавтоматического доказательства различного рода следствий, например, теорем. В сообщении представлен каркас теории для единого хранения и коллективного накопления знаний.

Пример каркаса теории неориентированных графов приведен в [1] [2]. Источник знаний, собранных в каркасе - учебник [3]. Формулировка содержательных определений как компонентов каркаса - нетривиальный процесс [4].

Построение каркасов теоретических знаний в естественных науках (за пределами математики) - отдельная тема. В качестве примера естественной науки рассматривается геномика; в качестве основы ее каркаса - онтология GENO [5].

Каркасы теорий могут быть полезны для таких проектов, как Архив формальных доказательств [6] и Wolfram Knowledgebase [7].

В целом же они должны стать стандартным способом хранения, ведения и применения теоретических знаний в эпоху Интернет.

Для специалистов по принципам, методам и применениям систем управления базами данных и технологий управления данными могут быть интересны как работы по созданию промышленной версии каркаса теорий, так и создание каркасов теоретических знаний об их предметных областях.

Слайды презентации размещены на research gate [8] и academia.edu [9].

Слайды доклада

Видео доклада.

Литература:

1. Каркас теории неориентированных графов. URL: https://drive.google.com/drive/folders/1vECudirBBOhe6WzotovOjmPkI3H1R5Lj?usp=sharing
2. Каркас теории - концентратор знаний. URL: https://docs.google.com/document/d/1tZUQhaLtTzZOY5Bj-ZZ9a-wrGrnSldCFlAiia6yjY5Q/edit?usp=sharing
3. Графы, сети и алгоритмы. М. «Мир», 1984. / M. N. S. Swamy, K. Thulasiraman. Graphs, Networks, and Algorithms. Wiley, 1981.
4. S. Seppala, A. Ruttenberg, B. Smith. Guidelines for writing definitions in ontologies. Ciencia da Informacao 46 (1): 73-88 (2017)
5. Genotype Ontology. URL: http://obofoundry.org/ontology/geno.html
6. The Archive of Formal Proofs. URL: https://www.isa-afp.org/
7. Wolfram Knowledgebase. URL: https://www.wolfram.com/knowledgebase/index.php.ru
8. Alex Shkotin. Theory framework as a knowledge hub. URL: https://www.researchgate.net/publication/374742759_Theory_framework_as_a_knowledge_hub_message_1
9. Alex Shkotin. Theory framework as a knowledge hub. 2023. URL: https://www.academia.edu/108202491/Theory_framework_as_knowledge_hub_message_1_pres_