Image de couverture de livre

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Meli, Daniele, Fiorini, Paolo
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Logic in Computer Science Robotics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
par: Meli, Daniele, et autres
Publié: (2024)

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
par: Xu, Shaojun, et autres
Publié: (2024)

ReAct! An Interactive Tool for Hybrid Planning in Robotics
par: Dogmus, Zeynep, et autres
Publié: (2013)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
par: Rizwan, Momina, et autres
Publié: (2020)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
par: Ahmad, Faseeh, et autres
Publié: (2019)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games
par: Bozkurt, Alper Kamil, et autres
Publié: (2021)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
par: Balakrishnan, Anand, et autres
Publié: (2022)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
par: Meng, Yue, et autres
Publié: (2025)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
par: Luckcuck, Matt, et autres
Publié: (2025)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
par: Luckcuck, Matt, et autres
Publié: (2024)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
par: Zhang, Maifang, et autres
Publié: (2026)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
par: Pan, Yudai, et autres
Publié: (2021)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
par: Zhang, Changjian, et autres
Publié: (2024)

Inductive Generalization in Reinforcement Learning from Specifications
par: Subramanian, Vignesh, et autres
Publié: (2024)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
par: Majkic, Zoran
Publié: (2026)

Can LLM Aid in Solving Constraints with Inductive Definitions?
par: Feng, Weizhi, et autres
Publié: (2026)

Differentiable Inductive Logic Programming in High-Dimensional Space
par: Purgał, Stanisław J., et autres
Publié: (2022)

Ontological foundations for contrastive explanatory narration of robot plans
par: Olivares-Alarcos, Alberto, et autres
Publié: (2025)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
par: Meng, Yue, et autres
Publié: (2025)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
par: Chang, Kevin Kai-Chun, et autres
Publié: (2026)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
par: Cornelio, Cristina, et autres
Publié: (2024)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
par: Ho, Qi Heng, et autres
Publié: (2024)

Shield Synthesis for LTL Modulo Theories
par: Rodriguez, Andoni, et autres
Publié: (2024)

Model Predictive Robustness of Signal Temporal Logic Predicates
par: Lin, Yuanfei, et autres
Publié: (2022)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
par: Bizzaro, Davide, et autres
Publié: (2025)

Iterated belief revision: from postulates to abilities
par: Liberatore, Paolo
Publié: (2025)

Temporal Inductive Logic Reasoning over Hypergraphs
par: Yang, Yuan, et autres
Publié: (2022)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
par: Sharifi, Iman, et autres
Publié: (2023)

Abductive forgetting
par: Liberatore, Paolo
Publié: (2022)

Knowledge and Common Knowledge of Strategies
par: Miranda, Borja Sierra, et autres
Publié: (2025)

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
par: Johnson, Blair, et autres
Publié: (2025)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
par: Aljaafari, Nura, et autres
Publié: (2026)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
par: Aria, Hadi Partovi, et autres
Publié: (2026)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
par: Gilda, Sankalp, et autres
Publié: (2026)

Permissible Knowledge Pooling
par: Dong, Huimin
Publié: (2024)

Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis
par: Gandarela, João Pedro, et autres
Publié: (2024)

On the Logical Content of Knowledge Bases
par: Gheorghiu, Alexader V., et autres
Publié: (2025)

A framework for Conditional Reasoning in Answer Set Programming
par: Alviano, Mario, et autres
Publié: (2025)

Common Knowledge Always, Forever
par: Diéguez, Martín, et autres
Publié: (2026)

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
par: Yamaguchi, Tomoya, et autres
Publié: (2025)