-
Parallel Belief Revision via Order Aggregation
Authors:
Jake Chandler,
Richard Booth
Abstract:
Despite efforts to better understand the constraints that operate on single-step parallel (aka "package", "multiple") revision, very little work has been carried out on how to extend the model to the iterated case. A recent paper by Delgrande & Jin outlines a range of relevant rationality postulates. While many of these are plausible, they lack an underlying unifying explanation. We draw on recent…
▽ More
Despite efforts to better understand the constraints that operate on single-step parallel (aka "package", "multiple") revision, very little work has been carried out on how to extend the model to the iterated case. A recent paper by Delgrande & Jin outlines a range of relevant rationality postulates. While many of these are plausible, they lack an underlying unifying explanation. We draw on recent work on iterated parallel contraction to offer a general method for extending serial iterated belief revision operators to handle parallel change. This method, based on a family of order aggregators known as TeamQueue aggregators, provides a principled way to recover the independently plausible properties that can be found in the literature, without yielding the more dubious ones.
△ Less
Submitted 20 May, 2025;
originally announced May 2025.
-
Web3DB: Web 3.0 RDBMS for Individual Data Ownership
Authors:
Shankha Shubhra Mukherjee,
Wenyi Tang,
Gustavo Prado Fenzi Aniceto,
Jake Chandler,
WenZhan Song,
Taeho Jung
Abstract:
This paper introduces Web3DB, a decentralized relational database management system (RDBMS) designed to align with the principles of Web 3.0, addressing critical shortcomings of traditional centralized DBMS, such as data privacy, security vulnerabilities, and single points of failure. Several similar systems have been proposed, but they are not compatible with the legacy systems based on RDBMS. Mo…
▽ More
This paper introduces Web3DB, a decentralized relational database management system (RDBMS) designed to align with the principles of Web 3.0, addressing critical shortcomings of traditional centralized DBMS, such as data privacy, security vulnerabilities, and single points of failure. Several similar systems have been proposed, but they are not compatible with the legacy systems based on RDBMS. Motivated by the necessity for enhanced data sovereignty and the decentralization of data control, Web3DB leverages blockchain technology for fine-grained access control and utilizes decentralized data storage. This system leverages a novel, modular architecture that contributes to enhanced flexibility, scalability, and user-centric functionality. Central to the Web3DB innovation is its decentralized query execution, which uses cryptographic sortition and blockchain verification to ensure secure and fair query processing across network nodes. The motivation for integrating relational databases within decentralized DBMS primarily stems from the need to combine the robustness and ease of use of relational database structures with the benefits of decentralization. This paper outlines the architecture of Web3DB, its practical implementation, and the system's ability to support SQL-like operations on relational data, manage multi-tenancy, and facilitate open data sharing, setting new standards for decentralized databases in the Web 3.0 era.
△ Less
Submitted 3 April, 2025;
originally announced April 2025.
-
Savaal: Scalable Concept-Driven Question Generation to Enhance Human Learning
Authors:
Kimia Noorbakhsh,
Joseph Chandler,
Pantea Karimi,
Mohammad Alizadeh,
Hari Balakrishnan
Abstract:
Assessing and enhancing human learning through question-answering is vital, yet automating this process remains challenging. While large language models (LLMs) excel at summarization and query responses, their ability to generate meaningful questions for learners is underexplored.
We propose Savaal, a scalable question-generation system with three objectives: (i) scalability, enabling question g…
▽ More
Assessing and enhancing human learning through question-answering is vital, yet automating this process remains challenging. While large language models (LLMs) excel at summarization and query responses, their ability to generate meaningful questions for learners is underexplored.
We propose Savaal, a scalable question-generation system with three objectives: (i) scalability, enabling question generation from hundreds of pages of text (ii) depth of understanding, producing questions beyond factual recall to test conceptual reasoning, and (iii) domain-independence, automatically generating questions across diverse knowledge areas. Instead of providing an LLM with large documents as context, Savaal improves results with a three-stage processing pipeline. Our evaluation with 76 human experts on 71 papers and PhD dissertations shows that Savaal generates questions that better test depth of understanding by 6.5X for dissertations and 1.5X for papers compared to a direct-prompting LLM baseline. Notably, as document length increases, Savaal's advantages in higher question quality and lower cost become more pronounced.
△ Less
Submitted 21 February, 2025; v1 submitted 17 February, 2025;
originally announced February 2025.
-
Parallel Belief Contraction via Order Aggregation
Authors:
Jake Chandler,
Richard Booth
Abstract:
The standard ``serial'' (aka ``singleton'') model of belief contraction models the manner in which an agent's corpus of beliefs responds to the removal of a single item of information. One salient extension of this model introduces the idea of ``parallel'' (aka ``package'' or ``multiple'') change, in which an entire set of items of information are simultaneously removed. Existing research on the l…
▽ More
The standard ``serial'' (aka ``singleton'') model of belief contraction models the manner in which an agent's corpus of beliefs responds to the removal of a single item of information. One salient extension of this model introduces the idea of ``parallel'' (aka ``package'' or ``multiple'') change, in which an entire set of items of information are simultaneously removed. Existing research on the latter has largely focussed on single-step parallel contraction: understanding the behaviour of beliefs after a single parallel contraction. It has also focussed on generalisations to the parallel case of serial contraction operations whose characteristic properties are extremely weak. Here we consider how to extend serial contraction operations that obey stronger properties. Potentially more importantly, we also consider the iterated case: the behaviour of beliefs after a sequence of parallel contractions. We propose a general method for extending serial iterated belief change operators to handle parallel change based on an n-ary generalisation of Booth & Chandler's TeamQueue binary order aggregators.
△ Less
Submitted 22 January, 2025;
originally announced January 2025.
-
External Steering of Vine Robots via Magnetic Actuation
Authors:
Nam Gyun Kim,
Nikita J. Greenidge,
Joshua Davy,
Shinwoo Park,
James H. Chandler,
Jee-Hwan Ryu,
Pietro Valdastri
Abstract:
This paper explores the concept of external magnetic control for vine robots to enable their high curvature steering and navigation for use in endoluminal applications. Vine robots, inspired by natural growth and locomotion strategies, present unique shape adaptation capabilities that allow passive deformation around obstacles. However, without additional steering mechanisms, they lack the ability…
▽ More
This paper explores the concept of external magnetic control for vine robots to enable their high curvature steering and navigation for use in endoluminal applications. Vine robots, inspired by natural growth and locomotion strategies, present unique shape adaptation capabilities that allow passive deformation around obstacles. However, without additional steering mechanisms, they lack the ability to actively select the desired direction of growth. The principles of magnetically steered growing robots are discussed, and experimental results showcase the effectiveness of the proposed magnetic actuation approach. We present a 25 mm diameter vine robot with integrated magnetic tip capsule, including 6 Degrees of Freedom (DOF) localization and camera and demonstrate a minimum bending radius of 3.85 cm with an internal pressure of 30 kPa. Furthermore, we evaluate the robot's ability to form tight curvature through complex navigation tasks, with magnetic actuation allowing for extended free-space navigation without buckling. The suspension of the magnetic tip was also validated using the 6 DOF localization system to ensure that the shear-free nature of vine robots was preserved. Additionally, by exploiting the magnetic wrench at the tip, we showcase preliminary results of vine retraction. The findings contribute to the development of controllable vine robots for endoluminal applications, providing high tip force and shear-free navigation.
△ Less
Submitted 2 September, 2024;
originally announced September 2024.
-
Exploring the Impact of a Transformer's Latent Space Geometry on Downstream Task Performance
Authors:
Anna C. Marbut,
John W. Chandler,
Travis J. Wheeler
Abstract:
It is generally thought that transformer-based large language models benefit from pre-training by learning generic linguistic knowledge that can be focused on a specific task during fine-tuning. However, we propose that much of the benefit from pre-training may be captured by geometric characteristics of the latent space representations, divorced from any specific linguistic knowledge. In this wor…
▽ More
It is generally thought that transformer-based large language models benefit from pre-training by learning generic linguistic knowledge that can be focused on a specific task during fine-tuning. However, we propose that much of the benefit from pre-training may be captured by geometric characteristics of the latent space representations, divorced from any specific linguistic knowledge. In this work we explore the relationship between GLUE benchmarking task performance and a variety of measures applied to the latent space resulting from BERT-type contextual language models. We find that there is a strong linear relationship between a measure of quantized cell density and average GLUE performance and that these measures may be predictive of otherwise surprising GLUE performance for several non-standard BERT-type models from the literature. These results may be suggestive of a strategy for decreasing pre-training requirements, wherein model initialization can be informed by the geometric characteristics of the model's latent space.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
DriveTrack: A Benchmark for Long-Range Point Tracking in Real-World Videos
Authors:
Arjun Balasingam,
Joseph Chandler,
Chenning Li,
Zhoutong Zhang,
Hari Balakrishnan
Abstract:
This paper presents DriveTrack, a new benchmark and data generation framework for long-range keypoint tracking in real-world videos. DriveTrack is motivated by the observation that the accuracy of state-of-the-art trackers depends strongly on visual attributes around the selected keypoints, such as texture and lighting. The problem is that these artifacts are especially pronounced in real-world vi…
▽ More
This paper presents DriveTrack, a new benchmark and data generation framework for long-range keypoint tracking in real-world videos. DriveTrack is motivated by the observation that the accuracy of state-of-the-art trackers depends strongly on visual attributes around the selected keypoints, such as texture and lighting. The problem is that these artifacts are especially pronounced in real-world videos, but these trackers are unable to train on such scenes due to a dearth of annotations. DriveTrack bridges this gap by building a framework to automatically annotate point tracks on autonomous driving datasets. We release a dataset consisting of 1 billion point tracks across 24 hours of video, which is seven orders of magnitude greater than prior real-world benchmarks and on par with the scale of synthetic benchmarks. DriveTrack unlocks new use cases for point tracking in real-world videos. First, we show that fine-tuning keypoint trackers on DriveTrack improves accuracy on real-world scenes by up to 7%. Second, we analyze the sensitivity of trackers to visual artifacts in real scenes and motivate the idea of running assistive keypoint selectors alongside trackers.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Computational Design of Magnetic Soft Shape-Forming Catheters using the Material Point Method
Authors:
Joshua Davy,
Peter Lloyd,
James H. Chandler,
Pietro Valdastri
Abstract:
Magnetic Soft Catheters (MSCs) are capable of miniaturization due to the use of an external magnetic field for actuation. Through careful design of the magnetic elements within the MSC and the external magnetic field, the shape along the full length of the catheter can be precisely controlled. However, modeling of the magnetic-soft material is challenging due to the complex relationship between ma…
▽ More
Magnetic Soft Catheters (MSCs) are capable of miniaturization due to the use of an external magnetic field for actuation. Through careful design of the magnetic elements within the MSC and the external magnetic field, the shape along the full length of the catheter can be precisely controlled. However, modeling of the magnetic-soft material is challenging due to the complex relationship between magnetic and elastic stresses within the material. Approaches based on traditional Finite Element Methods (FEM) lead to high computation time and rely on proprietary implementations. In this work, we showcase the use of our recently presented open-source simulation framework based on the Material Point Method (MPM) for the computational design of magnetic soft catheters to realize arbitrary shapes in 3D, and to facilitate follow-the-leader shape-forming insertion.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
Six-degree-of-freedom Localization Under Multiple Permanent Magnets Actuation
Authors:
Tomas da Veiga,
Giovanni Pittiglio,
Michael Brockdorff,
James H. Chandler,
Pietro Valdastri
Abstract:
Localization of magnetically actuated medical robots is essential for accurate actuation, closed loop control and delivery of functionality. Despite extensive progress in the use of magnetic field and inertial measurements for pose estimation, these have been either under single external permanent magnet actuation or coil systems. With the advent of new magnetic actuation systems comprised of mult…
▽ More
Localization of magnetically actuated medical robots is essential for accurate actuation, closed loop control and delivery of functionality. Despite extensive progress in the use of magnetic field and inertial measurements for pose estimation, these have been either under single external permanent magnet actuation or coil systems. With the advent of new magnetic actuation systems comprised of multiple external permanent magnets for increased control and manipulability, new localization techniques are necessary to account for and leverage the additional magnetic field sources. In this letter, we introduce a novel magnetic localization technique in the Special Euclidean Group SE(3) for multiple external permanent magnetic field actuation and control systems. The method relies on a milli-meter scale three-dimensional accelerometer and a three-dimensional magnetic field sensor and is able to estimate the full 6 degree-of-freedom pose without any prior pose information. We demonstrated the localization system with two external permanent magnets and achieved localization errors of 8.5 ? 2.4 mm in position norm and 3.7 ? 3.6? in orientation, across a cubic workspace with 20 cm length.
△ Less
Submitted 20 March, 2023;
originally announced March 2023.
-
Independent Control of Two Magnetic Robots using External Permanent Magnets: A Feasibility Study
Authors:
Joshua Davy,
Tomas da Veiga,
Giovanni Pittiglio,
James H. Chandler,
Pietro Valdastri
Abstract:
The ability to have multiple magnetic robots operate independently in the same workspace would increase the clinical potential of these systems allowing collaborative operation. In this work, we investigate the feasibility of actuating two magnetic robots operating within the same workspace using external permanent magnets. Unlike actuation systems based on pairs of electromagnetic coils, the use…
▽ More
The ability to have multiple magnetic robots operate independently in the same workspace would increase the clinical potential of these systems allowing collaborative operation. In this work, we investigate the feasibility of actuating two magnetic robots operating within the same workspace using external permanent magnets. Unlike actuation systems based on pairs of electromagnetic coils, the use of multiple permanent magnets comes with the advantage of a large workspace which better suits the clinical setting. In this work, we present an optimization routine capable of generating the required poses for the external magnets in order to control the position and orientation of two magnetic robots. We show that at a distance of 15cm, minimal coupling between the magnetic robots can be achieved (3.9\% crosstalk) each embedded with 5mm diameter, 5mm length NdFeB magnets. At smaller distances, we observe that the ability to independently control the robot torques decreases, but forces can still achieve independent control even with alignment of the robots. We test our developed control system in a simulation of two magnetic robots following pre-planned trajectories in close proximity (60 mm) showing a mean positional error of 8.7 mm and mean angular error of 16.7 degrees.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
Revision by Conditionals: From Hook to Arrow
Authors:
Jake Chandler,
Richard Booth
Abstract:
The belief revision literature has largely focussed on the issue of how to revise one's beliefs in the light of information regarding matters of fact. Here we turn to an important but comparatively neglected issue: How might one extend a revision operator to handle conditionals as input? Our approach to this question of 'conditional revision' is distinctive insofar as it abstracts from the controv…
▽ More
The belief revision literature has largely focussed on the issue of how to revise one's beliefs in the light of information regarding matters of fact. Here we turn to an important but comparatively neglected issue: How might one extend a revision operator to handle conditionals as input? Our approach to this question of 'conditional revision' is distinctive insofar as it abstracts from the controversial details of how to revise by factual sentences. We introduce a 'plug and play' method for uniquely extending any iterated belief revision operator to the conditional case. The flexibility of our approach is achieved by having the result of a conditional revision by a Ramsey Test conditional ('arrow') determined by that of a plain revision by its corresponding material conditional ('hook'). It is shown to satisfy a number of new constraints that are of independent interest.
△ Less
Submitted 29 June, 2020;
originally announced June 2020.
-
Elementary Iterated Revision and the Levi Identity
Authors:
Jake Chandler,
Richard Booth
Abstract:
Recent work has considered the problem of extending to the case of iterated belief change the so-called `Harper Identity' (HI), which defines single-shot contraction in terms of single-shot revision. The present paper considers the prospects of providing a similar extension of the Levi Identity (LI), in which the direction of definition runs the other way. We restrict our attention here to the thr…
▽ More
Recent work has considered the problem of extending to the case of iterated belief change the so-called `Harper Identity' (HI), which defines single-shot contraction in terms of single-shot revision. The present paper considers the prospects of providing a similar extension of the Levi Identity (LI), in which the direction of definition runs the other way. We restrict our attention here to the three classic iterated revision operators--natural, restrained and lexicographic, for which we provide here the first collective characterisation in the literature, under the appellation of `elementary' operators. We consider two prima facie plausible ways of extending (LI). The first proposal involves the use of the rational closure operator to offer a `reductive' account of iterated revision in terms of iterated contraction. The second, which doesn't commit to reductionism, was put forward some years ago by Nayak et al. We establish that, for elementary revision operators and under mild assumptions regarding contraction, Nayak's proposal is equivalent to a new set of postulates formalising the claim that contraction by $\neg A$ should be considered to be a kind of `mild' revision by $A$. We then show that these, in turn, under slightly weaker assumptions, jointly amount to the conjunction of a pair of constraints on the extension of (HI) that were recently proposed in the literature. Finally, we consider the consequences of endorsing both suggestions and show that this would yield an identification of rational revision with natural revision. We close the paper by discussing the general prospects for defining iterated revision in terms of iterated contraction.
△ Less
Submitted 2 July, 2019;
originally announced July 2019.
-
On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators
Authors:
Richard Booth,
Jake Chandler
Abstract:
Darwiche and Pearl's seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most of the suggestions made have resulted in a form of `reductionism' that identifies belief states with orderings of worlds. However, this position has recently been criticised as b…
▽ More
Darwiche and Pearl's seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most of the suggestions made have resulted in a form of `reductionism' that identifies belief states with orderings of worlds. However, this position has recently been criticised as being unacceptably strong. Other proposals, such as the popular principle (P), aka `Independence', characteristic of `admissible' revision operators, remain commendably more modest. In this paper, we supplement both the DP postulates and (P) with a number of novel conditions. While the DP postulates constrain the relation between a prior and a posterior conditional belief set, our new principles notably govern the relation between two posterior conditional belief sets obtained from a common prior by different revisions. We show that operators from the resulting family, which subsumes both lexicographic and restrained revision, can be represented as relating belief states that are associated with a `proper ordinal interval' (POI) assignment, a structure more fine-grained than a simple ordering of worlds. We close the paper by noting that these operators satisfy iterated versions of a large number of AGM era postulates, including Superexpansion, that are not sound for admissible operators in general.
△ Less
Submitted 25 July, 2018;
originally announced July 2018.
-
Extending the Harper Identity to Iterated Belief Change
Authors:
Jake Chandler,
Richard Booth
Abstract:
The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief set…
▽ More
The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief set resulting from contracting A in terms of (i) the initial belief set and (ii) the belief set resulting from revision by not-A, we look at ways to define the plausibility ordering over worlds resulting from contracting A in terms of (iii) the initial plausibility ordering, and (iv) the plausibility ordering resulting from revision by not-A. After noting that the most straightforward such extension leads to a trivialisation of the space of permissible orderings, we provide a family of operators for combining plausibility orderings that avoid such a result. These operators are characterised in our domain of interest by a pair of intuitively compelling properties, which turn out to enable the derivation of a number of iterated contraction postulates from postulates for iterated revision. We finish by observing that a salient member of this family allows for the derivation of counterparts for contraction of some well known iterated revision operators, as well as for defining new iterated contraction operators.
△ Less
Submitted 18 April, 2016;
originally announced April 2016.
