Som svar uppsättning programmering uppstår inkonsekvenser när de begränsningar som placeras på ett program blir otillfredsställande. I detta dokument introducerar vi en teknik för dynamisk konsekvenskontroll för vår målriktade metod för datorsvarsuppsättningar, enligt vilken endast de begränsningar som bedöms vara relevanta för den partiella svarsuppsättningen testas, vilket gör det möjligt att framgångsrikt ställa inkonsekventa kunskapsbaser. Men algoritmen garanterar att, om ett program har minst ett konsekvent svar som, eventuella partiella svar som returneras kommer att vara en delmängd av några konsekvent svar som.
I REF presenteras en teknik för dynamisk konsekvent kontroll för datorsvar i inkonsekventa ASP-program.
Dynamic Consistency Checking in Goal-Directed Answer Set Programming
{'venue': 'Theory and Practice of Logic Programming 14 (2014) 415-427', 'journal': None, 'mag_field_of_study': ['Computer Science']}