Connection calculi allow for very compact implementations of goal-directed proof search. We give an overview of our work related to connection tableaux calculi: first, we show optimised functional implementations of connection tableaux proof search, including a consistent Skolemisation procedure for machine learning. Then, we show two guidance methods based on machine learning, namely reordering of proof steps with Naive Bayesian probabilities, and expansion of a proof search tree with Monte Carlo Tree Search.
Download full-text PDF |
Source |
|---|---|
| http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7900060 | PMC |
| http://dx.doi.org/10.1007/s10817-020-09576-7 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
PhyloMix: Enhancing microbiome-trait association prediction through phylogeny-mixing augmentation.
Bioinformatics
January 2025
Cheriton School of Computer Science, University of Waterloo, Waterloo, Ontario, Canada.
Motivation: Understanding the associations between traits and microbial composition is a fundamental objective in microbiome research. Recently, researchers have turned to machine learning (ML) models to achieve this goal with promising results. However, the effectiveness of advanced ML models is often limited by the unique characteristics of microbiome data, which are typically high-dimensional, compositional, and imbalanced.
View Article and Find Full Text PDFNutritional intelligence in the food system: Combining food, health, data and AI expertise.
Nutr Bull
January 2025
Queen's University Belfast, Belfast, UK.
Transformative change is needed across the food system to improve health and environmental outcomes. As food, nutrition, environmental and health data are generated beyond human scale, there is an opportunity for technological tools to support multifactorial, integrated, scalable approaches to address the complexities of dietary behaviour change. Responsible technology could act as a mechanistic conduit between research, policy, industry and society, enabling timely, informed decision making and action by all stakeholders across the food system.
View Article and Find Full Text PDFMFMGP: an integrated machine learning fusion model for genomic prediction.
Plant Biotechnol J
January 2025
College of Agronomy, Anhui Agricultural University, Hefei, Anhui, China.
Developing a decision support tool to predict delayed discharge from hospitals using machine learning.
BMC Health Serv Res
January 2025
Department of Industrial Engineering, Dalhousie University, PO Box 15000, Halifax, B3H 4R2, NS, Canada.
Background: The growing demand for healthcare services challenges patient flow management in health systems. Alternative Level of Care (ALC) patients who no longer need acute care yet face discharge barriers contribute to prolonged stays and hospital overcrowding. Predicting these patients at admission allows for better resource planning, reducing bottlenecks, and improving flow.
View Article and Find Full Text PDFDevelopment of a model for measuring sagittal plane parameters in 10-18-year old adolescents with idiopathic scoliosis based on RTMpose deep learning technology.
J Orthop Surg Res
January 2025
Department of Human Anatomy, Graduate School, Inner Mongolia Medical University, Hohhot, 010010, Inner Mongolia, China.
Purpose: The study aimed to develop a deep learning model for rapid, automated measurement of full-spine X-rays in adolescents with Adolescent Idiopathic Scoliosis (AIS). A significant challenge in this field is the time-consuming nature of manual measurements and the inter-individual variability in these measurements. To address these challenges, we utilized RTMpose deep learning technology to automate the process.
View Article and Find Full Text PDFWant AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!