Tractable Inference Relations
dc.contributor.author | Givan, Robert | en_US |
dc.contributor.author | McAllester, David | en_US |
dc.date.accessioned | 2004-10-04T14:24:22Z | |
dc.date.available | 2004-10-04T14:24:22Z | |
dc.date.issued | 1991-12-01 | en_US |
dc.identifier.other | AIM-1344 | en_US |
dc.identifier.uri | http://hdl.handle.net/1721.1/5969 | |
dc.description.abstract | We consider the concept of local sets of inference rules. Locality is a syntactic condition on rule sets which guarantees that the inference relation defined by those rules is polynomial time decidable. Unfortunately, determining whether a given rule set is local can be difficult. In this paper we define inductive locality, a strengthening of locality. We also give a procedure which can automatically recognize the locality of any inductively local rule set. Inductive locality seems to be more useful that the earlier concept of strong locality. We show that locality, as a property of rule sets, is undecidable in general. | en_US |
dc.format.extent | 14 p. | en_US |
dc.format.extent | 1309278 bytes | |
dc.format.extent | 1033613 bytes | |
dc.format.mimetype | application/postscript | |
dc.format.mimetype | application/pdf | |
dc.language.iso | en_US | |
dc.relation.ispartofseries | AIM-1344 | en_US |
dc.subject | tractable inference | en_US |
dc.subject | automated reasoning | en_US |
dc.subject | theorem proving | en_US |
dc.subject | sSocratic proof systems | en_US |
dc.subject | polynomial time | en_US |
dc.subject | relational data basers | en_US |
dc.title | Tractable Inference Relations | en_US |