English
Related papers

Related papers: A Fuzzy Petri Nets Model for Computing With Words

200 papers

In Emotion Recognition in Conversations (ERC), model decisions should align with nuanced human perception and ideally provide insights on the classification process. Standard encoder pre-trained language models (PLMs) are the…

Computation and Language · Computer Science 2026-05-05 Patrícia Pereira , Helena Moniz , Joao Paulo Carvalho

We explore the implications of using fuzzy techniques (mainly those commonly used in the linguistic description/summarization of data discipline) from a natural language generation perspective. For this, we provide an extensive discussion…

Artificial Intelligence · Computer Science 2016-05-18 A. Ramos-Soto , A. Bugarín , S. Barro

In the new era of internet systems and applications, a concept of detecting distinguished topics from huge amounts of text has gained a lot of attention. These methods use representation of text in a numerical format -- called embeddings --…

Computation and Language · Computer Science 2022-05-16 Danial Toufani-Movaghar , Mohammad-Reza Feizi-Derakhshi

We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual implementations caused by…

Logic in Computer Science · Computer Science 2012-08-15 Stephan Mennicke

A new approach for uncertainty management for fuzzy, rule based decision support systems is proposed: The domain expert's knowledge is expressed by a set of rules that frequently refer to vague and uncertain propositions. The certainty of…

Artificial Intelligence · Computer Science 2013-04-10 Christoph F. Eick

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

Reasoning on knowledge graphs is a challenging task because it utilizes observed information to predict the missing one. Particularly, answering complex queries based on first-order logic is one of the crucial tasks to verify learning to…

Artificial Intelligence · Computer Science 2024-10-23 Hang Yin , Zihao Wang , Yangqiu Song

In this paper, we propose a new fuzzy reasoning principle, so called Movement and Transformation Principle(MTP). This Principle is to obtain a new fuzzy reasoning result by Movement and Transformation the consequent fuzzy set in response to…

Artificial Intelligence · Computer Science 2018-11-13 Chung-Jin Kwak , Son-Il Kwak , Dae-Song Kang , Song-Il Choe , Jin-Ung Kim , Hyok-Gi Chea

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

Modern ways of communications, such as in a web services environment, also influences trust relationships between organisations. This concept of web-based (way towards semantic web services) trust is new and has as yet not been resolved. We…

Computers and Society · Computer Science 2012-09-26 Adis Medic , Adis Golubovic

For the past few decades, man has been trying to create an intelligent computer which can talk and respond like he can. The task of creating a system that can talk like a human being is the primary objective of Automatic Speech Recognition.…

Artificial Intelligence · Computer Science 2012-09-21 Sachin Lakra , T. V. Prasad , Deepak Kumar Sharma , Shree Harsh Atrey , Anubhav Kumar Sharma

Petri nets have found widespread use among many application domains, not least due to their human-friendly graphical syntax for the composition of interacting distributed and asynchronous processes and services, based in partial-order…

Software Engineering · Computer Science 2021-06-08 Heinz W. Schmidt

A model of an information system describes its processes and how resources are involved in these processes to manipulate data objects. This paper presents an extension to the Petri nets formalism suitable for describing information systems…

Formal Languages and Automata Theory · Computer Science 2026-04-08 Jan Martijn E. M. van der Werf , Andrey Rivkin , Marco Montali , Artem Polyvyanyy

Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems,…

Formal Languages and Automata Theory · Computer Science 2019-09-05 Lorenzo Capra

Reversible computation is an emerging computing paradigm that allows any sequence of operations to be executed in reverse order at any point during computation. Its appeal lies in its potential for lowpower computation and its relevance to…

Logic in Computer Science · Computer Science 2023-11-02 Kamila Barylska , Anna Gogolinska , Lukasz Mikulski , Anna Philippou , Marcin Piatkowski , Kyriaki Psara

We introduce Concurrent NetKAT (CNetKAT), an extension of NetKAT with operators for specifying and reasoning about concurrency in scenarios where multiple packets interact through state. We provide a model of the language based on…

Programming Languages · Computer Science 2023-02-03 Jana Wagemaker , Nate Foster , Tobias Kappé , Dexter Kozen , Jurriaan Rot , Alexandra Silva

A compositional Petri net-based semantics is given to a simple language allowing pointer manipulation and parallelism. The model is then applied to give a notion of validity to the judgements made by concurrent separation logic that…

Logic in Computer Science · Computer Science 2015-07-01 Jonathan Hayman , Glynn Winskel

We propose semantic fusion, a lightweight scheme that augments a Transformer language model (LM) with a parallel, fuzzy-membership feature channel that encodes token-level semantics. Each token is represented by a vector of interpretable…

Artificial Intelligence · Computer Science 2025-09-18 Yongchao Huang , Hassan Raza

Feedforward Neural Network (FNN)-based language models estimate the probability of the next word based on the history of the last N words, whereas Recurrent Neural Networks (RNN) perform the same task based only on the last word and some…

Computation and Language · Computer Science 2017-03-24 Youssef Oualil , Clayton Greenberg , Mittul Singh , Dietrich Klakow

Spoken Language Understanding (SLU) converts hypotheses from automatic speech recognizer (ASR) into structured semantic representations. ASR recognition errors can severely degenerate the performance of the subsequent SLU module. To address…

Computation and Language · Computer Science 2020-09-09 Chen Liu , Su Zhu , Zijian Zhao , Ruisheng Cao , Lu Chen , Kai Yu