English
Related papers

Related papers: MV-Datalog+-: Effective Rule-based Reasoning with …

200 papers

Table reasoning requires models to jointly perform semantic understanding and precise numerical operations. Most existing methods rely on a single-turn reasoning paradigm over tables which suffers from context overflow and weak numerical…

Computation and Language · Computer Science 2026-03-11 Mingyue Cheng , Shuo Yu , Chuang Jiang , Xiaoyu Tao , Qingyang Mao , Jie Ouyang , Qi Liu , Enhong Chen

An important constraint of Fuzzy Inference Systems (FIS) is their structured rules defined based on evaluating all input variables. Indeed, the length of all fuzzy rules and the number of input variables are equal. However, in many…

Artificial Intelligence · Computer Science 2024-02-26 Armin Salimi-Badr

The present paper investigates proof-theoretical and algebraic properties for the probability logic FP(L,L), meant for reasoning on the uncertainty of Lukasiewicz events. Methodologically speaking, we will consider a translation function…

Logic · Mathematics 2023-03-14 Tommaso Flaminio , Sara Ugolini

To interpret deep models' predictions, attention-based visual cues are widely used in addressing \textit{why} deep models make such predictions. Beyond that, the current research community becomes more interested in reasoning \textit{how}…

Computer Vision and Pattern Recognition · Computer Science 2022-05-27 Wenxiao Xiao , Zhengming Ding , Hongfu Liu

Recent years have seen increasing popularity of logic-based reasoning systems, with research and industrial interest as well as many flourishing applications in the area of Knowledge Graphs. Despite that, one can observe a substantial lack…

Databases · Computer Science 2021-03-16 Teodoro Baldazzi , Luigi Bellomarini , Emanuel Sallinger , Paolo Atzeni

Regression analysis is employed to examine and quantify the relationships between input variables and a dependent and continuous output variable. It is widely used for predictive modelling in fields such as finance, healthcare, and…

Machine Learning · Computer Science 2025-10-16 Ashish Bhatia , Renato Cordeiro de Amorim , Vito De Feo

A reason maintenance system which extends an ATMS through Mukaidono's fuzzy logic is described. It supports a problem solver in situations affected by incomplete information and vague data, by allowing nonmonotonic inferences and the…

Artificial Intelligence · Computer Science 2013-03-26 B. Fringuelli , S. Marcugini , A. Milani , S. Rivoira

Risk specialists are trying to understand risk better and use complex models for risk assessment, while many risks are not yet well understood. The lack of empirical data and complex causal and outcome relationships make it difficult to…

Artificial Intelligence · Computer Science 2020-09-22 Hengameh Fakhravar

Inconsistency in prediction problems occurs when instances that relate in a certain way on condition attributes, do not follow the same relation on the decision attribute. For example, in ordinal classification with monotonicity…

Artificial Intelligence · Computer Science 2021-11-29 Marko Palangetić , Chris Cornelis , Salvatore Greco , Roman Słowiński

We use princiles of fuzzy logic to develop a general model representing several processes in a system's operation characterized by a degree of vagueness and/or uncertainy. Further, we introduce three altenative measures of a fuzzy system's…

Artificial Intelligence · Computer Science 2012-12-12 Michael Gr. Voskoglou

Datalog is a popular logic programming language for deductive reasoning tasks in a wide array of applications, including business analytics, program analysis, and ontological reasoning. However, Datalog's restriction to flat facts over…

In this work we are analyzing scalability of the heuristic algorithm we used in the past to discover knowledge from multi-valued symbolic attributes in fuzzy databases. The non-atomic descriptors, characterizing a single attribute of a…

Databases · Computer Science 2011-03-31 M. Shahriar Hossain , Rafal A. Angryk

Rule-based models are essential for high-stakes decision-making due to their transparency and interpretability, but their discrete nature creates challenges for optimization and scalability. In this work, we present the Fuzzy Rule-based…

Machine Learning · Computer Science 2025-09-25 Javier Fumanal-Idocin , Raquel Fernandez-Peralta , Javier Andreu-Perez

Recent advances in large language models (LLMs) have accelerated research on automated optimization modeling. While real-world decision-making is inherently uncertain, most existing work has focused on deterministic optimization with known…

Machine Learning · Computer Science 2025-11-18 WenZhuo Zhu , Zheng Cui , Wenhan Lu , Sheng Liu , Yue Zhao

We explore the problem of explaining observations in contexts involving statements with truth degrees such as `the lift is loaded', `the symptoms are severe', etc. To formalise these contexts, we consider infinitely-valued {\L}ukasiewicz…

Logic in Computer Science · Computer Science 2025-11-11 Katsumi Inoue , Daniil Kozhemiachenko

Recently, description logic LE-ALC was introduced for reasoning in the semantic environment of enriched formal contexts, and a polynomial-time tableaux algorithm was developed to check the consistency of knowledge bases with acyclic TBoxes.…

Logic in Computer Science · Computer Science 2025-06-09 Yiwen Ding , Krishna Manoorkar

In the intricate field of medical diagnostics, capturing the subtle manifestations of diseases remains a challenge. Traditional methods, often binary in nature, may not encapsulate the nuanced variances that exist in real-world clinical…

Artificial Intelligence · Computer Science 2024-06-21 Salem Ameen , Ravivarman Balachandran , Theodoros Theodoridis

Transportation Problem is an important aspect which has been widely studied in Operations Research domain. It has been studied to simulate different real life problems. In particular, application of this Problem in NP- Hard Problems has a…

Artificial Intelligence · Computer Science 2013-07-09 Arindam Chaudhuri , Kajal De

This paper discusses a class of uncertain optimization problems, in which unknown parameters are modeled by fuzzy intervals. The membership functions of the fuzzy intervals are interpreted as possibility distributions for the values of the…

Data Structures and Algorithms · Computer Science 2020-09-15 Adam Kasperski , Pawel Zielinski

Recently, a multi-level fuzzy min max neural network (MLF) was proposed, which improves the classification accuracy by handling an overlapped region (area of confusion) with the help of a tree structure. In this brief, an extension of MLF…

Artificial Intelligence · Computer Science 2016-12-21 Shraddha Deshmukh , Sagar Gandhi , Pratap Sanap , Vivek Kulkarni