scholarly journals Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation

2020 ◽  
Vol 325 ◽  
pp. 192-205
Author(s):  
Tuan Nguyen Quoc ◽  
Katsumi Inoue ◽  
Chiaki Sakama
Author(s):  
Tuan Quoc Nguyen ◽  
Katsumi Inoue ◽  
Chiaki Sakama

AbstractAlgebraic characterization of logic programs has received increasing attention in recent years. Researchers attempt to exploit connections between linear algebraic computation and symbolic computation to perform logical inference in large-scale knowledge bases. In this paper, we analyze the complexity of the linear algebraic methods for logic programs and propose further improvement by using sparse matrices to embed logic programs in vector spaces. We show its great power of computation in reaching the fixed point of the immediate consequence operator. In particular, performance for computing the least models of definite programs is dramatically improved using the sparse matrix representation. We also apply the method to the computation of stable models of normal programs, in which the guesses are associated with initial matrices, and verify its effect when there are small numbers of negation. These results show good enhancement in terms of performance for computing consequences of programs and depict the potential power of tensorized logic programs.


2010 ◽  
Vol 30 (11) ◽  
pp. 2956-2958
Author(s):  
Xue-song XU ◽  
Ling-juan LI ◽  
Li-wei GUO

1990 ◽  
Author(s):  
Chitta Baral ◽  
Jorge Lobo ◽  
Jack Minker
Keyword(s):  

Author(s):  
Guangzhi Dai ◽  
Zhiyong He ◽  
Hongwei Sun

Background: This study is carried out targeting the problem of slow response time and performance degradation of imaging system caused by large data of medical ultrasonic imaging. In view of the advantages of CS, it is applied to medical ultrasonic imaging to solve the above problems. Objective: Under the condition of satisfying the speed of ultrasound imaging, the quality of imaging can be further improved to provide the basis for accurate medical diagnosis. Methods: According to CS theory and the characteristics of the array ultrasonic imaging system, block compressed sensing ultrasonic imaging algorithm is proposed based on wavelet sparse representation. Results: Three kinds of observation matrices have been designed on the basis of the proposed algorithm, which can be selected to reduce the number of the linear array channels and the complexity of the ultrasonic imaging system to some extent. Conclusion: The corresponding simulation program is designed, and the result shows that this algorithm can greatly reduce the total data amount required by imaging and the number of data channels required for linear array transducer to receive data. The imaging effect has been greatly improved compared with that of the spatial frequency domain sparse algorithm.


Sign in / Sign up

Export Citation Format

Share Document