Komplexitetsgränser för logisk argumentation i AI-system

arXiv cs.AI

Forskare har kartlagt hur svåra olika beslutsproblem är i så kallade abstrakta argumentationsramverk – en formell metod för att hantera icke-monotonisk logik (reasoning där slutsatser kan revideras när ny information tillkommer) inom AI. Resultaten visar exakt var begränsningar av ramverket lyckas göra problemen lättare att beräkna, och var de oundvikligen förblir extremt komplexa. Det är teoretisk grundforskning som snarare handlar om matematikens gränser än om praktiska AI-tillämpningar just nu.