Arrow Research search

Author name cluster

Zhiguo Long

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.

12 papers
2 author rows

Possible papers

12

AAAI Conference 2025 Conference Paper

Clustering by Mining Density Distributions and Splitting Manifold Structure

  • Zhichang Xu
  • Zhiguo Long
  • Hua Meng

Spectral clustering requires the time-consuming decomposition of the Laplacian matrix of the similarity graph, thus limiting its applicability to large datasets. To improve the efficiency of spectral clustering, a top-down approach was recently proposed, which first divides the data into several micro-clusters (granular-balls), then splits these micro-clusters when they are not ``compact'', and finally uses these micro-clusters as nodes to construct a similarity graph for more efficient spectral clustering. However, this top-down approach is challenging to adapt to unevenly distributed or structurally complex data. This is because constructing micro-clusters as a rough ball struggles to capture the shape and structure of data in a local range, and the simplistic splitting rule that solely targets ``compactness'' is susceptible to noise and variations in data density and leads to micro-clusters with varying shapes, making it challenging to accurately measure the similarity between them. To resolve these issues and improve spectral clustering, this paper first proposes to start from local structures to obtain micro-clusters, such that the complex structural information inside local neighborhoods is well captured by them. Moreover, by noting that Euclidean distance is more suitable for convex sets, this paper further proposes a data splitting rule that couples local density and data manifold structures, so that the similarities of the obtained micro-clusters can be easily characterized. A novel similarity measure between micro-clusters is then proposed for the final spectral clustering. A series of experiments based on synthetic and real-world datasets demonstrate that the proposed method has better adaptability to structurally complex data than granular-ball based methods.

IJCAI Conference 2025 Conference Paper

On Definite Iterated Belief Revision with Belief Algebras

  • Hua Meng
  • Zhiguo Long
  • Michael Sioutis
  • Zhengchun Zhou

Traditional logic-based belief revision research focuses on designing rules to constrain the behavior of revision operators. Frameworks have been proposed to characterize iterated revision rules, but they are often too loose, leading to multiple revision operators that all satisfy the rules under the same belief condition. In many practical applications, such as safety critical ones, it is important to specify a definite revision operator to enable agents to iteratively revise their beliefs in a deterministic way. In this paper, we propose a novel framework for iterated belief revision by characterizing belief information through preference relations. Semantically, both beliefs and new evidence are represented as belief algebras, which provide a rich and expressive foundation for belief revision. Building on traditional revision rules, we introduce additional postulates for revision with belief algebra, including an upper-bound constraint on the outcomes of revision. We prove that the revision result is uniquely determined given the current belief state and new evidence. Furthermore, to make the framework more useful in practice, we develop a particular algorithm for performing the proposed revision process. We argue that this approach may offer a more predictable and principled method for belief revision, making it suitable for real-world applications.

ICML Conference 2025 Conference Paper

TANGO: Clustering with Typicality-Aware Nonlocal Mode-Seeking and Graph-Cut Optimization

  • Haowen Ma
  • Zhiguo Long
  • Hua Meng 0001

Density-based mode-seeking methods generate a density-ascending dependency from low-density points towards higher-density neighbors. Current mode-seeking methods identify modes by breaking some dependency connections, but relying heavily on local data characteristics, requiring case-by-case threshold settings or human intervention to be effective for different datasets. To address this issue, we introduce a novel concept called typicality, by exploring the locally defined dependency from a global perspective, to quantify how confident a point would be a mode. We devise an algorithm that effectively and efficiently identifies modes with the help of the global-view typicality. To implement and validate our idea, we design a clustering method called TANGO, which not only leverages typicality to detect modes, but also utilizes graph-cut with an improved path-based similarity to aggregate data into the final clusters. Moreover, this paper also provides some theoretical analysis on the proposed algorithm. Experimental results on several synthetic and extensive real-world datasets demonstrate the effectiveness and superiority of TANGO. The code is available at https: //github. com/SWJTU-ML/TANGO_code.

KER Journal 2022 Journal Article

A framework for belief revision under restrictions

  • Zhiguo Long
  • Hua Meng
  • Tianrui Li
  • Heng-Chao Li
  • Michael Sioutis

Abstract Traditional belief revision usually considers generic logic formulas, whilst in practical applications some formulas might even be inappropriate for beliefs. For instance, the formula $p \wedge q$ is syntactically consistent and is also an acceptable belief when there are no restrictions, but it might become unacceptable under restrictions in some context. If we assume that p represents ‘manufacturing product A ’ and q represents ‘manufacturing product B ’, an example of such a context would be the knowledge that there are not enough resources to manufacture them both and, hence, $p \wedge q$ would not be an acceptable belief. In this article, we propose a generic framework for belief revision under restrictions. We consider restrictions of either fixed or dynamic nature, and devise several postulates to characterize the behaviour of changing beliefs when new evidence emerges or the restriction changes. Moreover, we show that there is a representation theorem for each type of restriction. Finally, we discuss belief revision of qualitative spatio-temporal information under restrictions as an application of this new framework.

IS Journal 2022 Journal Article

Approximating Region Boundaries Based on Qualitative and Quantitative Information

  • Zhiguo Long
  • Michael Sioutis
  • Qingqian Li
  • Hua Meng
  • Heng-Chao Li

Approximating regions is a topic that can have important applications in artificial intelligence whenever uncertain, incomplete, or inconsistent/contradictory spatial information is involved. This article devises a new method to generate region approximations based on rough qualitative direction and distance information. The main idea is first to give a suitability score to smaller regions, cells, that are obtained by partitioning the area of interest, and then to identify candidates to form an approximation by evaluating score contribution ratios under a certain threshold. This article designs a novel mechanism that compares the actual information of cells with the provided rough information in order to calculate suitability scores, and proposes to exploit a regressor model that can predict a threshold given certain suitability scores. Experimental results show that, given a good threshold, this new method can approximate target regions effectively, and that good thresholds can be reliably obtained through a trained regressor.

IJCAI Conference 2020 Conference Paper

On Robustness in Qualitative Constraint Networks

  • Michael Sioutis
  • Zhiguo Long
  • Tomi Janhunen

We introduce and study a notion of robustness in Qualitative Constraint Networks (QCNs), which are typically used to represent and reason about abstract spatial and temporal information. In particular, given a QCN, we are interested in obtaining a robust qualitative solution, or, a robust scenario of it, which is a satisfiable scenario that has a higher perturbation tolerance than any other, or, in other words, a satisfiable scenario that has more chances than any other to remain valid after it is altered. This challenging problem requires to consider the entire set of satisfiable scenarios of a QCN, whose size is usually exponential in the number of constraints of that QCN; however, we present a first algorithm that is able to compute a robust scenario of a QCN using linear space in the number of constraints. Preliminary results with a dataset from the job-shop scheduling domain, and a standard one, show the interest of our approach and highlight the fact that not all solutions are created equal.

IJCAI Conference 2017 Conference Paper

On Redundant Topological Constraints (Extended Abstract)

  • Sanjiang Li
  • Zhiguo Long
  • Weiming Liu
  • Matt Duckham
  • Alan Both

Redundancy checking is an important task in AI subfields such as knowledge representation and constraint solving. This paper considers redundant topological constraints, defined in the region connection calculus RCC8. We say a constraint in a set C of RCC8 constraints is redundant if it is entailed by the rest of C. A prime subnetwork of C is a subset of C which contains no redundant constraints and has the same solution set as C. It is natural to ask how to compute such a prime subnetwork, and when it is unique. While this problem is in general intractable, we show that, if S is a subalgebra of RCC8 in which weak composition distributes over nonempty intersections, then C has a unique prime subnetwork, which can be obtained in cubic time by removing all redundant constraints simultaneously from C. As a by-product, we show that any path-consistent network over such a distributive subalgebra is minimal.

IJCAI Conference 2016 Conference Paper

Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks

  • Zhiguo Long
  • Michael Sioutis
  • Sanjiang Li

We propose a new algorithm called DPC+ to enforce partial path consistency (PPC) on qualitative constraint networks. PPC restricts path consistency (PC) to a triangulation of the underlying constraint graph of a network. As PPC retains the sparseness of a constraint graph, it can make reasoning tasks such as consistency checking and minimal labelling of large qualitative constraint networks much easier to tackle than PC. For qualitative constraint networks defined over any distributive subalgebra of well-known spatio-temporal calculi, such as the Region Connection Calculus and the Interval Algebra, we show that DPC+ can achieve PPC very fast. Indeed, the algorithm enforces PPC on a qualitative constraint network by processing each triangle in a triangulation of its underlying constraint graph at most three times. Our experiments demonstrate significant improvements of DPC+ over the state-of-the-art PPC enforcing algorithm.

KR Conference 2016 Conference Paper

Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions

  • Zhiguo Long
  • Steven Schockaert
  • Sanjiang Li

Most approaches in the field of qualitative spatial reasoning (QSR) use constraint networks to encode spatial scenarios. The size of these networks is quadratic in the number of variables, which has severely limited the real-world application of QSR. In this paper, we propose another representation of spatial scenarios, in which each variable is associated with one or more rectangles. Instead of requiring these rectangles to define a solution of the corresponding constraint network, we construct sequences of rectangles that define partial solutions to progressively weaker constraint networks. We present experimental results that illustrate the effectiveness of this strategy.

ECAI Conference 2016 Conference Paper

On Redundancy in Simple Temporal Networks

  • Jae Hee Lee 0001
  • Sanjiang Li
  • Zhiguo Long
  • Michael Sioutis

The Simple Temporal Problem (STP) has been widely used in various applications to schedule tasks. For dynamical systems, scheduling needs to be efficient and flexible to handle uncertainty and perturbation. To this end, modern approaches usually encode the temporal information as an STP instance. This representation contains redundant information, which can not only take a significant amount of storage space, but also make scheduling inefficient due to the non-concise representation. In this paper, we investigate the problem of simplifying an STP instance by removing redundant information. We show that such a simplification can result in a unique minimal representation without loss of temporal information, and present an efficient algorithm to achieve this task. Evaluation on a large benchmark dataset of STP exhibits a significant reduction in redundant information for the involved instances.

AIJ Journal 2015 Journal Article

On redundant topological constraints

  • Sanjiang Li
  • Zhiguo Long
  • Weiming Liu
  • Matt Duckham
  • Alan Both

Redundancy checking is an important task in the research of knowledge representation and reasoning. In this paper, we consider redundant qualitative constraints. For a set Γ of qualitative constraints, we say a constraint ( x R y ) in Γ is redundant if it is entailed by the rest of Γ. A prime subnetwork of Γ is a subset of Γ which contains no redundant constraints and has the same solution set as Γ. It is natural to ask how to compute such a prime subnetwork, and when it is unique. We show that this problem is in general intractable, but becomes tractable if Γ is over a tractable subalgebra S of a qualitative calculus. Furthermore, if S is a subalgebra of the Region Connection Calculus RCC8 in which weak composition distributes over nonempty intersections, then Γ has a unique prime subnetwork, which can be obtained in cubic time by removing all redundant constraints simultaneously from Γ. As a by-product, we show that any path-consistent network over such a distributive subalgebra is minimal and globally consistent in a qualitative sense. A thorough empirical analysis of the prime subnetwork upon real geographical data sets demonstrates the approach is able to identify significantly more redundant constraints than previously proposed algorithms, especially in constraint networks with larger proportions of partial overlap relations.

KR Conference 2014 Short Paper

On Redundant Topological Constraints

  • Matt Duckham
  • Sanjiang Li
  • Weiming Liu
  • Zhiguo Long

The Region Connection Calculus (RCC) is a well-known calculus for representing part-whole and topological relations. It plays an important role in qualitative spatial reasoning, geographical information science, and ontology. The computational complexity of reasoning with RCC has been investigated in depth in the literature. Most of these works focus on the consistency of RCC constraint networks. In this paper, we consider the important problem of redundant RCC constraints. For a set Γ of RCC constraints, we say a constraint (xRy) in Γ is redundant if it can be entailed by the rest of Γ. A prime subnetwork of Γ is a subset of Γ which contains no redundant constraints but has the same solution set as Γ. It is natural to ask how to compute a prime subnetwork, and when it is unique. In this paper, we show that this problem is in general intractable, but becomes tractable if Γ is over a tractable subclass of RCC. If S is a tractable subclass in which weak composition distributes over non-empty intersections, then we can show that Γ has a unique prime network, which is obtained by removing all redundant constraints from Γ. As a byproduct, we identify a sufficient condition for a path-consistent network being minimal.

v2026.09.13