Tue 17 Jan 2023 16:30 - 17:00 at The Loft - Analysis and Symbolic Methods Chair(s): Naoki Nishida

Linear algebra is an ideal tool to redefine symbolic methods with the goal to achieve better scalability. In solving the abductive Horn propositional problem, the transpose of a program matrix has been exploited to develop an efficient exhaustive method. While it is competitive with other symbolic methods, there is much room for improvement in practice. In this paper, we propose to optimize the linear algebraic method for abduction using partial evaluation. This improvement considerably reduces the number of iterations in the main loop of the previous algorithm. Therefore, it improves practical performance especially with sparse representation in case there are multiple subgraphs of conjunctive conditions that can be computed in advance. The positive effect of partial evaluation has been confirmed using artificial benchmarks and real FMEA-based datasets.

Tue 17 Jan

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30
Analysis and Symbolic MethodsPADL at The Loft
Chair(s): Naoki Nishida Nagoya University
Dynamic slicing of Reaction Systems based on assertions and monitors
Linda Brodo Università di Sassari, Roberto Bruni University of Pisa, Moreno Falaschi Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche, University of Siena
Linear Algebraic Abduction with Partial Evaluation
Tuan Nguyen National Institute of Informatics, Katsumi Inoue NII, Chiaki Sakama Wakayama University
DOI File Attached