Sciweavers

KRDB
2003

A Framework for Answering Queries using Multiple Representation and Inference Techniques

14 years 5 days ago
A Framework for Answering Queries using Multiple Representation and Inference Techniques
The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set of modules called specialists that store and make inferences about data in a particular representation. The FocusLoop algorithm answers queries by combining the knowledge and computation of all the specialists. Logic program duals for Polylog programs are introduced to prove that FocusLoop is sound and complete. A logic program dual makes the same inferences as the Polylog program it corresponds to. By using one program to formally characterize behavior and another to implement it, the traditional tradeoffs between provably correct automated question answering, representational flexibility and efficient execution are greatly reduced. Specialists using representations such as neural networks, ontologies, logical clauses and constraint graphs have already been implemented. They demonstrate that complex queri...
Nicholas L. Cassimatis
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where KRDB
Authors Nicholas L. Cassimatis
Comments (0)