I detta dokument föreslås en formalism för icke-monotoniskt resonemang baserat på prioriterad argumentation. Vi hävdar att icke-monotoniskt resonemang i allmänhet kan ses som att välja monotona slutsatser genom en enkel uppfattning om prioritet bland inferens regler. Ännu viktigare är att dessa typer av begränsade slutsatser kan anges i ett kunskapsrepresentationsspråk där en teori består av en samling regler för första ordningens formler och en prioritering bland dessa regler. Vi omarbetar standard resonemang som en form av prioriterad argumentation, och illustrerar hur den parameteriserade formuleringen av prioritet kan användas för att tillåta olika utvidgningar och modikationer till standard resonemang. Vi visar också att det är möjligt, men mer kult, att uttrycka prioriterad argumentation som standardlogik: även vissa särskilda former av prioriterad argumentation kan inte representeras modulärt av försumlighet under samma språk.
Du och Al. REF definierar en prioriterad argumentativ karakterisering av icke-monotoniskt resonemang, genom att använda standardresonemang som en form av prioriterad argumentation.
Nonmonotonic Reasoning as Prioritized Argumentation
{'venue': 'IEEE Transactions on Knowledge and Data Engineering', 'journal': None, 'mag_field_of_study': ['Computer Science']}