?
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
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
Kupriyanov Y. V., Taratukhin V., , in : 2015 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) held jointly with 2015 5th World Conference on Soft Computing (WConSC). : IEEE, 2015.
With this paper authors present the formalized approach for managing IS-enabled organizational transformation based on the adaptation of House of Quality technic. The provided approach uses fuzzy sets and multi-criteria decision-making methods to quantify relations between business benefits and organizational change management measures in order to support designing rational set of organizational change management measures ...
Added: November 29, 2016
Tsaregorodtsev A. V., Мырова Л. О., Михайлов В. А. et al., Технологии электромагнитной совместимости 2012 № 2 С. 79-89
Analysis of existing approaches to the use of intelligent methods for solving the problem of destructive electromagnetic effects’ detection is performed. It is proposed to use an intelligent systems based on neural networks integrated with the means of fuzzy logic to detect the destructive electromagnetic effects on infocommunication system. Such approach will take into account ...
Added: March 17, 2014
Cham : Springer, 2019
Intelligent Systems Conference (IntelliSys) 2018 is the fourth research conference in the series. This conference is a part of SAI conferences being held since 2013. The conference series has featured keynote talks, special sessions, poster presentation, tutorials, workshops, and contributed papers each year.
The conference focus on areas of intelligent systems and artificial intelligence (AI) and ...
Added: August 29, 2018
P., Beijing, Amsterdam : Atlantis Press, 2013
The 8th conference of the European Society for Fuzzy Logic and Technology, EUSFLAT-2013, took place in Milan, the industrial and business capital of Italy. The EUSFLAT 2013 Conference was hold at the premises of the University of Milano-Bicocca, Milan, Italy from September 11th to September 13th, 2013. The aim of the conference is to bring together theoreticians ...
Added: September 22, 2013
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
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
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
Romanyuk K., , in : SAI Intelligent Systems Conference 2015 (IntelliSys 2015). : L. : IEEE, 2015. P. 105-111.
Loan provision is associated with a credit risk. Banks assess the creditworthiness of potential borrowers to lower a credit risk. Creditworthiness assessment is carried out by credit scoring methods. Most of these methods classify individuals into two categories: `good' or `bad' creditworthiness. Decision support system for loan granting based on these methods fail to differentiate ...
Added: November 19, 2017
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
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
Springer, 2016
This volume of Advances in Intelligent Systems and Computing contains papers presented in the main track of IITI 2016, the First International Conference on Intelligent Information Technologies for Industry held in May 16-21 in Sochi, Russia. The conference was jointly co-organized by Rostov State Transport University (Russia) and VŠB – Technical University of Ostrava (Czech ...
Added: June 3, 2016
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
Dragalina-Chernaya E., СПб. : Алетейя, 2022
В монографии рассматриваются эпистемологические аспекты логического следования в теоретико-модельной и теоретико-доказательственной традициях. ...
Added: November 23, 2020
Kaufering : b-Quadrat Verlag, 2011
Soft Computing (SC) is a consortium of fuzzy logic (FL), neurocomputing (NC), evolutionary computing (EC), probabilistic computing (PC), chaotic computing (CC) and parts of machine learning theory (ML). SC is the foundation for computational intelligence and is leading to the development of numerous hybrid intelligent information, control and decision-making systems. The methodology of computing with ...
Added: November 13, 2013
Kutynina E., Lepskiy A., , in : Advances in Intelligent Systems and Computing. Vol. 456: Soft Methods for Data Science.: Springer, 2017. P. 293-302.
This paper is dedicated to the research of the dynamics of development and interactions among several scientific communities in the field of fuzzy logic and soft computing. This analysis was performed with the help of the following characteristics: conferences participants’ renewal, the level of cooperation in scientific communities, participation of one community’s key players in ...
Added: September 28, 2016
Beklemishev L. D., , in : Turing's Revolution. The Impact of His Ideas about Computability. Giovanni Sommaruga and Thomas Strahm, eds., Birkhäuser, Basel, 2015. : Basel : Birkhauser/Springer, 2015. P. 225-270.
Progressions of iterated reflection principles can be used as a tool for the ordinal analysis of formal systems. Moreover, they provide a uniform definition of a proof-theoretic ordinal for any arithmetical complexity Π0nΠn0. We discuss various notions of proof-theoretic ordinals and compare the information obtained by means of the reflection principles with the results obtained by ...
Added: March 13, 2016
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
Bukharov O., В кн. : Научно-техническая конференция студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского. Материалы конференции. : М. : МИЭМ НИУ ВШЭ, 2016. С. 56-58.
В работе описывается разработанная интеллектуальная система поддержки принятия решений (СППР). Рассмотрена проблема обработки нечеткой информации. Приведено описание разработанного модуля работы с нечеткими переменными, расширяющего область применения разработанной СППР. ...
Added: March 7, 2016
A N Varnavsky, Antonenco A. V., Journal of Physics: Conference Series 2017 Vol. 803 No. 1 P. 1-7
The paper presents a possibility of estimating a human cardiac pacemaker using combined application of nonlinear integral transformation and fuzzy logic, which allows carrying out the analysis in the real-time mode. The system of fuzzy logical conclusion is proposed, membership functions and rules of fuzzy products are defined. It was shown that the ratio of the value of a ...
Added: September 12, 2018
Kaufering : b-Quadrat Verlag, 2015
Added: February 28, 2016
Kaufering : b-Quadrat Verlag, 2013
The Seventh International Conference on Soft Computing, Computing with Words and Perceptions in System Analysis, Decision and Control aims at the development of Soft Computing and its Application is the Seventh of its kind. These fields have built upon mainly Fuzzy Logic originally introduced by L. Zadeh. Soft Computing (SC) is a consortium of fuzzy ...
Added: November 13, 2013
Istratov A., , in : International Conference on Control Problems, Moscow. : M. : ICP, 1999. P. 63-64.
Рассматривается синтез системы управления нелинейным динамическим объектом на базе искусственных нейронных сетей и нечеткой логики. ...
Added: June 8, 2014