Search engine for discovering works of Art, research articles, and books related to Art and Culture
ShareThis
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.
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

A Logic for Desire Based on Causal Inference
A Logic for Desire Based on Causal Inference
Abstract Reasoning about desire plays a significant role in logic, artificial intelligence and philosophy, etc. In this paper, we propose an interpretation of desire...
Intuitionistic ancestral logic
Intuitionistic ancestral logic
Abstract In this article we define pure intuitionistic Ancestral Logic ( iAL ), extending pure intuitionistic First-Order Logic ( iFOL ). This logic is a dependently...
Dynamic epistemic logics for abstract argumentation
Dynamic epistemic logics for abstract argumentation
AbstractThis paper introduces a multi-agent dynamic epistemic logic for abstract argumentation. Its main motivation is to build a general framework for modelling the dynamics of a ...
Epistemic extensions of substructural inquisitive logics
Epistemic extensions of substructural inquisitive logics
Abstract In this paper, we study the epistemic extensions of distributive substructural inquisitive logics. Substructural inquisitive logics are logics of questions ...
Evaluation of decay times in coupled spaces: Reliability analysis of Bayeisan decay time estimation
Evaluation of decay times in coupled spaces: Reliability analysis of Bayeisan decay time estimation
This paper discusses quantitative tools to evaluate the reliability of “decay time estimates” and inter-relationships between multiple decay times for estimates made within a Bayes...
School District Evaluation of a Northern California Elementary School
School District Evaluation of a Northern California Elementary School
The article reports a case study of an evaluation of an elementary school in northern California in receipt of large amounts of Elementary and Secondary Education Act Title I and s...
Access-based intuitionistic knowledge
Access-based intuitionistic knowledge
Abstract We introduce the concept of $\textit{access-based}$ intuitionistic knowledge which relies on the intuition that agent $i$ knows $\varphi$ if $i$ has found $...
gatekeepers’ puzzle
gatekeepers’ puzzle
When programming jazz festivals, programming committees grapple with a host of issues regarding stylistic variety and diversity and inclusion. Questions such as whether there are s...

Back to Top