English
Related papers

Related papers: Fuzzy Petri Nets for Human Behavior Verification a…

200 papers

We introduce a modular prompting framework that supports safer and more adaptive use of large language models (LLMs) across dynamic, user-centered tasks. Grounded in human learning theory, particularly the Zone of Proximal Development…

Artificial Intelligence · Computer Science 2025-08-12 Vanessa Figueiredo

This paper discusses how model checking, a technique used for the verification of behavioural requirements of dynamic systems, can be usefully deployed for the verification of contracts. A process view of agreements between parties is…

Software Engineering · Computer Science 2007-05-23 Aspassia Daskalopulu

Virtual reality (VR) is not a new technology but has been in development for decades, driven by advances in computer technology. Currently, VR technology is increasingly being used in applications to enable immersive, yet controlled…

Human-Computer Interaction · Computer Science 2022-11-24 Hong Gao

Emergences of computers and information technological revolution made tremendous changes in the real world and provides a different dimension for the intelligent data analysis. Well formed fact, the information at right time and at right…

Artificial Intelligence · Computer Science 2011-08-10 D. P. Acharjya , L. Ezhilarasi

Recent work on reinforcement learning with verifiable rewards (RLVR) has shown that large language models (LLMs) can be substantially improved using outcome-level verification signals, such as unit tests for code or exact-match checks for…

Computation and Language · Computer Science 2026-01-27 Massimiliano Pronesti , Anya Belz , Yufang Hou

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

In this paper we propose a novel approach for learning from data using rule based fuzzy inference systems where the model parameters are estimated using Bayesian inference and Markov Chain Monte Carlo (MCMC) techniques. We show the…

Machine Learning · Statistics 2018-06-25 Indranil Pan , Dirk Bester

Fuzzy logic controllers are readily customizable in natural language terms and can effectively deal with nonlinearities and uncertainties in control systems. This paper presents an intelligent and automated fuzzy control procedure for the…

Signal Processing · Electrical Eng. & Systems 2019-11-07 Issam Damaj , Jean Saade , Hala Al-Faisal , Hassan Diab

In this paper, we introduce a fundamental framework to create a bridge between Probability Theory and Fuzzy Logic. Indeed, our theory formulates a random experiment of selecting crisp elements with the criterion of having a certain fuzzy…

Logic in Computer Science · Computer Science 2022-05-31 Amir Saki , Usef Faghihi

Autonomous systems that rely on Machine Learning (ML) utilize online fault tolerance mechanisms, such as runtime monitors, to detect ML prediction errors and maintain safety during operation. However, the lack of human-interpretable…

Machine Learning · Computer Science 2025-05-21 Aniket Salvi , Gereon Weiss , Mario Trapp

Fuzzy controllers are efficient and interpretable system controllers for continuous state and action spaces. To date, such controllers have been constructed manually or trained automatically either using expert-generated problem-specific…

Neural and Evolutionary Computing · Computer Science 2017-08-18 Daniel Hein , Alexander Hentschel , Thomas Runkler , Steffen Udluft

Values or principles are key elements of human society that influence people to behave and function according to an accepted standard set of social rules to maintain social order. As AI systems are becoming ubiquitous in human society, it…

Artificial Intelligence · Computer Science 2025-01-17 Md Sultan Al Nahian , Tasmia Tasrin , Spencer Frazier , Mark Riedl , Brent Harrison

Model comparison is the cornerstone of theoretical progress in psychological research. Common practice overwhelmingly relies on tools that evaluate competing models by balancing in-sample descriptive adequacy against model flexibility, with…

Applications · Statistics 2021-10-11 Viet-Hung Dao , David Gunawan , Minh-Ngoc Tran , Robert Kohn , Guy E. Hawkins , Scott D. Brown

Nonlinear, adaptive, or otherwise complex control techniques are increasingly relied upon to ensure the safety of systems operating in uncertain environments. However, the nonlinearity of the resulting closed-loop system complicates…

Systems and Control · Computer Science 2018-01-17 John F. Quindlen , Ufuk Topcu , Girish Chowdhary , Jonathan P. How

Rule-based classifier, that extract a subset of induced rules to efficiently learn/mine while preserving the discernibility information, plays a crucial role in human-explainable artificial intelligence. However, in this era of big data,…

Artificial Intelligence · Computer Science 2022-01-12 Suyun Zhao , Zhigang Dai , Xizhao Wang , Peng Ni , Hengheng Luo , Hong Chen , Cuiping Li

Training models through self-play alone (without any human data) has been a longstanding goal in AI, but its effectiveness for training large language models remains unclear, particularly in code generation where rewards based on unit tests…

Artificial Intelligence · Computer Science 2025-12-23 Alex Wilf , Pranjal Aggarwal , Bryan Parno , Daniel Fried , Louis-Philippe Morency , Paul Pu Liang , Sean Welleck

The process of pooling vertices involves the creation of a new vertex, which becomes adjacent to all the vertices that were originally adjacent to the endpoints of the vertices being pooled. After this, the endpoints of these vertices and…

Machine Learning · Computer Science 2025-09-23 Shanookha Ali , Nitha Niralda , Sunil Mathew

A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. Among the most successful methods to automate the fuzzy controllers development process are…

Artificial Intelligence · Computer Science 2007-05-23 Carlos Kavka , Patricia Roggero , Marc Schoenauer

Regression problems have been more and more embraced by deep learning (DL) techniques. The increasing number of papers recently published in this domain, including surveys and reviews, shows that deep regression has captured the attention…

Machine Learning · Computer Science 2022-09-12 Jorge S. S. Júnior , Jérôme Mendes , Francisco Souza , Cristiano Premebida

In this article, we present a new machine learning model by imitation based on the linguistic description of complex phenomena. The idea consists of, first, capturing the behaviour of human players by creating a computational perception…

Machine Learning · Computer Science 2021-01-08 Clemente Rubio-Manzano , Tomas Lermanda , CLaudia Martinez , Alejandra Segura , Christian Vidal