English
Related papers

Related papers: Logic Negation with Spiking Neural P Systems

200 papers

On metrics of density and power efficiency, neuromorphic technologies have the potential to surpass mainstream computing technologies in tasks where real-time functionality, adaptability, and autonomy are essential. While algorithmic…

Emerging Technologies · Computer Science 2019-10-09 M. E. Fouda , F. Kurdahi , A. Eltawil , E. Neftci

Neuromorphic computing has recently gained momentum with the emergence of various neuromorphic processors. As the field advances, there is an increasing focus on developing training methods that can effectively leverage the unique…

Emerging Technologies · Computer Science 2025-04-15 Sanaz Mahmoodi Takaghaj , Jack Sampson

Deep learning has become the dominant approach for creating high capacity, scalable models across diverse data modalities. However, because these models rely on a large number of learned parameters, tightly couple feature extraction with…

Artificial Intelligence · Computer Science 2026-05-12 Adam Gould , Francesca Toni

Information in neural networks is represented as weighted connections, or synapses, between neurons. This poses a problem as the primary computational bottleneck for neural networks is the vector-matrix multiply when inputs are multiplied…

Deep learning relies on a very specific kind of neural networks: those superposing several neural layers. In the last few years, deep learning achieved major breakthroughs in many tasks such as image analysis, speech recognition, natural…

Artificial Intelligence · Computer Science 2018-02-01 Lê Nguyên Hoang , Rachid Guerraoui

Machine learning with artificial neural networks (ANNs), provides solutions for the growing complexity of modern communication systems. This complexity, however, increases power consumption, making the systems energy-intensive. Spiking…

Signal Processing · Electrical Eng. & Systems 2026-01-26 Eike-Manuel Edelmann

Non-classical logics are used in a wide spectrum of disciplines, including artificial intelligence, computer science, mathematics, and philosophy. The de-facto standard infrastructure for automated theorem proving, the TPTP World, currently…

Artificial Intelligence · Computer Science 2022-02-22 Alexander Steen , David Fuenmayor , Tobias Gleißner , Geoff Sutcliffe , Christoph Benzmüller

Systems for language understanding have become remarkably strong at overcoming linguistic imperfections in tasks involving phrase matching or simple reasoning. Yet, their accuracy drops dramatically as the number of reasoning steps…

Computation and Language · Computer Science 2020-05-04 Daniel Khashabi , Erfan Sadeqi Azer , Tushar Khot , Ashish Sabharwal , Dan Roth

Many neural systems display cascading behavior characterized by uninterrupted sequences of neuronal firing. This gap precludes an understanding of how variations in network structure manifest in neural dynamics and either support or impinge…

Neurons and Cognition · Quantitative Biology 2019-11-12 Harang Ju , Jason Z. Kim , Danielle S. Bassett

Despite neural networks (NN) have been widely applied in various fields and generally outperforms humans, they still lack interpretability to a certain extent, and humans are unable to intuitively understand the decision logic of NN. This…

Human-Computer Interaction · Computer Science 2024-01-12 Zhanliang He , Nuoye Xiong , Hongsheng Li , Peiyi Shen , Guangming Zhu , Liang Zhang

Logical reasoning is central to human cognition and intelligence. It includes deductive, inductive, and abductive reasoning. Past research of logical reasoning within AI uses formal language as knowledge representation and symbolic…

Computation and Language · Computer Science 2024-02-19 Zonglin Yang , Xinya Du , Rui Mao , Jinjie Ni , Erik Cambria

Three-factor learning rules in Spiking Neural Networks (SNNs) have emerged as a crucial extension to traditional Hebbian learning and Spike-Timing-Dependent Plasticity (STDP), incorporating neuromodulatory signals to improve adaptation and…

Neural and Evolutionary Computing · Computer Science 2025-04-28 Szymon Mazurek , Jakub Caputa , Jan K. Argasiński , Maciej Wielgosz

In many situations humans have to reason with inconsistent knowledge. These inconsistencies may occur due to not fully reliable sources of information. In order to reason with inconsistent knowledge, it is not possible to view a set of…

Artificial Intelligence · Computer Science 2024-12-16 Nico Roos

Neurons communicate with downstream systems via sparse and incredibly brief electrical pulses, or spikes. Using these events, they control various targets such as neuromuscular units, neurosecretory systems, and other neurons in connected…

Neurons and Cognition · Quantitative Biology 2026-03-17 Paolo Agliati , André Urbano , Pablo Lanillos , Nasir Ahmad , Marcel van Gerven , Sander Keemink

Negation instructions such as 'do not mention $X$' can paradoxically increase the accessibility of $X$ in human thought, a phenomenon known as ironic rebound. Large language models (LLMs) face the same challenge: suppressing a concept…

Computation and Language · Computer Science 2025-11-18 Logan Mann , Nayan Saxena , Sarah Tandon , Chenhao Sun , Savar Toteja , Kevin Zhu

Our theoretical understanding of deep learning has not kept pace with its empirical success. While network architecture is known to be critical, we do not yet understand its effect on learned representations and network behavior, or how…

Machine Learning · Computer Science 2022-07-22 Andrew M. Saxe , Shagun Sodhani , Sam Lewallen

Learning Classifier Systems (LCS) are population-based reinforcement learners used in a wide variety of applications. This paper presents a LCS where each traditional rule is represented by a spiking neural network, a type of network with…

Neural and Evolutionary Computing · Computer Science 2012-01-17 Gerard Howard , Larry Bull , Pier-Luca Lanzi

Medical data mainly includes various types of biomedical signals and medical images, which can be used by professional doctors to make judgments on patients' health conditions. However, the interpretation of medical data requires a lot of…

Neural and Evolutionary Computing · Computer Science 2023-08-15 X. Li , X. Zhang , X. Yi , D. Liu , H. Wang , B. Zhang , B. Zhang , D. Zhao , L. Wang

The increasing need for intelligent sensors in a wide range of everyday objects requires the existence of low power information processing systems which can operate autonomously in their environment. In particular, merging and processing…

Neural and Evolutionary Computing · Computer Science 2019-03-12 Johannes C. Thiele , Olivier Bichler , Antoine Dupret , Sergio Solinas , Giacomo Indiveri

A hallmark of human cognition is the ability to continually acquire and distill observations of the world into meaningful, predictive theories. In this paper we present a new mechanism for logical theory acquisition which takes a set of…

Artificial Intelligence · Computer Science 2018-09-14 Andres Campero , Aldo Pareja , Tim Klinger , Josh Tenenbaum , Sebastian Riedel