English
Related papers

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

200 papers

Understanding, modelling and predicting human risky decision-making is challenging due to intrinsic individual differences and irrationality. Fuzzy trace theory (FTT) is a powerful paradigm that explains human decision-making by…

Computation and Language · Computer Science 2022-08-09 Jaron Mar , Jiamou Liu

A major aspect of human reasoning involves the use of approximations. Particularly in situations where the decision-making process is under stringent time constraints, decisions are based largely on approximate, qualitative assessments of…

Artificial Intelligence · Computer Science 2013-04-11 Stephen Chiu , Masaki Togai

The validation of a data-driven model is the process of assessing the model's ability to generalize to new, unseen data in the population of interest. This paper proposes a set of general rules for model validation. These rules are designed…

Methodology · Statistics 2026-01-30 José Camacho

Today manufacturers are using fuzzy logic in everything from cameras to industrial process control. Fuzzy logic controllers are easier to design and so are cheaper to produce. Fuzzy logic captures the impreciseness inherent in most input…

Other Computer Science · Computer Science 2010-05-17 S. Sanyal , S. Iyengar , A. A. Roy , N. N. Karnik , N. M. Mengale , S. B. Menon , Wu Geng Feng

We propose a new mathematical framework for the evolution and propagation of opinions, called Fuzzy Opinion Network, which is the connection of a number of Gaussian Nodes, possibly through some weighted average, time-delay or logic…

Social and Information Networks · Computer Science 2016-02-24 Li-Xin Wang , Jerry M. Mendel

The treatment of complex systems often requires the manipulation of vague, imprecise and uncertain information. Indeed, the human being is competent in handling of such systems in a natural way. Instead of thinking in mathematical terms,…

Artificial Intelligence · Computer Science 2013-11-20 Baghdad Atmani , Sofia Benbelkacem , Mohamed Benamina

The purpose of this paper is to point to the usefulness of applying a linear mathematical formulation of fuzzy multiple criteria objective decision methods in organising business activities. In this respect fuzzy parameters of linear…

Artificial Intelligence · Computer Science 2007-05-23 Sonja Petrovic-Lazarevic , Ajith Abraham

The Metaverse emerges by integrating highly-distributed, complex, and interconnecting technologies. These technologies need to be formally verified and evaluated through formal modelling before executing them in real-world applications, in…

Emerging Technologies · Computer Science 2025-09-16 Maryam Amin , Umara Noor , Zahid Rashid , Jorn Altmann

Reinforcement Learning (RL) has gained significant attention across various domains. However, the increasing complexity of RL programs presents testing challenges, particularly the oracle problem: defining the correctness of the RL program.…

Software Engineering · Computer Science 2024-07-01 Shiyu Zhang , Haoyang Song , Qixin Wang , Yu Pei

Humans often communicate by using imprecise language, suggesting that fuzzy concepts with unclear boundaries are prevalent in language use. In this paper, we test the extent to which models trained to capture the distributional statistics…

Computation and Language · Computer Science 2021-04-23 Kanishka Misra , Julia Taylor Rayz

Interpretability is the next frontier in machine learning research. In the search for white box models - as opposed to black box models, like random forests or neural networks - rule induction algorithms are a logical and promising option,…

Machine Learning · Computer Science 2024-08-30 Henri Bollaert , Marko Palangetić , Chris Cornelis , Salvatore Greco , Roman Słowiński

The most common method to validate a DEVS model against the requirements is to simulate it several times under different conditions, with some simulation tool. The behavior of the model is compared with what the system is supposed to do.…

Software Engineering · Computer Science 2015-04-10 Diego A. Hollmann , Maximiliano Cristiá , Claudia Frydman

It is well known that the complex system operation requires the use of new scientific tools and computer simulation. This paper presents a modular approach for modeling and analysis of the complex systems (in communication or transport…

Systems and Control · Computer Science 2017-03-22 Janetta Culita , Simona Caramihai , Calin Munteanu

In recent years, human behavior simulation has drawn increasing attention from both academia and industry. The reasons fall into two aspects. First, simulation serves as a critical tool for understanding human behaviors, which has become…

Human-Computer Interaction · Computer Science 2024-12-12 Zhang Guozhen , Yu Zihan , Li Nian , Yu Fudan , Long Qingyue , Jin Depeng , Li Yong

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

Its constant technological evolution characterizes the contemporary world, and every day the processes, once manual, become computerized. Data are stored in the cyberspace, and as a consequence, one must increase the concern with the…

A new fuzzy method is developed using triangular/trapezoidal fuzzy numbers for evaluating a group's mean performance, when qualitative grades instead of numerical scores are used for assessing its members' individual performance. Also, a…

Artificial Intelligence · Computer Science 2020-11-24 Michael Voskoglou

Process models are used by human analysts to model and analyse behaviour, and by machines to verify properties such as soundness, liveness or other reachability properties, and to compare their expressed behaviour with recorded behaviour…

Machine Learning · Computer Science 2022-03-22 Sander J. J. Leemans

Mobile computing systems, service-based systems and some other systems with mobile interacting components have recently received much attention. However, because of their characteristics such as mobility and disconnection, it is difficult…

Software Engineering · Computer Science 2021-11-04 Zhijun Ding , Ru Yang , Puwen Cui , MengChu Zhou , Changjun Jiang

The increasing demand of world wide web raises the need of predicting the user's web page request.The most widely used approach to predict the web pages is the pattern discovery process of Web usage mining. This process involves…

Information Retrieval · Computer Science 2014-06-02 Priya Bajaj , Supriya Raheja