Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
An efficient reasoning method on logic programming using partial evaluation in vector spaces
View through CrossRef
Abstract
In this paper, we introduce methods of encoding propositional logic programs in vector spaces. Interpretations are represented by vectors and programs are represented by matrices. The least model of a definite program is computed by multiplying an interpretation vector and a program matrix. To optimize computation in vector spaces, we provide a method of partial evaluation of programs using linear algebra. Partial evaluation is done by unfolding rules in a program, and it is realized in a vector space by multiplying program matrices. We perform experiments using artificial data and real data, and show that partial evaluation has the potential for realizing efficient computation of huge scale of programs in vector spaces.
Oxford University Press (OUP)
Title: An efficient reasoning method on logic programming using partial evaluation in vector spaces
Description:
Abstract
In this paper, we introduce methods of encoding propositional logic programs in vector spaces.
Interpretations are represented by vectors and programs are represented by matrices.
The least model of a definite program is computed by multiplying an interpretation vector and a program matrix.
To optimize computation in vector spaces, we provide a method of partial evaluation of programs using linear algebra.
Partial evaluation is done by unfolding rules in a program, and it is realized in a vector space by multiplying program matrices.
We perform experiments using artificial data and real data, and show that partial evaluation has the potential for realizing efficient computation of huge scale of programs in vector spaces.
Related Results
Characteristics and processes of registered nurses’ clinical reasoning and factors relating to the use of clinical reasoning in practice: a scoping review
Characteristics and processes of registered nurses’ clinical reasoning and factors relating to the use of clinical reasoning in practice: a scoping review
Objective:
The objective of this review was to examine the characteristics and processes of clinical reasoning used by registered nurses in clinical practice, and to id...
Exploring Large Language Models Integration in the Histopathologic Diagnosis of Skin Diseases: A Comparative Study
Exploring Large Language Models Integration in the Histopathologic Diagnosis of Skin Diseases: A Comparative Study
Abstract
Introduction
The exact manner in which large language models (LLMs) will be integrated into pathology is not yet fully comprehended. This study examines the accuracy, bene...
Non-Recommended Publishing Lists: Strategies for Detecting Deceitful Journals
Non-Recommended Publishing Lists: Strategies for Detecting Deceitful Journals
Abstract
The rapid growth of open access publishing (OAP) has significantly improved the accessibility and dissemination of scientific knowledge. However, this expansion has also c...
Programming model abstractions for optimizing I/O intensive applications
Programming model abstractions for optimizing I/O intensive applications
This thesis contributes from the perspective of task-based programming models to the efforts of optimizing I/O intensive applications. Throughout this thesis, we propose programmin...
AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI
AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI
The pursuit of Artificial General Intelligence (AGI) demands AI systems that not only perceive but also reason in a human-like manner. While symbolic systems pioneered early breakt...
10 tips for clinical educators in designing and delivering learning experiences to improve clinical reasoning for medical students.
10 tips for clinical educators in designing and delivering learning experiences to improve clinical reasoning for medical students.
Background Clinical reasoning processes involve gathering and interpreting information, creating differential diagnoses and testing hypotheses to inform and guide patient managemen...
10 tips for clinical educators in designing and delivering learning experiences to improve clinical reasoning for medical students.
10 tips for clinical educators in designing and delivering learning experiences to improve clinical reasoning for medical students.
Background Clinical reasoning processes involve gathering and interpreting information, creating differential diagnoses and testing hypotheses to inform and guide patient managemen...
10 tips for clinical educators in designing and delivering learning experiences to improve clinical reasoning for medical students.
10 tips for clinical educators in designing and delivering learning experiences to improve clinical reasoning for medical students.
Background Clinical reasoning processes involve gathering and interpreting information, creating differential diagnoses and testing hypotheses to inform and guide patient managemen...