English
Related papers

Related papers: Approximate minimization of interpretations in fuz…

200 papers

The main objective of this paper is to develop a new semantic Network structure, based on the fuzzy sets theory, used in Artificial Intelligent system in order to provide effective on-line assistance to users of new technological systems.…

Artificial Intelligence · Computer Science 2012-06-07 Mohamed Nazih Omri , Mohamed Ali Mahjoub

In this paper we prove soundness and completeness of some epistemic extensions of G\"odel fuzzy logic, based on Kripke models in which both propositions at each state and accessibility relations take values in [0,1]. We adopt belief as our…

Logic · Mathematics 2024-03-05 D. Dastgheib , H. Farahani , A. H. Sharafi

We propose a formalism for representation of finite languages, referred to as the class of IDL-expressions, which combines concepts that were only considered in isolation in existing formalisms. The suggested applications are in natural…

Artificial Intelligence · Computer Science 2011-07-04 M. J. Nederhof , G. Satta

In data dominated systems and applications, a concept of representing words in a numerical format has gained a lot of attention. There are a few approaches used to generate such a representation. An interesting issue that should be…

Computation and Language · Computer Science 2020-12-08 Shahin Atakishiyev , Marek Z. Reformat

A fuzzy multipreference semantics has been recently proposed for weighted conditional knowledge bases, and used to develop a logical semantics for Multilayer Perceptrons, by regarding a deep neural network (after training) as a weighted…

Artificial Intelligence · Computer Science 2021-10-27 Laura Giordano

Kripke frames (and models) provide a suitable semantics for sub-classical logics, for example Intuitionistic Logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and…

Logic · Mathematics 2019-07-02 Parvin Safari , Saeed Salehi

In the realm of data classification, broad learning system (BLS) has proven to be a potent tool that utilizes a layer-by-layer feed-forward neural network. However, the traditional BLS treats all samples as equally significant, which makes…

Machine Learning · Computer Science 2024-05-17 M. Sajid , A. K. Malik , M. Tanveer

One of the main challenges in the area of Neuro-Symbolic AI is to perform logical reasoning in the presence of both neural and symbolic data. This requires combining heterogeneous data sources such as knowledge graphs, neural model…

Artificial Intelligence · Computer Science 2024-03-06 Matthias Lanzinger , Stefano Sferrazza , Przemysław A. Wałęga , Georg Gottlob

General fuzzy min-max neural network (GFMMNN) is one of the efficient neuro-fuzzy systems for data classification. However, one of the downsides of its original learning algorithms is the inability to handle and learn from the…

Machine Learning · Computer Science 2020-10-01 Thanh Tung Khuat , Bogdan Gabrys

One of the most important objectives of software engineering community has been the increase of useful models that beneficially explain the development of life cycle and precisely calculate the effort of software cost estimation. In analogy…

Software Engineering · Computer Science 2012-09-13 S. Malathi , S. Sridhar

This paper considers the linear objective function optimization with respect to a novel system of fuzzy relation equations, where the fuzzy compositions are defined by the minimum t-norm. It is proved that the feasible solution set is…

Optimization and Control · Mathematics 2023-09-22 Amin Ghodousian , Mahdi Mollakazemiha

Collocations are important for many tasks of Natural language processing such as information retrieval, machine translation, computational lexicography etc. So far many statistical methods have been used for collocation extraction. Almost…

Computation and Language · Computer Science 2008-11-11 Raj Kishor Bisht , H. S. Dhami

Classical logic has a serious limitation in that it cannot cope with the issues of vagueness and uncertainty into which fall most modes of human reasoning. In order to provide a foundation for human knowledge representation and reasoning in…

Artificial Intelligence · Computer Science 2016-08-30 Van Hung Le

Several deep learning (DL) approaches have been proposed to deal with image classification tasks. However, despite their effectiveness, they lack interpretability, as they are unable to explain or justify their results. To address the…

Computer Vision and Pattern Recognition · Computer Science 2025-04-07 Georgia Sovatzidi , Michael D. Vasilakakis , Dimitris K. Iakovidis

Fuzzy rough set (FRS) has a great effect on data mining processes and the fuzzy logical operators play a key role in the development of FRS theory. In order to further generalize the FRS theory to more complicated data environments, we…

General Mathematics · Mathematics 2022-05-23 Gongao Qi , Bin Yang , Wei Li

We provide a minimax optimal estimation procedure for F and W in matrix valued linear models Y = F W + Z where the parameter matrix W and the design matrix F are unknown but the latter takes values in a known finite set. The proposed finite…

Statistics Theory · Mathematics 2021-02-19 Merle Behr , Axel Munk

With the rapid growth of social media on the web, emotional polarity computation has become a flourishing frontier in the text mining community. However, it is challenging to understand the latest trends and summarize the state or general…

Computation and Language · Computer Science 2017-01-05 Amir Hossein Yazdavar , Monireh Ebrahimi , Naomie Salim

We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging…

Logic in Computer Science · Computer Science 2014-05-05 Alessandro Artale , Roman Kontchakov , Vladislav Ryzhikov , Michael Zakharyaschev

Limits and colimits of diagrams, defined by maps between sets, are universal constructions fundamental in different mathematical domains and key concepts in theoretical computer science. Its importance in semantic modeling is described by…

Logic in Computer Science · Computer Science 2016-04-12 Carlos Leandro , Luís Monteiro

We investigate a version of linear temporal logic whose propositional fragment is G\"odel-Dummett logic (which is well known both as a superintuitionistic logic and a t-norm fuzzy logic). We define the logic using two natural semantics:…

Logic in Computer Science · Computer Science 2023-06-29 Juan Pablo Aguilera , Martín Diéguez , David Fernández-Duque , Brett McLean