Title: | Towards a characterization of semi-stable models in the logic of here-and-there | Language: | English | Authors: | Moura, João Manuel Gomes | Qualification level: | Diploma | Keywords: | Answer Set Programmierung; Parakonsistente Semantik; Here-and-There Logik; Semi-stabile Modelle Answer Set Programming; Paraconsistent Semantics; Logic of Here-and-There; Semi-stable models |
Advisor: | Eiter, Thomas ![]() |
Assisting Advisor: | Fink, Michael | Issue Date: | 2009 | Number of Pages: | 61 | Qualification level: | Diploma | Abstract: | The main motivation for any paraconsistent logic is the idea that reasoning with inconsistent information should be allowed and possible in a controlled and discriminating way. The principle of explosion makes this inviable, and as such must be abandoned. In non-paraconsistent logics, only one inconsistent theory exists: the trivial theory that contains every sentence as a theorem. Paraconsistent logic allows distinguishing between inconsistent theories and to reason with them. Sometimes it is possible to revise a theory to make it consistent, however in other cases (e.g., large software systems) it is currently impossible to attain consistency. Some philosophers and logicians take a radical approach, holding that some contradictions are true, and thus a theory being inconsistent is not something undesirable. We characterize and present a new way of calculating semi-stable models models of a program which are paraconsistent in the presence of incoherence, without having to explicitly perform a syntactical transformation as the epistemic transformation presented in the original definition. We do this by dealing with strong negation and then calculating the program's Routley models. Afterwards we need only perform a selection according to criteria we characterize in this document. |
URI: | https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-37491 http://hdl.handle.net/20.500.12708/12986 |
Library ID: | AC07452336 | Organisation: | E184 - Institut für Informationssysteme | Publication Type: | Thesis Hochschulschrift |
Appears in Collections: | Thesis |
Files in this item:
File | Description | Size | Format | |
---|---|---|---|---|
Towards a characterization of semi-stable models in the logic of here-and-there.pdf | 547.99 kB | Adobe PDF | ![]() View/Open |
Page view(s)
10
checked on Feb 18, 2021
Download(s)
48
checked on Feb 18, 2021

Google ScholarTM
Check
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.