User loginNavigation 
Negation in Logic LanguagesThis is a follow up from my earlier post (I will try and put a link here) about negation in Prolog. The question was if negation is necessary, and I now have some further thoughts (none of this is new, but new to me). I can now see my earlier approach to implementing 'member of' relies on evaluation order, which now I have moved to iterativedeepening no longer works. So I need a way of introducing negation that is logically sound. Negation as failure leads to unsoundness with variables. Negation as refutation seems to require three valued logic, and negation as inconsistency requires an additional set of 'negative' goals which complicates the use of negation. The most promising approach I have found is to convert negation into inequalities, and propagate 'not equal' as a constraint in the same way as CLP. This eliminates negation in goals in favour of equality and disequality. I am interested if anyone has any experience of treating negation in this way, or any further thoughts about negation in logic programming or logical frameworks. By Keean Schupke at 20150129 08:00  LtU Forum  previous forum topic  next forum topic  other blogs  7060 reads

Browse archives
Active forum topicsNew forum topics 
Recent comments
1 week 14 hours ago
1 week 21 hours ago
1 week 1 day ago
1 week 3 days ago
2 weeks 1 day ago
2 weeks 2 days ago
2 weeks 3 days ago
2 weeks 4 days ago
3 weeks 11 hours ago
3 weeks 3 days ago