Reasoning with Conflicting Information in Artificial Intelligence and Database Theory
dc.contributor.author | Pradhan, Shekhar | en_US |
dc.date.accessioned | 2004-05-31T21:09:24Z | |
dc.date.available | 2004-05-31T21:09:24Z | |
dc.date.created | 2001-01 | en_US |
dc.date.issued | 2001-09-05 | en_US |
dc.description.abstract | We develop C4 a logic for reasoning with information containing non-logical conflicts, where the information is encoded in the form of normal logic programs and the conflicts are represented using a construct called "contestation." We prove that the C4 logic is inferentially conflict-free in the sense that the set of entailments of a normal logic program augmented with a set of contestations are guaranteed to be free of the conflicts specified by the set of contestations. We provide a sound and complete procedure for answering ground queries to a ground and finite normal logic program augmented with a set of ground contestations. We show that C4 provides a new semantics for normal logic programs that subsumes both the stable model semantics and the well-founded semantics for normal logic programs. We use C4 to provide a new account of integrity constraint satisfaction for databases that may be inconsistent with their integrity constraints. We extend C4 to C5, a five valued logic, which is used to provide a new semantics for extended logic programs. We show that C5 can be used to provide an inferentially conflict-free logic for reasoning with information containing both logical and non-logical conflicts. | en_US |
dc.format.extent | 1218215 bytes | |
dc.format.mimetype | application/postscript | |
dc.identifier.uri | http://hdl.handle.net/1903/521 | |
dc.language.iso | en_US | |
dc.relation.isAvailableAt | Digital Repository at the University of Maryland | en_US |
dc.relation.isAvailableAt | University of Maryland (College Park, Md.) | en_US |
dc.relation.isAvailableAt | Tech Reports in Computer Science and Engineering | en_US |
dc.relation.isAvailableAt | Computer Science Department Technical Reports | en_US |
dc.relation.ispartofseries | UM Computer Science Department; CS-TR-4211 | en_US |
dc.title | Reasoning with Conflicting Information in Artificial Intelligence and Database Theory | en_US |
dc.type | Technical Report | en_US |