Poster
0

Formalising Natural Language Quantifiers for Human-Robot Interactions

Avatar
Stefan Morar
Artificial Intelligence
Voices Powered byElevenlabs logo

Authors

Stefan Morar, Adrian Groza, Mihai Pomarlan

Abstract

We present a method for formalising quantifiers in natural language in the context of human-robot interactions. The solution is based on first-order logic extended with capabilities to represent the cardinality of variables, operating similarly to generalised quantifiers. To demonstrate the method, we designed an end-to-end system able to receive input as natural language, convert it into a formal logical representation, evaluate it, and return a result or send a command to a simulated robot.

Follow Us on

0 comments

Add comment
Recommended SciCasts
Evidence of near-ambient superconductivity in a N-doped lutetium hydride
Avatar
ScienceCast Board 463 views
Evidence of near-ambient superconductivity in a N-doped lutetium hydride
EdgeMoE: Fast On-Device Inference of MoE-based Large Language Models
Avatar
Rongjie Yi27 views
EdgeMoE: Fast On-Device Inference of MoE-based Large Language Models
CrisisTransformers: Pre-trained language models and sentence encoders for crisis-related social media texts
Avatar
Rabindra Lamsala7 views
CrisisTransformers: Pre-trained language models and sentence encoders for crisis-related social media texts
The Rise and Potential of Large Language Model Based Agents: A Survey
Avatar
Zhiheng Xi6 views
The Rise and Potential of Large Language Model Based Agents: A Survey
Decomposed Guided Dynamic Filters for Efficient RGB-Guided Depth Completion
Avatar
Yufei Wang23 views
Decomposed Guided Dynamic Filters for Efficient RGB-Guided Depth Completion
Non-volatile leaky integrate-and-fire neurons with domain walls in antiferromagnetic insulators
Avatar
a-qaiumzadeh150 views
Non-volatile leaky integrate-and-fire neurons with domain walls in antiferromagnetic insulators
Reducing the molecular electronic Hamiltonian encoding costs on quantum computers by symmetry shifts
Avatar
Artur Izmaylov149 views
Reducing the molecular electronic Hamiltonian encoding costs on quantum computers by symmetry shifts
Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation
Avatar
Nassim Belmecheri15 views
Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation
Geometry-aware Line Graph Transformer Pre-training for Molecular Property Prediction
Avatar
Peizhen Bai14 views
Geometry-aware Line Graph Transformer Pre-training for Molecular Property Prediction
Mind the Uncertainty: Risk-Aware and Actively Exploring Model-Based Reinforcement Learning
Avatar
Marin Vlastelica6 views
Mind the Uncertainty: Risk-Aware and Actively Exploring Model-Based Reinforcement Learning
Hypergraph Convolutional Networks for Fine-grained ICU Patient Similarity Analysis and Risk Prediction
Avatar
Yuxi Liu49 views
Hypergraph Convolutional Networks for Fine-grained ICU Patient Similarity Analysis and Risk Prediction
Local Large Language Models for Complex Structured Medical Tasks
Avatar
ScienceCast Board 63 views
Local Large Language Models for Complex Structured Medical Tasks
Reincarnating Reinforcement Learning: Reusing Prior Computation to Accelerate Progress
Avatar
rishabhagarwal-467500 views
Reincarnating Reinforcement Learning: Reusing Prior Computation to Accelerate Progress
Majorana Demonstrator Data Release for AI/ML Applications
Avatar
Alexander Barabash26 views
Majorana Demonstrator Data Release for AI/ML Applications
Weigh Your Own Words: Improving Hate Speech Counter Narrative Generation via Attention Regularization
Avatar
Helena Bonaldi10 views
Weigh Your Own Words: Improving Hate Speech Counter Narrative Generation via Attention Regularization
Exploring Short-Term Optical Variability of Blazars Using $\textit{TESS}$
Avatar
sarveshgharat19239 views
Exploring Short-Term Optical Variability of Blazars Using $\textit{TESS}$
Group Regression for Query Based Object Detection and Tracking
Avatar
Felicia Ruppel20 views
Group Regression for Query Based Object Detection and Tracking
Semi-Supervised Semantic Depth Estimation using Symbiotic Transformer and NearFarMix Augmentation
Avatar
Md Awsafur Rahman27 views
Semi-Supervised Semantic Depth Estimation using Symbiotic Transformer and NearFarMix Augmentation
A Small and Fast BERT for Chinese Medical Punctuation Restoration
Avatar
Tongtao Ling29 views
A Small and Fast BERT for Chinese Medical Punctuation Restoration
Reposing Humans by Warping 3D Features
Avatar
istvan-sarandi475 views
Reposing Humans by Warping 3D Features