Inference procedure / has proven sentence a given KB, when in fact a is not correct. Which must be true about /: / is so
Posted: Mon Jun 06, 2022 2:16 pm
Inference procedure / has proven sentence a given KB, when in fact a is not correct. Which must be true about /: / is sound but not complete / is complete but not sound I might be complete but not sound I might be sound but not complete