AIMC Topic: Logic

Clear Filters Showing 1 to 10 of 58 articles

Neural transition system abstraction for neural network dynamical system models and its application to Computational Tree Logic verification.

Neural networks : the official journal of the International Neural Network Society Feb 15, 2025
This paper proposes an explainable abstraction-based verification method that prioritizes user interaction and enhances interpretability. By partitioning the system's state space using a data-driven process, we can abstract the dynamics into words co...
Humans Computer Simulation Logic Neural Networks, Computer Algorithms
View on PubMed DOI

Logical reasoning for human activity recognition based on multisource data from wearable device.

Scientific reports Jan 2, 2025
Smart wearable devices detection and recording of people's everyday activities is critical for health monitoring, helping persons with disabilities, and providing care for the elderly. Most of the research that is being conducted uses a machine learn...
Human Activities Female Activities of Daily Living Logic Artificial Intelligence Adult Machine Learning Male Humans Wearable Electronic Devices
View on PubMed DOI

Large Language Model Enhanced Logic Tensor Network for Stance Detection.

Neural networks : the official journal of the International Neural Network Society Nov 29, 2024
Social media platforms, rich in user-generated content, offer a unique perspective on public opinion, making stance detection an essential task in opinion mining. However, traditional deep neural networks for stance detection often suffer from limita...
Humans Neural Networks, Computer Logic Large Language Models Language Social Media
View on PubMed DOI

Why your doctor is not an algorithm: Exploring logical principles of different clinical inference methods using liver transplantation as a model.

Gastroenterologia y hepatologia Jun 7, 2024
The development of machine learning (ML) tools in many different medical settings is largely increasing. However, the use of the resulting algorithms in daily medical practice is still an unsolved challenge. We propose an epistemological approach (i....
Evidence-Based Medicine Clinical Reasoning Machine Learning Algorithms Liver Transplantation Logic Humans
View on PubMed DOI

Deep learning assisted logic gates for real-time identification of natural tetracycline antibiotics.

Food chemistry May 30, 2024
The overuse and misuse of tetracycline (TCs) antibiotics, including tetracycline (TTC), oxytetracycline (OTC), doxycycline (DC), and chlortetracycline (CTC), pose a serious threat to human health. However, current rapid sensing platforms for tetracyc...
Tetracycline Tetracyclines Colorimetry Anti-Bacterial Agents Smartphone Food Contamination Logic Deep Learning
View on PubMed DOI

Bayesian-knowledge driven ontologies: A framework for fusion of semantic knowledge under uncertainty and incompleteness.

PloS one Mar 27, 2024
The modeling of uncertain information is an open problem in ontology research and is a theoretical obstacle to creating a truly semantic web. Currently, ontologies often do not model uncertainty, so stochastic subject matter must either be normalized...
Bayes Theorem Knowledge Bases Semantics Biological Ontologies Logic Uncertainty
View on PubMed DOI

Deciphering RNA splicing logic with interpretable machine learning.

Proceedings of the National Academy of Sciences of the United States of America Oct 5, 2023
Machine learning methods, particularly neural networks trained on large datasets, are transforming how scientists approach scientific discovery and experimental design. However, current state-of-the-art neural networks are limited by their uninterpre...
Neural Networks, Computer Machine Learning Logic Genomics RNA Splicing
View on PubMed DOI

Safe control of logical control networks with random impulses.

Neural networks : the official journal of the International Neural Network Society Jul 3, 2023
Under the framework of a hybrid-index model, this paper investigates safe control problems of state-dependent random impulsive logical control networks (RILCNs) on both finite and infinite horizons, respectively. By using the ΞΎ-domain method and the ...
Algorithms Feedback Time Factors Neural Networks, Computer Logic
View on PubMed DOI

The human cost of ethical artificial intelligence.

Brain structure & function Jun 23, 2023
Foundational models such as ChatGPT critically depend on vast data scales the internet uniquely enables. This implies exposure to material varying widely in logical sense, factual fidelity, moral value, and even legal status. Whereas data scaling is ...
Logic Humans Semantics Artificial Intelligence Morals
View on PubMed DOI

PIPER: A logic-driven deep contrastive optimization pipeline for event temporal reasoning.

Neural networks : the official journal of the International Neural Network Society Apr 26, 2023
Event temporal relation extraction is an important task for information extraction. The existing methods usually rely on feature engineering and require post-process to achieve optimization, though inconsistent optimization may occur in the post-proc...
Information Storage and Retrieval Neural Networks, Computer Logic
View on PubMed DOI
Popular Topics
Recent Journals