Author name cluster

Xia Wang

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

3 papers

1 author row

EAAI Journal 2025 Journal Article

An evolutionary multitasking algorithm for multi-objective feature selection using dual-perspective reduction

Mengyue Wang
Hongwei Ge
Xia Wang
Liang Sun
Yaqing Hou
Bin Li

Feature selection inherently involves two conflicting objectives: minimizing the number of selected features and maximizing the classification accuracy. The exponential growth of the search space and complex interactions between features make high-dimensional feature selection challenging. Existing multi-objective methods suffer from slow convergence and limited search capabilities. Moreover, there is a lack of efficient methods for identifying feature subsets with equivalent objective values, which could offer diverse options. To address these issues, this paper proposes an evolutionary multitasking algorithm for multi-objective feature selection using dual-perspective reduction, called DREA-FS. First, a dual-perspective dimensionality reduction strategy is designed to generate simplified and complementary tasks through improved filter-based and group-based methods, facilitating the rapid identification of promising regions. To enable effective information sharing, a dual-archive multitasking optimization mechanism is proposed, which incorporates a diversity archive to preserve feature subsets with equivalent performance and maintain diversity. Coupled with an elite archive that offers convergence guidance, this mechanism achieves a balance between convergence and diversity across tasks, thereby enhancing the ability to search for equivalent feature subsets. Experimental results on 21 datasets demonstrate that the proposed method outperforms state-of-the-art multi-objective algorithms in classification performance. Besides, DREA-FS can identify different feature subsets with equivalent objective values, supporting decision-makers with diverse options and better interpretability.

Details DOI

AAMAS Conference 2025 Conference Paper

Combining LLMs with a Logic-Based Framework to Explain MCTS

Ziyan An
Xia Wang
Hendrik Baier
Zirong Chen
Abhishek Dubey
Taylor T. Johnson
Jonathan Sprinkle
Ayan Mukhopadhyay

In response to the lack of trust in Artificial Intelligence (AI) for sequential planning, we design a Computational Tree Logic-guided large language model (LLM)-based natural language explanation framework designed for the Monte Carlo Tree Search (MCTS) algorithm. MCTS is often considered challenging to interpret due to the complexity of its search trees, but our framework is flexible enough to handle a wide range of free-form post-hoc queries and knowledge-based inquiries centered around MCTS and the Markov Decision Process (MDP) of the application domain. By transforming user queries into logic and variable statements, our framework ensures that the evidence obtained from the search tree remains factually consistent with the underlying environmental dynamics and any constraints in the actual stochastic control process. We evaluate the framework rigorously through quantitative assessments, where it demonstrates strong performance in terms of accuracy and factual consistency.

PDF

EAAI Journal 2025 Journal Article

Formal verification for multi-agent path execution in stochastic environments

Xia Wang
Jun Liu
Chris D. Nugent
Shaobing Xu
Yang Xu

Multi-agent pathfinding aims to determine conflict-free paths for multiple agents in a shared environment. However, real-world uncertainties can disrupt preplanned paths, leading to delays and new conflicts. Addressing these challenges requires robust strategies for path execution and adjustment. While many multi-agent pathfinding algorithms have been proposed, this work does not introduce a new algorithm. Instead, it presents an adjustment solution based on a set of constraint rules and a priority strategy to avoid conflicts and deadlocks. Additionally, a Markov decision process model is developed, derived from the preplanned paths, and integrated with the adjustment solution to account for stochastic environmental uncertainties. A novel integrated framework is proposed for formally analyze and verify the reliability of multi-agent path execution and the robustness of the adjustment solution in stochastic environments, with formal verification achieved through a logic-based probabilistic model checker. The performance of the proposed framework is validated through various scenarios on the Flatland platform. Results demonstrate that the adjustment solution, based on the constraint rules, effectively mitigates conflicts and deadlocks, improving robustness. Furthermore, formal verification proves effective in assessing the reliability and robustness of multi-agent path execution under uncertainty.

Details DOI