?
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
P. 257–270.
Pavlova A., Lang T., Fermüller, C.
We introduce a game for (extended) Gödel logic where the players’ interaction stepwise reduces claims about the relative order of truth degrees of complex formulas to atomic truth comparison claims. Using the concept of disjunctive game states this semantic game is lifted to a provability game, where winning strategies correspond to proofs in a sequents-of-relations calculus.
In book
Vol. 1237. Issue 1. , Springer, 2020.
Zaitsev I., Логические исследования 2025 Т. 31 № 2 С. 143–168
This article presents a labeled Fitch-style natural deduction system, 𝓕IntCK, for the basic propositional intuitionistic conditional logic IntCK introduced by G.K. Olkhovikov. The logic IntCK serves as a correct intuitionistic counterpart to Chellas' minimal conditional logic CK, designed to accommodate Lewis' strong and weak counterfactual conditionals within a single framework. In order to do this, IntCK features two independent logical connectives, namely □→ and ◇→, ...
Added: November 23, 2025
Bulygina O. V., Kulyasov N.S., Yartsev D. D., Прикладная информатика 2024 Vol. 19 No. 1 P. 28–37
In recent years, bioinspired algorithms based on the use of a population approach and a probabilistic search strategy have become especially popular among researchers involved in multidimensional and multicriteria optimization. Such algorithms are based on the principles of cooperative behavior of a decentralized self-organizing colony of living organisms (bees, ants, birds, etc.) to achieve certain ...
Added: September 26, 2024
Кузалис А., Antoniou A., Rossides N. et al., BioSystems 2024 Vol. 245 Article 105312
The intersection of mathematical cognition, metacognition, and advanced technologies presents a frontier with profound implications for human learning and artificial intelligence. This paper traces the historical roots of these concepts from the Pythagoreans and Aristotle to modern cognitive science and explores their relevance to contemporary technological applications. We examine how the Pythagoreans' view of mathematics ...
Added: September 5, 2024
M.: [б.и.], 2021.
The Logical Perspectives Summer School and Workshop Series aims at giving advanced introductions into various branches of logic, and providing researchers — including early career scientists — with an opportunity to present their work.
In particular, LP 2021 Summer School (June 14–16) and Workshop (June 17–19) will focus on computational proof theory, broadly understood. The programme will comprise three ...
Added: December 14, 2021
Springer, 2021.
This book constitutes the proceedings of the 19th Russian Conference on Artificial Intelligence, RCAI 2021, held in Moscow, Russia, in October 2021.
The 19 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 80 submissions. The conference deals with a wide range of topics, categorized into the following topical ...
Added: October 28, 2021
Switzerland: Springer, 2019.
The book presents a remarkable collection of chapters covering a wide range of topics in the areas of intelligent systems and artificial intelligence, and their real-world applications. It gathers the proceedings of the Intelligent Systems Conference 2019, which attracted a total of 546 submissions from pioneering researchers, scientists, industrial engineers, and students from all around ...
Added: October 1, 2020
Kanovich M., Kuznetsov S., Scedrov A., Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239–256
The Lambek calculus can be considered as a version of non-commutative intuitionistic linear logic. One of the interesting features of the Lambek calculus is the so-called ‘Lambek’s restriction’, i.e. the antecedent of any provable sequent should be non-empty. In this paper, we discuss ways of extending the Lambek calculus with the linear logic exponential modality ...
Added: July 1, 2020
Nosovskiy M.M., Degtiarev K.Y., Proceedings of the Institute for System Programming of the RAS 2019 Vol. 31 No. 3 P. 99–122
E-commerce is a runaway activity growing at an unprecedented rate all over the world and drawing millions of people from different spots on the globe. At the same time, e-commerce affords ground for malicious behavior that becomes a subject of principal concern. One way to minimize this threat is to use reputation systems for trust ...
Added: September 13, 2019
Springer, 2020.
The book presents a remarkable collection of chapters covering a wide range of topics in the areas of intelligent systems and artificial intelligence, and their real-world applications. It gathers the proceedings of the Intelligent Systems Conference 2019, which attracted a total of 546 submissions from pioneering researchers, scientists, industrial engineers, and students from all around ...
Added: September 9, 2019
Atlantis Press, 2019.
The 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019), will take place in Prague, the capital of the Czech Republic on September 9-13, 2019. The main organizer of the conference is the Institute for Research and Applications of Fuzzy Modeling (IRAFM), University of Ostrava and the Czech Institute of Informatics, ...
Added: August 21, 2019
Ziyadin S., Streltsova E., Borodin A. I. et al., Sustainability 2019 No. 11(9) P. 1–16
This article is devoted to the creation of intelligent modelling tools for decision support in the evaluation of intellectual projects submitted for financing, as based on qualitatively defined characteristics. The economic and mathematical models that form the basis of the toolkit are constructed using the mathematical apparatus of fuzzy logic, which allows for the description ...
Added: May 15, 2019
Serova E., Sokolov B., Ivanov D. et al., International Journal of Risk Assessment and Management 2020 Vol. 23 No. 1 P. 106–118
The main problems and features of combined approach to the
complex objects control and management stability analysis are investigated in
the paper. Analytical-simulation scenarios and scenarios of intelligent models
and systems execution for complex objects control and management stability
analysis are given. The paper describes a particular group of models and
modelling systems – hybrid intelligent models and systems that ...
Added: April 1, 2019
Seletkov I. P., Yasnitsky L., , in: Advances in Intelligent Systems and ComputingVol. 850: Digital Science.: Switzerland: Springer, 2019. P. 443–449.
The article deals with the problem of creating a temperature regulator,
which does not require preliminary tuning for a specific production plant.
Authors proposed to use a matrix approach of fuzzy logic for this purpose. It
allows engineers to apply the linguistic rules formulated in the most general
form for industrial processes control. It also allows building simple control
algorithms ...
Added: January 10, 2019
Glukhoded E., Smetanin S., Proceedings of the Institute for System Programming of the RAS 2016 Vol. 28 No. 3 P. 7–20
The concept of Z-numbers introduced by Zade in 2011 is discussed topically nowadays due to it aptitude to deal with nonlinearities and uncertainties whose are common in real life. It was a large step of representing fuzzy logic, however that numbers created much larger problems of how to calculate them or aggregate multiple numbers of ...
Added: November 23, 2018
Babkin E., Demidovskij A., Business Informatics 2019 Vol. 13 No. 1 P. 18–32
In this paper a new approach to multi-criteria decision making was proposed, that is based on linguistic information taken from a group of autonomous experts. This approach provides opportunity to better analyze and find solutions for poorly structured problems with considering their multidimensionality and uncertainty of a context. One of the key components of the ...
Added: November 17, 2018
Cham: Springer, 2018.
This book constitutes the proceedings of the 16th Russian Conference on Artificial Intelligence, RCAI 2018, Moscow, Russia, in September 2018.
The 22 full papers presented along with 4 short papers in this volume were carefully reviewed and selected from 75 submissions. The conference deals with a wide range of topics, including data mining and knowledge discovery, text mining, ...
Added: November 10, 2018
Transformation of Russian Electricity Market Model after the Implementation of Blockchain Technology
Serova E., Айрапетян И. А., Колмыченко Д. О., , in: Conference Proceedings GSOM Emerging Market Conference 2018.: St. Petersburg: St. Petersburg University, 2018. P. 74–77.
The study focuses on the theoretical implementation of blockchain technology in Russian electricity
market. The authors attempt to model Russian electricity market schemes before and after the
implementation of blockchain along with its evaluation. The key findings of the research are the decrease
in the number of market participants and the reduction of electricity price in the blockchain-based ...
Added: November 2, 2018
Semenkovich S. A., Kolekonova O. I., Degtiarev K. Y., Proceedings of the Institute for System Programming of the RAS 2017 Vol. 29 No. 5 P. 19–38
Several known methods allow to estimate the overall effort(s) to be used up for the software development. The approach based on story points is preferable and quite common in the context of Sсrum agile development methodology. However, it might be rather challenging for people, who are new to this methodology or to a specific Scrum ...
Added: October 20, 2018
Serova E., Lukinskiy V., Логистика и управление цепями поставок 2018 № 4(87) С. 73–80
Success of any logistics enterprise in the context of digital economy progress directly depends on regular and effective innovations to the area of improving analytical applications and information systems in such actively developing fields of knowledge as strategic management, distribution networks development, and supply chain management. In an effort to ensure a sustainable economic circumstance ...
Added: September 27, 2018