TY - GEN

T1 - Two transformations of clauses into constraints and their properties for cost-based hypothetical reasoning

AU - Matsuo, Yutaka

AU - Ishizuka, Mitsuru

PY - 2002

Y1 - 2002

N2 - This paper describes two ways to transform propositional clauses into mathematical constraints, and gives an overview of mathematical optimization approaches to inference. The first transformation, which translates constraints into linear inequalities, has been applied to cost-based abduction in the past and showed good performance. The second one, which produces nonlinear equalities, is commonly used in other representations, such as SAT. We clarify their differences and advantages, and show the radical performance transition of linear inequalities. We are mainly targeting at cost-based hypothetical reasoning (or abduction), but through preprocessing, the discussion has generality.

AB - This paper describes two ways to transform propositional clauses into mathematical constraints, and gives an overview of mathematical optimization approaches to inference. The first transformation, which translates constraints into linear inequalities, has been applied to cost-based abduction in the past and showed good performance. The second one, which produces nonlinear equalities, is commonly used in other representations, such as SAT. We clarify their differences and advantages, and show the radical performance transition of linear inequalities. We are mainly targeting at cost-based hypothetical reasoning (or abduction), but through preprocessing, the discussion has generality.

UR - http://www.scopus.com/inward/record.url?scp=84947939993&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84947939993&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84947939993

SN - 3540440380

SN - 9783540440383

VL - 2417

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 118

EP - 127

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

T2 - 7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002

Y2 - 18 August 2002 through 22 August 2002

ER -