Caminada, Martin ORCID: https://orcid.org/0000-0002-7498-0238, Carnielli, Walter A. and Dunne, Paul E. 2012. Semi-stable semantics. Journal of Logic and Computation 22 (5) , pp. 1207-1254. |
Abstract
In this article, we examine an argument-based semantics called semi-stable semantics. Semi-stable semantics is quite close to traditional stable semantics in the sense that every stable extension is also a semi-stable extension. One of the advantages of semi-stable semantics is that for finite argumentation frameworks there always exists at least one semi-stable extension. Furthermore, if there also exists at least one stable extension, then the semi-stable extensions coincide with the stable extensions. Semi-stable semantics can be seen as a general approach that can be applied to abstract argumentation, as well as to fields like default logic and answer set programming, yielding an interpretation with properties very similar to those of paraconsistent logic, including the properties of crash resistance and backward compatibility.
Item Type: | Article |
---|---|
Date Type: | Publication |
Status: | Published |
Schools: | Computer Science & Informatics |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
Publisher: | Oxford University Press |
ISSN: | 0955-792X |
Last Modified: | 31 Oct 2022 10:17 |
URI: | https://orca.cardiff.ac.uk/id/eprint/84279 |
Citation Data
Cited 123 times in Scopus. View in Scopus. Powered By Scopus® Data
Actions (repository staff only)
Edit Item |