Det arbete som redovisas här introducerar Defeasible Logic Programmering (DeLP), en formalism som kombinerar resultat av Logic Programmering och Defeasible Argumentation. DeLP ger möjlighet att representera information i form av svaga regler på ett deklarativt sätt, och en obeskrivlig argumentation inferens mekanism för att motivera de tillhörande slutsatserna. I DeLP kommer en argumentation formalism att användas för att avgöra mellan motstridiga mål. Frågorna kommer att stödjas av argument som skulle kunna besegras av andra argument. En fråga q kommer att lyckas när det finns ett argument A för q som är motiverat, d.v.s. argumentet A som stöder q är obesegrad av ett optionsförfarande som genomför en dialektisk analys. Den obesegrade argumentationsgrunden för DeLP gör det möjligt att bygga applikationer som hanterar ofullständig och motsägelsefull information på dynamiska områden. Det resulterande tillvägagångssättet är därför lämpligt för att representera agentens kunskap och för att ge agenterna en argumentationsbaserad resonemangsmekanism.
Detta ledde till den obesegrade argumentation-baserad DeLP logik programmering ram García och Simari REF.
Defeasible Logic Programming: An Argumentative Approach
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}