Search
Search Results
-
Decidability of Inquisitive Modal Logic via Filtrations
Inquisitive logic is an extension of classical logic which can express questions. To enable this expressiveness, a possible world semantics is used....
-
A Version of Predicate Logic with Two Variables That has an Incompleteness Property
In this paper, we consider predicate logic with two individual variables and general assignment models (where the set of assignments of the variables...
-
Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics
We show how to obtain a probabilistic semantics and calculus for a logic presented by a valuation specification. By identifying general forms of...
-
Reading Between the Lines: Machine Learning Ensemble and Deep Learning for Implied Threat Detection in Textual Data
With the increase in the generation and spread of textual content on social media, natural language processing (NLP) has become an important area of...
-
CommentClass: A Robust Ensemble Machine Learning Model for Comment Classification
Enormous amounts of data are generated in the form of feedback or comments from online platforms such as social media, e-commerce, education, and...
-
Constructive Validity of a Generalized Kreisel–Putnam Rule
In this paper, we propose a computational interpretation of the generalized Kreisel–Putnam rule, also known as the generalized Harrop rule or simply...
-
More Limits of Abductivism About Logic
Logical abductivism is the method which purports to use Inference to the Best Explantion (IBE) to determine the best logical theory. The present...
-
Parameters optimization and precision enhancement of Takagi–Sugeno fuzzy neural network
Takagi–Sugeno fuzzy neural network (TSFNN) has been widely used in intelligent prediction. The prediction accuracy of TSFNN is impacted by its model...
-
Subgraph generation applied in GraphSAGE deal with imbalanced node classification
In graph neural network applications, GraphSAGE applies inductive learning and has been widely applied in important research topics such as node...
-
An improved approach for incomplete information modeling in the evidence theory and its application in classification
Incomplete information modeling and fusion under uncertain circumstances remain a significant open problem in practical engineering. In this study,...
-
Statistical inference on multicomponent stress–strength reliability with non-identical component strengths using progressively censored data from Kumaraswamy distribution
In this article, we draw inferences on stress–strength reliability in a multicomponent system with non-identical strength components based on the...
-
Pricing of shout option in uncertain financial market
The shout option allows the investors to make "shouts" to the seller throughout the option’s duration. The investors’ payoff is higher between the...
-
Characterizations of compactness of fuzzy set space with endograph metric
In this paper, we present the characterizations of total boundedness, relative compactness and compactness in fuzzy set spaces equipped with the...
-
A new uncertain multi-objective rumor intervention model
Internet rumors have no factual basis, lack credibility, and can easily trigger social panic and group attacks. Measures to effectively intervene in...
-
Sentiments analysis for intelligent customer service dialogue using hybrid word embedding and stacking ensemble
The intelligent customer service conversations between customer and customer service agent exhibit characteristics such as serious colloquialism, a...
-
An expert method for defining the adaptation conditions of irrigated crops with the ecosystem of Northwestern China
The uncertain impacts of climate changes on the crop water requirements disarrange the on-farm balance of water supply and demand, thus here needs to...
-
Picture fuzzy filters on residuated lattices
Filters play an important role in studying fuzzy logics. From a logical point of view, filters correspond to sets of provable formulae. In this...
-
Optimization of the different controller parameters via OBL approaches based artificial ecosystem optimization involving fitness distance balance guiding mechanism for efficient motor speed regulation of DC motor
This study proposes a new optimization approach, which is called as artificial ecosystem optimization algorithm with fitness-distance balance guiding...
-
k-filters and k-\(\{^*\}\)-congruences of core regular double Stone algebras
In this paper, we investigate various elegant filters and congruences of the class of core regular double Stone algebras (briefly CRD -Stone...