References & Citations
Computer Science > Logic in Computer Science
Title: Towards a Decidable LogicWeb via Length-Bounded Derivations
(Submitted on 13 Jan 2017 (v1), last revised 18 Oct 2017 (this version, v3))
Abstract: LogicWeb has traditionally lacked devices for dealing with intractable queries.
We address this limitation by adopting length-bounded inference, a form of approximate reasoning. A length-bounded inference is of the form $prov(P,G,n)$ which is a success if a query $G$ can be proved from the web page $P$ within $n$ proof steps. It thus makes LogicWeb decidable and more tractable. During the process, we propose a novel module language for logic programming as a device for structuring programs and queries.
Submission history
From: Keehang Kwon [view email][v1] Fri, 13 Jan 2017 10:27:46 GMT (19kb)
[v2] Sun, 4 Jun 2017 13:44:11 GMT (19kb)
[v3] Wed, 18 Oct 2017 04:21:26 GMT (20kb)
Link back to: arXiv, form interface, contact.