English
Related papers

Related papers: Symbolic sensors

200 papers

Neural-symbolic methods have demonstrated efficiency in enhancing the reasoning abilities of large language models (LLMs). However, existing methods mainly rely on syntactically mapping natural languages to complete formal languages like…

Computation and Language · Computer Science 2024-06-04 Yiming Wang , Zhuosheng Zhang , Pei Zhang , Baosong Yang , Rui Wang

Rule-Based Systems have been in use for decades to solve a variety of problems but not in the sensor informatics domain. Rules aid the aggregation of low-level sensor readings to form a more complete picture of the real world and help to…

Artificial Intelligence · Computer Science 2015-03-19 Przemyslaw Woznowski , Alun Preece

Semantic communication, regarded as the breakthrough beyond the Shannon paradigm, aims at the successful transmission of semantic information conveyed by the source rather than the accurate reception of each single symbol or bit regardless…

Information Theory · Computer Science 2022-06-28 Zhijin Qin , Xiaoming Tao , Jianhua Lu , Wen Tong , Geoffrey Ye Li

Finger-tip tactile sensors are increasingly used for robotic sensing to establish stable grasps and to infer object properties. Promising performance has been shown in a number of works for inferring adjectives that describe the object, but…

Robotics · Computer Science 2023-03-14 Fangyi Zhang , Peter Corke

This paper develops a novel methodology for using symbolic knowledge in deep learning. From first principles, we derive a semantic loss function that bridges between neural output vectors and logical constraints. This loss function captures…

Artificial Intelligence · Computer Science 2018-06-11 Jingyi Xu , Zilu Zhang , Tal Friedman , Yitao Liang , Guy Van den Broeck

Using ideas from synthetic topology, a new approach to descriptive set theory is suggested. Synthetic descriptive set theory promises elegant explanations for various phenomena in both classic and effective descriptive set theory.…

Logic in Computer Science · Computer Science 2014-06-03 Arno Pauly , Matthew de Brecht

In this paper, we argue that some fundamental concepts and tools of signal processing may be effectively applied to represent and interpret social cognition processes. From this viewpoint, individuals or, more generally, social stimuli are…

Spectral Theory · Mathematics 2021-09-30 Anne Maass , Michele Pavon , Caterina Suitner

Continuous collection of physiological data from wearable sensors enables temporal characterization of individual behaviors. Understanding the relation between an individual's behavioral patterns and psychological states can help identify…

Humans use signs, e.g., sentences in a spoken language, for communication and thought. Hence, symbol systems like language are crucial for our communication with other agents and adaptation to our real-world environment. The symbol systems…

We propose a process calculus for modelling systems in the Internet of Things paradigm. Our systems interact both with the physical environment, via sensors and actuators, and with smart devices, via short-range and Internet channels. The…

Logic in Computer Science · Computer Science 2016-02-24 Valentina Castiglioni , Ruggero Lanotte , Massimo Merro

Explainable Artificial Intelligence (XAI) plays a crucial role in fostering transparency and trust in AI systems, where traditional XAI approaches typically offer one level of abstraction for explanations, often in the form of heatmaps…

Automated metrics for Machine Translation have made significant progress, with the goal of replacing expensive and time-consuming human evaluations. These metrics are typically assessed by their correlation with human judgments, which…

Computation and Language · Computer Science 2024-12-31 Pius von Däniken , Jan Deriu , Mark Cieliebak

A totally semantic measure is presented which is able to calculate a similarity value between concept descriptions and also between concept description and individual or between individuals expressed in an expressive description logic. It…

Artificial Intelligence · Computer Science 2009-11-30 Claudia d'Amato , Nicola Fanizzi , Floriana Esposito

Proximity perception is a technology that has the potential to play an essential role in the future of robotics. It can fulfill the promise of safe, robust, and autonomous systems in industry and everyday life, alongside humans, as well as…

Visual semantic correspondence is an important topic in computer vision and could help machine understand objects in our daily life. However, most previous methods directly train on correspondences in 2D images, which is end-to-end but…

Computer Vision and Pattern Recognition · Computer Science 2021-04-14 Yang You , Chengkun Li , Yujing Lou , Zhoujun Cheng , Lizhuang Ma , Cewu Lu , Weiming Wang

A few decades of work in the AI field have focused efforts on developing a new generation of systems which can acquire knowledge via interaction with the world. Yet, until very recently, most such attempts were underpinned by research which…

Artificial Intelligence · Computer Science 2012-07-23 Michał B. Paradowski

Inspired by empirical work in neuroscience for Bayesian approaches to brain function, we give a unified probabilistic account of various types of symbolic reasoning from data. We characterise them in terms of formal logic using the…

Artificial Intelligence · Computer Science 2026-02-24 Hiroyuki Kido

Several abstract machines that operate on symbolic input alphabets have been proposed in the last decade, for example, symbolic automata or lattice automata. Applications of these types of automata include software security analysis and…

Formal Languages and Automata Theory · Computer Science 2019-10-18 Andreas Stahlbauer

A key aspect of machine learning models lies in their ability to learn efficient intermediate features. However, the input representation plays a crucial role in this process, and polyphonic musical scores remain a particularly complex type…

Machine Learning · Computer Science 2021-09-09 Mathieu Prang , Philippe Esling

The significance of intelligent sensing systems is growing in the realm of smart services. These systems extract relevant signal features and generate informative representations for particular tasks. However, building the feature…

Signal Processing · Electrical Eng. & Systems 2024-06-26 Tianjian Yang , Hao Zhou , Shuo Liu , Kaiwen Guo , Yiwen Hou , Haohua Du , Zhi Liu , Xiang-Yang Li