English
Related papers

Related papers: Building Rule Hierarchies for Efficient Logical Ru…

200 papers

In this paper, we present a hierarchical path planning framework called SG-RL (subgoal graphs-reinforcement learning), to plan rational paths for agents maneuvering in continuous and uncertain environments. By "rational", we mean (1)…

Artificial Intelligence · Computer Science 2019-04-05 Junjie Zeng , Long Qin , Yue Hu , Cong Hu , Quanjun Yin

Recent progress in large language models (LLMs) has made knowledge-grounded reasoning increasingly practical, yet KG-based QA systems often pay a steep price in efficiency and transparency. In typical pipelines, symbolic paths are scored by…

Machine Learning · Computer Science 2026-02-04 Yezi Liu , William Youngwoo Chung , Hanning Chen , Calvin Yeung , Mohsen Imani

Rehabilitation technology is a natural setting to study the shared learning and decision-making of human and machine agents. In this work, we explore the use of Hierarchical Reinforcement Learning (HRL) to develop adaptive control…

Machine Learning · Computer Science 2025-07-24 Sonny T. Jones , Grange M. Simpson , Patrick M. Pilarski , Ashley N. Dalrymple

Multi-hop reasoning (MHR) is a process in artificial intelligence and natural language processing where a system needs to make multiple inferential steps to arrive at a conclusion or answer. In the context of knowledge graphs or databases,…

Artificial Intelligence · Computer Science 2024-06-13 Jesmin Jahan Tithi , Fabio Checconi , Fabrizio Petrini

Large Language Models (LLMs) have shown remarkable reasoning performance but struggle with multi-step deductive reasoning involving a series of rule application steps, especially when rules are presented non-sequentially. Our preliminary…

Computation and Language · Computer Science 2024-08-27 Siyuan Wang , Zhongyu Wei , Yejin Choi , Xiang Ren

Hidden Markov models (HMMs) and partially observable Markov decision processes (POMDPs) form a useful tool for modeling dynamical systems. They are particularly useful for representing environments such as road networks and office…

Artificial Intelligence · Computer Science 2013-01-30 Hagit Shatkay

Efficient and reliable generation of global path plans are necessary for safe execution and deployment of autonomous systems. In order to generate planning graphs which adequately resolve the topology of a given environment, many…

Robotics · Computer Science 2022-05-24 Alexander Lambert , Brian Hou , Rosario Scalise , Siddhartha S. Srinivasa , Byron Boots

Robot path planning is difficult to solve due to the contradiction between optimality of results and complexity of algorithms, even in 2D environments. To find an optimal path, the algorithm needs to search all the state space, which costs…

Robotics · Computer Science 2020-12-08 Zhaoting Li , Jiankun Wang , Max Q. -H. Meng

Stochastic processes offer a flexible mathematical formalism to model and reason about systems. Most analysis tools, however, start from the premises that models are fully specified, so that any parameters controlling the system's dynamics…

Systems and Control · Computer Science 2017-01-11 Luca Bortolussi , Guido Sanguinetti

To alleviate the cold start problem caused by collaborative filtering in recommender systems, knowledge graphs (KGs) are increasingly employed by many methods as auxiliary resources. However, existing work incorporated with KGs cannot…

Machine Learning · Computer Science 2020-09-10 Xinze Lyu , Guangyao Li , Jiacheng Huang , Wei Hu

A landmark based heuristic is investigated for reducing query phase run-time of the probabilistic roadmap (\PRM) motion planning method. The heuristic is generated by storing minimum spanning trees from a small number of vertices within the…

Robotics · Computer Science 2017-04-07 Brian Paden , Yannik Nager , Emilio Frazzoli

Graph Neural Networks (GNNs) have become important machine learning tools for graph analysis, and its explainability is crucial for safety, fairness, and robustness. Layer-wise relevance propagation for GNNs (GNN-LRP) evaluates the…

Machine Learning · Computer Science 2026-05-25 Ping Xiong , Thomas Schnake , Michael Gastegger , Grégoire Montavon , Klaus-Robert Müller , Shinichi Nakajima

Heuristics are a central component of deterministic planning, particularly in domain-independent settings where general applicability is prioritized over task-specific tuning. This work revisits that paradigm in light of recent advances in…

Artificial Intelligence · Computer Science 2026-01-07 Alexander Tuisov , Yonatan Vernik , Alexander Shleyfman

Reward model (RM) plays a pivotal role in reinforcement learning with human feedback (RLHF) for aligning large language models (LLMs). However, classical RMs trained on human preferences are vulnerable to reward hacking and generalize…

Machine Learning · Computer Science 2025-10-24 Zhenghao Xu , Qin Lu , Qingru Zhang , Liang Qiu , Ilgee Hong , Changlong Yu , Wenlin Yao , Yao Liu , Haoming Jiang , Lihong Li , Hyokun Yun , Tuo Zhao

Embedding knowledge graphs (KGs) into continuous vector spaces is a focus of current research. Combining such an embedding model with logic rules has recently attracted increasing attention. Most previous attempts made a one-time injection…

Artificial Intelligence · Computer Science 2017-12-01 Shu Guo , Quan Wang , Lihong Wang , Bin Wang , Li Guo

The Random Walks (RW) algorithm is one of the most e - cient and easy-to-use probabilistic segmentation methods. By combining contrast terms with prior terms, it provides accurate segmentations of medical images in a fully automated manner.…

Computer Vision and Pattern Recognition · Computer Science 2013-06-06 Pierre-Yves Baudin , Danny Goodman , Puneet Kumar , Noura Azzabou , Pierre G. Carlier , Nikos Paragios , M. Pawan Kumar

Directed graphs provide more subtle and precise modelling tools for optimization in road networks than simple graphs. In particular, they are more suitable in the context of alternative fuel vehicles and new automotive technologies, like…

Discrete Mathematics · Computer Science 2024-09-09 Lukas Dijkstra , Andrei Gagarin , Padraig Corcoran , Rhyd Lewis

This paper presents a generalized technology of extraction of explicit knowledge from data. The main ideas are 1) maximal reduction of network complexity (not only removal of neurons or synapses, but removal all the unnecessary elements and…

Condensed Matter · Physics 2007-05-23 A. N. Gorban , Eu. M. Mirkes , V. G. Tsaregorodtsev

Large graphs are present in a variety of domains, including social networks, civil infrastructure, and the physical sciences to name a few. Graph generation is similarly widespread, with applications in drug discovery, network analysis and…

Machine Learning · Computer Science 2023-11-08 Alex O. Davies , Nirav S. Ajmeri , Telmo M. Silva Filho

Pairwise Markov Random Fields (MRFs) or undirected graphical models are parsimonious representations of joint probability distributions. Variables correspond to nodes of a graph, with edges between nodes corresponding to conditional…

Statistics Theory · Mathematics 2018-09-18 Eric Janofsky