Abstract:Formulating Boolean queries for systematic review literature search is a challenging task. Commonly, queries are formulated by information specialists using the protocol specified in the review and interactions with the research team. Information specialists have in-depth experience on how to formulate queries in this domain, but may not have in-depth knowledge about the reviews’ topics. Query formulation requires a significant amount of time and effort, and is performed interactively; specialists repeatedly formulate queries, attempt to validate their results, and reformulate specific Boolean clauses. In this paper, we investigate the possibility of automatically formulating a Boolean query from the systematic review protocol. We propose a novel five-step approach to automatic query formulation, specific to Boolean queries in this domain, which approximates the process by which information specialists formulate queries. In this process, we use syntax parsing to derive the logical structure of high-level concepts in a query, automatically extract and map concepts to entities in order to perform entity expansion, and finally apply post-processing operations (such as stemming and search filters). Automatic query formulation for systematic review literature search has several benefits: (i) it can provide reviewers with an indication of the types of studies that will be retrieved, without the involvement of an information specialist, (ii) it can provide information specialists with an initial query to begin the formulation process, (iii) it can provide researchers that perform rapid reviews with a method to quickly perform searches.

Research Advances in Methods of Extracting Boolean Unsatisfiable Subformulae

Finding Unsatisfiable Subformulas With Stochastic Method

Tracking Unsatisfiable Subformulas from Reduced Refutation Proof.

Advances in Satisfiability Solving Techniques

An algorithm for extracting minimal first-order unsatisfiable subformulae on depth-first-search and incremental solving

Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications

Approximate Solutions Of Fuzzy Relation Equations(Ii) Based On Boolean-Type Implications

Research on Satisfiability Threshold of Class of Boolean Equations

Machine Learning Methods in Solving the Boolean Satisfiability Problem

An Overview of Recent Developments in Big Boolean Equations

A Resolution-Based Approach for Extracting Variable Minimal Unsatisfiable Sub-Formulas

A survey of SAT solver

Algorithmic analysis on a class of Boolean equations

Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic

Complete Boolean Satisfiability Solving Algorithms Based on Local Search

Automatic Boolean Query Formulation for Systematic Review Literature Search

Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs.

Zeon and Idem-Clifford Formulations of Boolean Satisfiability

Advanced Tools and Methods for Treewidth-Based Problem Solving -- Extended Abstract

A Survey on Theorem Provers in Formal Methods

Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories