Type-2 Logic Research Articles

Swedish Erasmus students' valuations of study destinations: how countries, cities, and institutions relate to choices and experiences

ABSTRACT Based on a survey of Swedish participants in the Erasmus+ exchange programme from the 2014 and 2015 application years, our study uses specific Multiple Correspondence Analysis to explore students’ valuations of their study destinations across different scales – country, city, and institution. Our findings indicate that places were valued based on three types of logic – academic, cultural, and labour market – where each type of logic emphasised each scale differently. First, the choice of the receiving institution relates to the country of destination. Students who primarily valued culture, language, and geographical location were overrepresented in Mediterranean countries, while students who emphasised the quality, reputation, and learning offer of the receiving institution were overrepresented in the Nordic countries. Second, the city matters in that students clearly preferred institutions in lively metropolises, which had a clear advantage over other mid-sized or smaller cities. Thirdly, the higher education institutions themselves play a role in study abroad choices. If the institutions are prestigious and high-ranked, this can outweigh a disadvantageous location. These types of logic tend to overlap so that the most dominant and sought-after countries are more likely to have highly attractive cities and metropolitan regions where highly ranked higher education institutions are often also found.

Innovative fuzzy logic type 3 controller for transient and maximum power point tracking in hydrogen fuel cells

This study introduces an advanced Fuzzy Logic Type 3 (FLT3) controller for Proton Exchange Membrane Fuel Cells (PEMFCs), aiming to optimize Maximum Power Point Tracking (MPPT) under dynamically varying temperature conditions. The FLT3 controller advances fuzzy logic control by incorporating an additional layer of uncertainty modelling, which enhances its ability to manage the inherent nonlinearities in PEMFC systems, such as temperature fluctuations and gas pressure variations. The controller is developed and validated through MATLAB/Simulink simulations, using a refined rule based on mechanism with finely tuned membership functions for precise adaptation to changing conditions. When compared to traditional Perturb and Observe (P&O) and Fuzzy Logic Type 2 (FLT2) controllers, the FLT3 controller demonstrates superior performance by achieving faster sitting times, minimizing power fluctuations, and maintaining operation closer to the nominal power point, particularly under transient conditions for hydrogen-based fuel cell. This innovative approach significantly improves the efficiency and stability of PEMFC systems, marking a substantial advancement in their operational management.

Design of Expert System for Identification of Learning Modalities and Multiple Intelligences in Students with Fuzzy Logic Method

Multiple intelligences and learning modalities possessed by each student need to be considered by teachers. Because to maximize the learning process, both of these things are needed. However, this is often ignored by teachers. The learning process that is carried out only focuses on single intelligence and learning methods that focus on paying attention to the teacher explaining the material. This method certainly causes the learning process to be less than optimal. therefore , an expert system is needed that can help teachers and students know this. The expert system that will be processed takes knowledge from the Guidance and Counseling teacher of SMAN 15 Padang using the Fuzzy Logic Tsukamoto method. This expert system is processed using the Visual Basic.Net programming language, this expert system can identify 4 types of multiple intelligences, namely linguistics, mathematical logic, music and intrapersonal and also the learning modalities possessed by each student with predetermined rules. The results of the expert system can help teachers and students in improving the learning process. With this system, it can help schools, especially Guidance and Counseling teachers, in identifying the types of learning and multiple intelligences possessed by each student. So that it can develop and provide solutions for developing student abilities.

Anti-machine-learning-attack strong PUF design based on multi-path delay selection strategy

Physical unclonable functions (PUF) have significant potential for application in information security. However, strong PUFs are vulnerable to machine learning (ML) modeling attacks, which severely limit their application in device authentication. Despite a variety of resistance techniques, strong PUFs suffer from hardware cost and stability deficiencies. This study proposes an anti-machine-learning-attack strong PUF based on a multi-path delay selection strategy through research on the entropy source of a strong PUF and the delay signal selection mechanism. First, we constructed a deviation source circuit based on multiplexers to increase the diversity of the delay signal transmission paths. Second, we constructed a delay selection circuit based on the logic gates. This circuit dynamically selects the delay signals with the same transmission path in the deviation source using AND and OR gates. Subsequently, the deviation source and delay selection circuits were utilized to construct the delay module, and the interconnection module was inserted between the delay modules to achieve alternating appearances of different types of logic gates along the delay path. Finally, RS flip-flops were employed to make decisions on the bias signals with the same delay path, and the final response was output through an XOR operation. The proposed PUF was implemented on a Xilinx Artix-7 FPGA, and the prediction accuracy of the four typical ML models was below 59 % (with 500,000 challenge-response pairs as the training set). Moreover, the proposed PUF structure is scalable and exhibits better performance in terms of hardware cost and stability than existing classic structures.

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks

We tackle the challenge of ensuring the deadlock-freedom property for message-passing processes that communicate asynchronously in cyclic process networks. Our contributions are twofold. First, we present Asynchronous Priority-based Classical Processes (APCP), a session-typed process framework that supports asynchronous communication, delegation, and recursion in cyclic process networks. Building upon the Curry-Howard correspondences between linear logic and session types, we establish essential meta-theoretical results for APCP, most notably deadlock freedom. Second, we present a new concurrent $\lambda$-calculus with asynchronous session types, dubbed LASTn. We illustrate LASTn by example and establish its meta-theoretical results; in particular, we show how to soundly transfer the deadlock-freedom guarantee from APCP. To this end, we develop a translation of terms in LASTn into processes in APCP that satisfies a strong formulation of operational correspondence.

Hybrid organization: How it works?

This research was conducted to find out how a hybrid organization concept can be applied to various types and scopes of organizations. There are several things becoming the main focus in this hybrid organization research, namely to find out the extent to which the development of hybrid organizations in its practice when implemented and to find out what types of logic are used by various organizations in implementing hybrid organizations. The findings of the study showed that the concept of hybrid organizations has developed widely in the theory and practice of managing an organization. The concept of hybrid organizations has even been used by several sectors/fields of organizations, including small business organizations, construction projects, social enterprises, government companies, and even universities. This research concludes that the concept of a hybrid organization can be applied to various types & lines of organization because it is generally translated into the same concept in its application. However, some differences are characterized by the use of logic that each organization has that underlies the application of the hybrid organizational concept.

A novel method of high-speed all-optical logic gate based on metalens

This paper introduces a novel approach to constructing all-optical logic gates based on metalens. The designed structure enables the realization of five commonly used logic gates (AND, OR, NOT, XOR, XNOR). Each logic gate is composed of two to three metalenses. The advantages of this approach are as follows: 1. Metalens offer flexible phase control capabilities, overcoming the strict phase requirements in traditional optical logic gate design. 2. The miniaturization of the metalens makes integration possible and provides a potential method for high-speed parallel optical computing. 3. By controlling different types and quantities of metalens, various types of logic gates can be formed, enhancing programmability during use. The contrast values for the designed logic gates are as follows: 27.95 dB (OR), 18.18 dB (AND), 10.83 dB (NOT), 10.29 dB (XNOR), and 13.56 dB (XOR). With similar structures, the bit rates for the five logic gates at a 50% duty cycle range from 1.04 to 1.05 Tb/s. Overall, these results demonstrate a successful balance between contrast and transmission speed when utilizing metalens to realize all-optical logic gates. From the results, the logic gate proposed in this paper has high contrast and transmission speed, which proves the rationality of using metalens to realize all-optical logic gate.

Power Quality Enhancement in High-Voltage Transmission Systems Using STATCOM by Type 1 and Type 2 Fuzzy Logic Controllers

The continuing growth of load demand leads to increased power system complexity and interconnections. During faults and abnormal operating conditions, conventional power systems change the load flow in transmission lines, which may cause voltage drops or swells, and other power quality issues. Voltage regulation is connected to reactive power compensation in system busbars, and fixed capacitor banks are usually used for this purpose, but they are not flexible and dynamic enough to meet the power quality requirements. With power electronics development, flexible alternative current transmission systems (FACTS) became a popular solution for power quality improvement and power transmission capability increment in power systems, and FACTS can be categorized into series and shunt systems. In this study, STATCOM was used to improve the voltage profile in part of Iraq’s high-voltage transmission system during abnormal operating conditions, such as sudden load addition and removal, which causes voltage dip and voltage swell. Type 1 fuzzy logic controller and type 2 fuzzy logic controller were used as the outer controller in the STATCOM; both controllers were able to regulate the voltage magnitude by reducing the voltage dip from 1.32 to 0.4%, voltage swell from 1.02 to 0.5%, and voltage THD at the connecting point did not exceed 3%, indicating that SATACOM with FLC improves the voltage profile under different operating conditions.

Comparing session type systems derived from linear logic

Session types are a typed approach to message-passing concurrency, where types describe sequences of intended exchanges over channels. Session type systems have been given strong logical foundations via Curry-Howard correspondences with linear logic, a resource-aware logic that naturally captures structured interactions. These logical foundations provide an elegant framework to specify and (statically) verify message-passing processes.In this paper, we rigorously compare different type systems for concurrency derived from the Curry-Howard correspondence between linear logic and session types. We address the main divide between these type systems: the classical and intuitionistic presentations of linear logic. Over the years, these presentations have given rise to separate research strands on logical foundations for concurrency; the differences between their derived type systems have only been addressed informally.To formally assess these differences, we develop πULL, a session type system that encompasses type systems derived from classical and intuitionistic interpretations of linear logic. Based on a fragment of Girard's Logic of Unity, πULL provides a basic reference framework: we compare existing session type systems by characterizing fragments of πULL that coincide with classical and intuitionistic formulations. We analyze the significance of our characterizations by considering the locality principle (enforced by intuitionistic interpretations but not by classical ones) and forms of process composition induced by the interpretations.

Two semantic interpretations of probabilities in description logics of typicality

Abstract In this work we focus on extensions of Description Logics (DLs) of typicality by means of probabilities. We introduce a novel extension of the logic of typicality $\mathcal{ALC}+\mathbf{T}_{\mathbf{R}}$, able to represent and reason about typical properties and defeasible inheritance in DLs. The novel logic ($\mathcal{ALC}\mathbf{T}^{\textsf{P}}$: Typical $\mathcal{ALC}$ with Probabilities as Proportions) allows inclusions of the form $\mathbf{T}(C) \sqsubseteq ^{p} D$, with probability $p$ representing a proportion, meaning that “all the typical $C$s are $D$s, and the probability that a $C$ element is not a $D$ element is $1-p$”. We also compare and confront this novel logic with a similar one already presented in the literature ($\mathbf{T}^{\textsf{CL}}$, introduced in Lieto and Pozzato (2020, J. Exp. Theor. Artif. Intell., 32, 769–804)), inspired by the DISPONTE semantics and that allows inclusions of the form $p \:: \ \mathbf{T}(C) \sqsubseteq D$ with probability $p$, where $p$ represents a degree of belief, whose meaning is that “we believe with a degree $p$ that typical $C$s’ are also $D$s.”. We then show that the proposed $\mathcal{ALC}\mathbf{T}^{\textsf{P}}$ extension (like the previous $\mathbf{T}^{\textsf{CL}}$) can be applied in order to tackle a specific and challenging problem in the field of common-sense reasoning, namely the combination of prototypical concepts, that have been shown to be problematic to model for other symbolic approaches like fuzzy logic. We show that, for the proposed extension, the complexity of reasoning remains ExpTime-complete as for the underlying standard monotonic DL $\mathcal{ALC}$.

Damage characteristic of electronic devices caused by products generated by Al/Ep/KMnO4/TiH2 active material projectile hypervelocity impacting on aluminum target

As the space environment becomes more competitive, space offense and defense are increasing every day. Projectiles made of reactive materials can achieve highly effective target destruction due to their good penetration, ignition and detonation capabilities as the kill element in space attacks. When a spacecraft encounters a hypervelocity impact from a projectile of active material, it will have a serious impact on the surface material and internal electronics (logic chips, super-capacitors, etc.), leading to anomalies in the spacecraft's on-orbit operation. In order to study the damage characteristics of internal typical logic chips and super-capacitor modules caused by the hypervelocity impact of active material projectiles on the surface of spacecraft, the simulated satellite experiment of Al/Ep/KMnO4/TiH2 active material projectiles hypervelocity impacting on aluminum target was performed. By using the self-built experimental loading system, plasma characteristic parameter diagnosis system, radiation temperature measurement system and electronic device function detection system, the characteristic parameters of plasma, light flash radiation temperature, temperature evolution process of logic chip and super-capacitor at specific position under different impact velocities are obtained. When the damage behavior of Al/Ep/KMnO4/TiH2 active material projectile impacts on the surface of simulated satellite, the main reasons affecting electronic devices and the damage characteristics of impact products on logic chip and super-capacitor are analyzed. The experimental results show that the plasma is the main reason for interfering with the operation of logic chips and super-capacitors. When the active material projectile impacts the simulated satellite at the speed of 1.26 km/s, 1.67 km/s and 2.13 km/s, the charge and discharge time of the super-capacitor increases by 3.28 times, 4.57 times and 6 times, respectively, and the maximum operating voltage performance decreases by 12.23%, 14.44% and 18.15%, respectively. When the impact velocities are 1.67 km/s and 2.13 km/s, the output signal of the CD74HC00 chip appears transient damage due to the injection of the plasma generated by the impact, which last 0.4 ms and 1.8 ms, respectively.

National wealth, cultural moderators and pollution mortality: a panel analysis of 170 countries

Global concerns have arisen due to pollution-related mortality, and scholars studying the Environmental Kuznets Curve (EKC) have explored the impact of economic growth on carbon emissions, yielding conflicting findings. Considering these opposing perspectives on whether wealth exacerbates or mitigates the negative consequences of environmental pollution, we aim to assess the influence of economic growth on pollution-related mortality and investigate whether national culture moderates its impact. To gain insights into the effects of economic growth on pollution-related mortality, we utilized panel data covering 170 countries over a span of 23 years (1996–2017). Initially, we examined the relationship between GDP per capita and pollution-related mortality, finding support for the theory of a curvilinear correlation but not for the concept of a bell-shaped curve. Upon introducing cultural moderators, the curve shifts in different directions along various dimensions. High power distance and masculinity cultures are associated with increased pollution-related mortality, whereas individualist and long-term orientation cultures are linked to reduced pollution-related mortality. The directions of these moderators align with both linear and nonlinear analyses, except for uncertainty avoidance. This study makes significant contributions to the critical issue of pollution-related mortality, extending beyond traditional sustainability analyses. Additionally, it provides a robust examination of the intertwining of economic wealth and culture, challenging the dominance of either type of logic. Lastly, our study draws attention to policy-driven solutions.

Solving Table-based fact verification with mixture of logical reasoning

Table-based fact verification (TFV) is a binary classification task that requires understanding and reasoning about both table and text. This task poses many challenges, such as table parsing, text comprehension, and numerical reasoning. However, existing methods tend to depend solely on pre-trained models for tables, treating all types of reasoning equally and disregarding the importance of identifying logic types in inference process. In this regard, we propose MoETFV, an efficient and explanatory approach to solving TFV, which is based on a Mixture-of-Experts (MoE) framework. This approach can detect the underlying logic types of statements and leverage multiple independent experts to emulate diverse logical reasoning. It consists of one shared expert for general semantic understanding and several specific experts with distinct responsibilities for different logical inferences. Moreover, the practical applications of the MoE method in TFV are thoroughly investigated. This model doesn’t necessitate any table pre-trained models, and aligns closely with human cognitive processes in addressing such issues. Experimental results demonstrate the innovation and feasibility of the proposed approach.

Image Compression Using Improved Method

Effective use of digital images requires certain techniques to lower the number of bits needed to represent them. The goal of compression is to reduce the size of an image while maintaining its information and originality. This research aims to achieve this target by developing a fuzzy logic and histogram-based image compression type detection approach. The main goal is to provide an approach that employs fuzzy logic and graphs for detecting the type of image compression. In order to decide the compression technique depending on the number of color levels in the image which was recovered with the use of histogram, the suggested technique combines a new combination of fuzzy logic as well as image histogram analysis. The experimental findings demonstrated the suggested technique's robustness and efficiency in detecting the best approach for each type of image compression. After 75 images with varying color densities were evaluated, the system's compression rate was approximately 95%. In addition to being a significant contribution to image processing, the study finds practical applications in the following areas: remote sensing through satellite; facsimile transmission of medical images in computer tomography magnetic resonance imaging; teleconferencing systems; military communication systems via radars; geological surveys; and communications systems built by computers.

Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems

Today, various applications in different domains increasingly rely on high-performance computing (HPC) to accomplish computations swiftly. Integrating one or more programming models alongside the used programming language enhances system parallelism, thereby improving its performance. However, this integration can introduce runtime errors such as race conditions, deadlocks, or livelocks. Some of these errors may go undetected using conventional testing techniques, necessitating the exploration of additional methods for enhanced reliability. Formal methods, such as temporal logic, can be useful for detecting runtime errors since they have been widely used in real-time systems. Additionally, many software systems must adhere to temporal properties to ensure correct functionality. Temporal logics indeed serve as a formal frame that takes into account the temporal aspect when describing changes in elements or states over time. This paper proposes a temporal-logic-based testing tool utilizing instrumentation techniques designed for a dual-level programming model, namely, Message Passing Interface (MPI) and Open Multi-Processing (OpenMP), integrated with the C++ programming language. After a comprehensive study of temporal logic types, we found and proved that linear temporal logic is well suited as the foundation for our tool. Notably, while the tool is currently in development, our approach is poised to effectively address the highlighted examples of runtime errors by the proposed solution. This paper thoroughly explores various types and operators of temporal logic to inform the design of the testing tool based on temporal properties, aiming for a robust and reliable system.

What’s going on in the clinical examination room?-An exploratory and comparative study of two types of clinical exams and their meaning for nursing students in the final year of the nursing education

This study is an education experiment based on a comparative approach, where two clinical exams – a bedside exam and a written case study exam – are investigated simultaneously. The article explores what’s going on in the two exams and how nursing students assess and experience them. Based on these findings, we discuss the types of logics, knowledge, and competencies the two exams enhance and limit, respectively. Data consists of a questionnaire survey with 104 students (56/48), observations of twelve exams (6/6), followed by two focus group interviews with nurse students. The analysis shows that the bedside exam enhances ‘knowing-in-action’, ‘reflection-in-action’, ‘shows how’ and ‘does’ by its focus on nursing actions. It is unpredictable and promotes ‘logics of relational care, care production and care education'. The written case study exam enhances ‘reflection-on-action’, ‘knows’ and ‘knows-how’ by its focus on theoretically based reflections on nursing practice. It is predictable and enhances ‘logic of care education’.

A public administration perspective on wind power development: decision-making logic of local government officials

ABSTRACT Onshore wind power has experienced decades of controversies and conflicts between national policies and ambitions for development and local government and community opposition. This discrepancy has spurred extensive studies on economic, socio-cultural and environmental variables of (lack of) social acceptance. To understand controversies surrounding wind power development there is a need to investigate how decision-making is shaped by various factors in local governments affected by wind power. This paper develops a public administration perspective related to key assumptions of social acceptance theory and examines how different factors interact and mutually affect each other in local decision-making logic. We suggest an integrated analytical model that delineates three types of decision-making logic among local government officials: a logic of consequences, a logic of trajectory and a logic of appropriateness. As such we highlight the importance of public administration decision-making as a pivotal component of wind power development. This study is informed by interviews with municipal political and administrative leaders in Norway. The analysis shows that local decision-making logic is shaped by a reciprocation between considerations of socio-economic benefits (consequences), by past procedural experiences with energy development (trajectory) and by linkages to community, place and nature (appropriateness).

Maximum power point tracking improvement using type-2 fuzzy controller for wind system based on the double fed induction generator

Introduction. In this paper, to maximize energy transmission in wind power system, various Maximum Power Point Tracking (MPPT) approaches are available. Among these techniques, we have proposed the one based on typical fuzzy logic. Despite the somewhat reduced performance of fuzzy MPPT. For a number of reasons, fuzzy MPPT can replace conventional optimization techniques. In practice, the effectiveness of conventional MPPT methods depends mainly on the accuracy of the information given and the wind speed or knowledge of the aerodynamic properties of the wind system. Novelty. Our new MPPT for monitoring the maximum power point has been proposed. We developed an algorithm to improve control performance and govern the stator’s developed active and reactive power using the typical fuzzy logic 2 and enable robust control of a grid-connected, doubly fed induction generator. Purpose. MPPT which implies the wind turbine’s rotating speed should be modified in real time to capture the most wind energy, is necessary to achieve high efficiency for wind energy conversion, according to the aerodynamic characteristics of the wind turbine. Methods. Developing a mathematical model for a wind energy production system is complex, can be strongly affected by wind variation and is a non-linear problem. Thanks to these characteristics, thus, the Lyapunov technique is combined with a sliding mode control to ensure overall asymptotic stability and robustness with regard to parametric fluctuations in order to accomplish this goal. We contrasted our fuzzy type-2 algorithm’s performance with that of the fuzzy type-1 and Perturbation & Observation (P&O) suggested in the literature. Practical value. The simulation results demonstrate that the control performance is satisfactory when using the fuzzy logic technique. From these results, it can be said for the optimization of energy conversion in wind systems, the fuzzy type-2 technique may offer a workable option. Since it presents a great possibility to avoid problems either technical or economics linked to conventional strategies.

Neural waves and computation in a neural net model I: Convolutional hierarchies.

The computational resources of a neuromorphic network model introduced earlier are investigated in the context of such hierarchical systems as the mammalian visual cortex. It is argued that a form of ubiquitous spontaneous local convolution, driven by spontaneously arising wave-like activity-which itself promotes local Hebbian modulation-enables logical gate-like neural motifs to form into hierarchical feed-forward structures of the Hubel-Wiesel type. Extra-synaptic effects are shown to play a significant rôle in these processes. The type of logic that emerges is not Boolean, confirming and extending earlier findings on the logic of schizophrenia.

Upside-Down Logics: Falsification of the Truth and Truthification of the False

This paper is about funny science, recreational mathematics, upside-down thinking, or contradictory reasoning (to think backward). Since a statement in some conditions may be true, in other conditions false, and a third type of conditions partially true and partially false. The paper presents for the first time two types of Upside-Down Logic, the first one is falsification of the Truth (when a true statement is transformed into a false one), and the second one is the opposite: Truthification of the False (when a false statement is transformed into a true one) - within the frame of Recreational Neutrosophy. All transformations from <A> to <antiA> or vice versa should be real, making sense in our real world. Kind of magic logic! Falsification and Truthification are mostly used in the Social Sciences (Anthropology, Archaeology, Economics, Geography, History, Law, Linguistics, Politics, Psychology, Sociology), Philosophy, etc. excelling in Politics:Falsifying the Truth of Enemies[We seek to diminish the enemy's positive side to the point of cancellation and to increase the enemy’s negative side to the point of exaggeration;] and Truthifying the False of the Friends[The opposite: We seek to decrease the friend’s negative side to the point of cancellation, and to increase the friend's positive side to the point of exaggeration.].