?
Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI/ECAI 2019)
2019.
While the traditional philosophical epistemology stresses the importance of distinguishing knowledge from true beliefs, the formalisation of this distinction with standard logical means turns out to be problematic. In Knowledge Representation (KR) as a Computer Science discipline this crucial distinction is largely neglected. A practical consequence of this neglect is that the existing KR systems store and communicate knowledge that cannot be verified and justified by users of these systems without external means. Information obtained from such systems does not qualify as knowledge in the sense of philosophical epistemology.
Recent advances in the research area at the crossroad of the computational mathematical logic, formal epistemology and computer science open new perspectives for an effective computational realisation of justificatory procedures in KR. After exposing the problem of justification in logic, epistemology and KR, we sketch a novel framework for representing knowledge along with relevant justificatory procedures, which is based on the Homotopy Type theory (HoTT). This formal framework supports representation of both propositional knowledge, aka knowledge-that, and non-propositional knowledge, aka knowledge-how or procedural knowledge. The default proof-theoretic semantics of HoTT allows for combining the two sorts of represented knowledge at the formal level by interpreting all permissible constructions as justification terms (witnesses) of associated propositions.
Chapters
Galatenko A. V., Nersisyan S., Pankratieva V., , in: Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI/ECAI 2019).: [б.и.], 2019. P. 65–74.
nterval pattern concepts are a particular case of patternstructures. They can be used to clusterize rows of a numerical formalcontext (data matrix): two rows are close to each other if their entriesat the corresponding positions fall within a given interval.The problem of mining interval pattern concepts has much in commonwith the known problem related to ...
Added: April 28, 2020
Shabanov N., Kuricheva O., Kurbatova J. et al., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
The carbon balance of an ecosystem is the difference between Gross Primary Productivity (GPP) and Ecosystem Respiration (Reco) as expressed by Net Ecosystem Exchange (NEE). While remote sensing retrievals of GPP have reached maturity, Reco estimation remains underexplored and ultimately cast bias on NEE. Here we present an end-to-end multi-scale analysis of the mechanism of ...
Added: August 21, 2026
Митлянская М. Б., Вестник Пермского университета. Философия. Психология. Социология 2020 № 3 С. 384–394
The paper explores Martin Heidegger’s concept of the «history of being». This concept was created in the philosopher’s late period. Critically analyzing the own paths of existential philosophy revealed in Being and Time, Heidegger gradually forms a spectrum of being-historical notions that will occupy a central po sition in contemplation after «the turn». The methods ...
Added: July 30, 2026
Ponomarenko A., / Series Computer Science "arxiv.org". 2025.
This paper addresses the challenge of merging hierarchical navigable small world (HNSW) graphs, a critical operation for distributed systems, incremental indexing, and database compaction. We propose three algorithms for this task: Naive Graph Merge (NGM), Intra Graph Traversal Merge (IGTM), and Cross Graph Traversal Merge (CGTM). These algorithms differ in their approach to vertex selection ...
Added: July 30, 2026
Piontkovski D., / Series arXiv "math". 2026.
A noncommutative projective variety is defined, following Artin and Zhang, by a graded coherent algebra 𝐴. The category of coherent sheaves is then the quotient qgr(𝐴) of the category of finitely presented graded modules by the subcategory of torsion modules. We consider the categorical and polynomial entropies of the Serre twist, that is, of the ...
Added: June 23, 2026
Piontkovski D., / Series arXiv "math". 2025.
If a symmetric multilinear algebra is weakly nil, then it is Engel. This result may be regarded as an infinite-dimensional analogue of the well-known Jacobian theorem, which states that if a polynomial mapping has a polynomial inverse, then its Jacobian matrix is invertible. This refines a theorem of Gerstenhaber and partially answers a question posed ...
Added: June 23, 2026
Shipilov F., Barnyakov A., Ivanov A. et al., / Series Physics "arxiv.org". 2026.
A fast simulation of the detector response is a vital task in high-energy physics (HEP). Traditional Monte-Carlo methods form the backbone of modern particle physics simulation software but are computationally expensive. We present a machine-learning-based approach to fast simulation of the Focusing Aerogel Ring Imaging Cherenkov (FARICH) detector response. Given a particle track and momentum, ...
Added: May 19, 2026
Derkacheva A., Sakirkina M., Kraev G. et al., /. 2026.
Comprehensive data on natural hazards and their consequences are crucial for effective for risk assessment, adaptation planning, and emergency response. However, many countries face challenges with fragmented, inconsistent, and inaccessible data, particularly regarding local-scale events. To address this data gap in Russia, we developed an end-to-end processing pipeline that scrapes news from various online sources, ...
Added: April 28, 2026
Pilé I., Deng Y., Shchur L., / Series arXiv "math". 2026. No. 2604.10254.
We investigate the spatial overlap of successive spin configurations in Markov chain Monte Carlo simulations using the local Metropolis algorithm and the Svendsen-Wang and Wolff cluster algorithms. We examine the dynamics of these algorithms for two models in different universality classes: the Ising model and the Potts model with three components. The overlap of two ...
Added: April 20, 2026
Gabdullin N., Androsov I., / Series Computer Science "arxiv.org". 2026.
Label prediction in neural networks (NNs) has O(n) complexity proportional to the number of classes. This holds true for classification using fully connected layers and cosine similarity with some set of class prototypes. In this paper we show that if NN latent space (LS) geometry is known and possesses specific properties, label prediction complexity can ...
Added: April 2, 2026
Tulchinskii G. L., СПб.: Политех-Пресс, 2025.
This monograph is devoted to the analysis of reality, one of the most complex and polysemantic concepts in contemporary philosophy.It presents various approaches and methods for analyzing reality, including methodological research, historical-philosophical analysis, and socio-critical analysis. The monograph combines research from various fields of philosophical knowledge, including the philosophy of science, ontology, logic, epistemology, social philosophy, and aesthetics. ...
Added: January 29, 2026
D.B. Tiskin, Frolov K., Herald of the Russian Academy of Sciences 2025 Vol. 95 No. 1 P. 26–33
By de re propositional attitude ascription for rhetorical purposes we will understand uttering a modal statement wherein the speaker deliberately uses a description of the object of an attitude that is knowingly unavailable for the attitude holder. As the existence of the de re rhetorical statement class is revealed, it gives rise to two questions, which will be the primary concern ...
Added: January 26, 2026
Sorokin K., Beketov M., Онучин А. et al., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Community detection in complex networks is a fundamental problem, open to new approaches in various scientific settings. We introduce a novel community detection method, based on Ricci flow on graphs. Our technique iteratively updates edge weights (their metric lengths) according to their (combinatorial) Foster version of Ricci curvature computed from effective resistance distance between the ...
Added: January 15, 2026
Speranski S. O., Studia Logica 2017 Vol. 105 No. 2 P. 407–429
The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general. ...
Added: December 26, 2025
Petrovanov I., Sergeev A., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Transport coding reduces message delay in packet-switched networks by introducing controlled redundancy at the transport layer: original packets are encoded into coded packets, and the message is reconstructed after the first successful deliveries, effectively shifting latency from the maximum packet delay to the -th order statistic. We present a concise, reproducible discrete-event implementation of transport coding in OMNeT++, including ...
Added: December 24, 2025
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Elvimov N. S., / Series arXie "Statistical mechanics". 2025.
Accurate segmentation of blood vessels in brain magnetic resonance angiography (MRA) is essential for successful surgical procedures, such as aneurysm repair or bypass surgery. Currently, annotation is primarily performed through manual segmentation or classical methods, such as the Frangi filter, which often lack sufficient accuracy. Neural networks have emerged as powerful tools for medical image ...
Added: December 1, 2025
Mikirtumov I., Эпистемология и философия науки 2024 Т. 61 № 2 С. 95–113
I connect the idea of an existential turn in philosophical science, presented by Ilya Kasavin and Vladimir Porus in their recent article, with the problem of rationality and culture crisis, as well as the opposition of profession and vocation in Max Weber’s famous speech on politics. I offer an analysis of the structure of vocation to politics and to ...
Added: June 17, 2024
Magai German, Soroka A., , in: Advances in Neural Computation, Machine Learning, and Cognitive Research VIIVol. 1120.: Studies in Computational Intelligence, 2023.
The basis of transfer learning methods is the ability of deep neural networks to use knowledge from one domain to learn in another domain. However, another important task is the analysis and explanation of the internal representations of deep neural networks models in the process of transfer learning. Some deep models are known to be ...
Added: October 29, 2023
Switzerland: Springer, 2023.
Added: September 27, 2023
Moiseeva A., Философия. Журнал Высшей школы экономики 2019 Т. 3 № 3 С. 218–240
This article is an attempt to find a new way of justifying H. Putnam’s conception of
internal realism and, more broadly, any conceptions that use nontraditional (weakened) forms
of realism. The main idea of the article is that the adoption of this or some similar conception
is already justified by the pragmatic need to preserve epistemology as a ...
Added: September 19, 2023
Khan K., Философия. Журнал Высшей школы экономики 2021 Т. 5 № 1 С. 136–158
The article offers a comparative study of the concepts of “historical mood” in the works of V.V. Bibikhin and P. Ricoeur. The efficiency of the comparative study can be founded by the common intellectual context, the common influence of such authors as Aristotle, Augustine, M. Heidegger, on P. Ricoeur and V.V. Bibikhin. It is also ...
Added: February 28, 2023
Беликов А. А., Зайцев Д. В., Bobrova A. et al., СПб.: Алетейя, 2022.
Книга посвящена философии аргументации – новому разделу философского и логического знания, изучающему природу и особенности аргументации как интеллектуальной, практической и социально-коммуникативной деятельности. Обсуждаются логические, эпистемологические, лингво-прагматические и когнитивные аспекты обоснования и опровержения, защиты и критики мнений, а также лингвистические средства их выражения, уточняются функции и статусы агентов аргументации в спорах. Авторы предлагают способы моделирования, репрезентации ...
Added: January 31, 2023
Prusova I., Bogatyreva N., Agadullina E., Вестник Российского университета дружбы народов. Серия: Психология и педагогика 2022 Т. 19 № 4 С. 781–797
In recent years, researchers have been focusing on a wide range of different constructs to study legitimizing grounds in socio-political relations. Political system justification, social dominance orientation (dominance and anti-egalitarianism) and political conservatism are considered as attitudes containing various grounds for legitimizing the currently existing socio-political relations (status quo). Maintaining these attitudes is associated with ...
Added: January 23, 2023
Mikhailovsky A., Философия. Журнал Высшей школы экономики 2022 Т. 6 № 1 С. 330–336
In this article, the author examines the concept of truth by M. Heidegger in the light of social and epistemological issues. He believes that “truth as unconcealment” is a more productive approach than the theory of correspondence or coherence, since it is able to capture a number of socio-humanitarian concepts where verification is complicated. The ...
Added: April 1, 2022
Mikhailovsky A., Философия. Журнал Высшей школы экономики 2022 Т. 6 № 1 С. 281–301
In this article, the author examines the concept of truth by M. Heidegger in light of social and epistemological issues. He believes that “truth as unconcealment” is a more productive approach than the theory of correspondence or coherence since it can capture a number of socio-humanitarian concepts where verification is complicated. The author believes that ...
Added: April 1, 2022