Non-Tarskian interpretations of many-valued logics have been widely explored in the logic literature. The development of non-tarskian conceptions of logical consequence set the theoretical foundations for rediscovering well-known (Tarskian) many-valu...
Much attention is focused on the relationship between rough sets and many-valued modal logic to deal with approximate reasoning. This paper discusses the graded modal logic and puts forward the graded many-valued modal logic G(S5). Secondly, by emplo...
This paper addresses the theoretical issues in k-valued logic, which are crucial for developing solutions in various fields of science and technology. One of the fundamental issues is a complete description of the closed classes of functions of three...
The Landauer principle asserts that “the information is physical”. In its strict meaning, Landauer’s principle states that there is a minimum possible amount of energy required to erase one bit of information, known as the Landauer...
Possibility and probability are the two aspects of uncertainty, where uncertainty represents the ignorance of a given individual. The notion of alternative (or event) belongs to the domain of possibility. An event is intrinsically subdivisible and a...
The S-box is a key component of modern ciphers, determining the quality and performance of the cryptographic algorithms in which it is applied. Many constructions for synthesizing high-quality S-boxes have been established, and those based on Galois...
Many-valued (MV; the many-valued logics considered by Łukasiewicz)-algebras are algebraic systems that generalize Boolean algebras. The MV-algebraic probability theory involves the notions of the state and observable, which abstract the probability m...
This paper introduces bipolar fuzzy sub-hoops and bipolar fuzzy filters within hoop algebras, extending fuzzy logic to incorporate both positive and negative membership degrees. We define these structures, explore their algebraic properties, and esta...
Institution theory represents the fully axiomatic approach to model theory in which all components of logical systems are treated fully abstractly by reliance on category theory. Here, we survey some developments over the last decade or so concerning...
Considering links between logic and physics is important because of the fast development of quantum information technologies in our everyday life. This paper discusses a new method in logic inspired from quantum theory using operators, named Eigenlog...
The newly emerging branch of research of Computer Science received encouragement from the successors of the Warsaw mathematical school: Kuratowski, Mazur, Mostowski, Grzegorczyk, and Rasiowa. Rasiowa realized very early that the spectrum of computer...
We consider a semantics based on the peculiar holistic features of the quantum formalism. Any formula of the language gives rise to a quantum circuit that transforms the density operator associated to the formula into the density operator associated...
When it comes to the writing of a new logic program or theory, it is of great importance to obtain a concise and minimal representation, for simplicity and ease of interpretation reasons. There are already a few methods and many tools, such as Karnau...
Gaisi Takeuti introduced Boolean valued analysis around 1974 to provide systematic applications of the Boolean valued models of set theory to analysis. Later, his methods were further developed by his followers, leading to solving several open proble...
Unmanned network robotics is a new multidisciplinary field that involves many fields of computer networks, multi-agent systems, control theory, 5G and 6G Internet, computer security, and wireless quantum communications. Efficient conjugation of such...
This paper presents an implementation of a new robust control strategy based on an interval type-2 fuzzy logic controller (IT2-FLC) applied to the wind energy conversion system (WECS). The wind generator used was a variable speed wind turbine based o...
In recent years, the Markov Logic Network (MLN) has emerged as a powerful tool for knowledge-based inference due to its ability to combine first-order logic inference and probabilistic reasoning. Unfortunately, current MLN solutions cannot efficientl...
A RAM cell, one of the components that greatly affects the performance of quantum computing, outputs mostly stored values on quantum-dot cellular automata (QCA) as they are. Currently, a problem is that the stored value may be initialized according t...
A new demarcation is proposed between Natural Philosophy and non-Natural Philosophy—philosophy tout court—based on whether or not they follow a non-standard logic of real processes. This non-propositional logic, Logic in Reality (LIR), is...
Wireless sensor networks (WSNs) have been commonly utilized in event detection and environmental observation applications. The main aim of event detection is to define the presence or absence of an event. Various existing studies in the field of even...
This paper presents an investigation factors that need to be considered in the design and selection of components for the conversion of a fleet of plug-in electric golf carts at Princess Nourah Bint Abdelrahman University, (PNU), Riyadh, Kingdom of S...
Soft-Error Vulnerability (SEV) is a parameter used to evaluate the robustness of a circuit to the induced Soft Errors (SEs). There are many techniques for SEV estimation, including analytical, electrical and logic simulations, and emulation-based app...
6 August 2021
Due to the large number of elderly people with physical and cognitive issues, there is a strong need to provide indoor location systems that help caregivers monitor as many people as possible and with the best quality possible. In this paper, a fuzzy...
Dynamic adaptive streaming over Hypertext Transfer Protocol (HTTP) is an advanced technology in video streaming to deal with the uncertainty of network states. However, this technology has one drawback as the network states frequently and continuousl...
Knowledge graphs, as an important research direction in artificial intelligence, have been widely applied in many fields and tasks. The relations in knowledge graphs have explicit semantics and play a crucial role in knowledge completion and reasonin...
The Type 2 Fuzzy Logic System (T2FLS) is an enhanced form of the classical Fuzzy Logic System (FLS). The T2FLS based control technics demonstrated a lot of improvements for the past few decades. This is based on the advantage of its membership functi...
Nowadays, any consideration regarding project management implies an all-encompassing approach constituted by three perspectives: organizational, human, and engineering. In this sense, it is necessary for the project manager to reflect on various issu...
Since Horton in 1965, many authors have sought to aggregate different variables characterizing the state of water into a single value called Water Quality Index ( W Q I ). This index is intended to facilitate the operational management of water...
With the wide spread of massive open online courses ( MOOC ), millions of people have enrolled in many courses, but the dropout rate of most courses is more than 90%. Accurately predicting the dropout rate of MOOC is of great significance to prevent...
The real-time application research on the Fuzzy Logic Systems (FLSs) and Artificial Neural Networks (ANN) is vast and, in this paper, a technique for a photovoltaic failure analysis using the type 2 FLS and ANN is proposed. The method is proposed to...
The social and solidarity economy (SSE) has gained worldwide attention over the last decade. It represents a host of diverse economic activities which take different forms in each country, but which share solidarity values that are alternatives to ma...
The data-oriented paradigm has proven to be fundamental for the technological transformation process that characterizes Industry 4.0 (I4.0) so that big data and analytics is considered a technological pillar of this process. The goal of I4.0 is the i...
In the service economy, scholars and practitioners are even more focused on the development and appliance of innovative services. The importance of service innovation is rising in many sectors and among different organizations. Several disciplines (e...
A programmable logic controller (PLC) executes a ladder diagram (LD) using input and output modules. An LD also has PID controller function blocks. It contains as many PID function blocks as the number of process parameters to be controlled. Adding m...
The ever-growing ecosystem of the Internet of Things (IoT) integrating with the ever-evolving wireless communication technology paves the way for adopting new applications in a smart society. The core concept of smart society emphasizes utilizing inf...
Escalating environmental challenges severely impede global sustainable development, prompting countries worldwide to innovate environmental governance approaches. As the world’s largest developing country, China’s paradigm shifts in envir...
Many scientific fields show great interest in the extraction and processing of spatiotemporal data, such as medicine with an emphasis on epidemiology and neurology, geology, social sciences, meteorology, and a great interest is also observed in the s...
The warming of the planet and ongoing climate change are now a scientifically proven fact. These phenomena have an impact on nature and many human activities, but logically affect agriculture the most. History has confirmed that the production of gra...
As a variable system, the Lake of Kastoria is a good example regarding the pattern of the Mediterranean shallow lakes. The focus of this study is on the investigation of this lake’s eutrophication, analyzing the relation of the basic factors th...
Presently, the practice of scientific crowdsourcing still suffers from user loss, platform operational inefficiency, and many other dilemmas, mainly because the process mechanism of realizing value co-creation through interaction between users and pl...
This paper proposes an improved two-way security authentication protocol to improve the security level of Radio Frequency Identification (RFID) system. In the proposed protocol, tags calculate hash value, which is divided into two parts. The left hal...
Urban agriculture has been seen as an essential strategy for enhancing food security and urban resilience and is valued by many countries, but its development faces many challenges. Whether farmland system reform can improve the factor allocation of...
Quadrotors are widely applied in many fields, but they often face various external disturbances in actual operation. This makes it necessary to design a controller that can handle disturbances. Disturbance observer and adaptive control techniques are...
The grand theory of action of Parsons has an important place in social theories. Furthermore, there are many uncertainties in the theory of Parsons. Classical math logic is often insufficient to explain these uncertainties. In this study, we explain...
Modern computer microarchitectures build on well-established foundations that have encouraged a pattern of computational homogeneity that many cyberattacks depend on. We suggest that balanced ternary logic can be valuable to Internet of Things (IoT)...
The role of higher education (HE) in the development of societies is an unquestionable fact, and its management has traditionally been a major concern of governments. Lately, there has been worldwide debate on whether universities should adopt tradit...
Rising temperatures and changes in precipitation patterns under climate change scenarios are accelerating the depletion of soil moisture and increasing the risk of drought, disrupting the conditions that many plant species need to survive. This study...
The public release of ChatGPT, a generative artificial intelligence language model, caused wide-spread public interest in its abilities but also concern about the implications of the application on academia, depending on whether it was deemed benevol...
AI (Artificial Intelligence) is often looked at as a logical way to develop a game agent that methodically looks at options and delivers rational or irrational solutions. This paper is based on developing an AI agent that plays a game with a similar...
Collagen is the most abundant protein in mammals, accounting for approximately one-third of the total protein in the human body. Thus, it is a logical choice for the creation of biomimetic environments, and there is a long history of using collagen m...
of 3