Browse our site
About
People
Research Areas
Projects
Publications
Seminars
Future
Past
News
You are here:
Home
Seminars
Past
Implementing a Layered Models based Query-Sol...
Implementing a Layered Models based Query-Solving Engine
Main information
By:
Alexandre Pinto
(
CENTRIA
)
Date:
Wednesday, 29th of October 2008, 14h00
Location:
FCT/UNL, Seminar Room (Ed. II)
Abstract
For practical applications, the use of top-down query-driven proof-procedures is essential for an efficient use and computation of answers using as knowledge bases. Additionally, abductive reasoning on demand is intrinsically a top-down search method. A query-solving engine is thus highly desirable.
The current standard for Normal Logic Programs (NLPs), the Stable Models (SMs) semantics, does not allow for top-down query-solving because it does not enjoy the relevance property --- and moreover, it does not guarantee the existence of a model for every NLP. To overcome these current limitations we developed a new for NLPs --- the Layered Models semantics --- which conservatively extends the SMs, enjoys relevance and guarantees model existence among other useful properties. Moreover, there is no need to compute total models, but just the partial models that sustain the answer to a query; relevance ensures these can be extended to whole models.
A first implementation of a query-solving engine based on this new semantics is presented and described here. It uses the XSB-Prolog engine and its XASP interface to Smodels, thereby providing a useful tool built as a hybrid of the two systems and taking advantage of the best of each.
Short-bio
Alexandre Miguel Pinto, born 1976 in Lisbon, PhD student since 2007 under the supervision of Prof. Luís Moniz Pereira, working on Logic Programs semantics and implementation of Abduction and Constructive Negation on XSB-Prolog.
He got his MSc in Applied Artificial Intelligence by FCT-UNL in 2005, and his Computer Science and Engineering Licenciatura degree at Instituto Superior Técnico in 2000.
He worked as a junior consultant for Novabase DataQuality, as an SAP consultant for Tracy International Information Technologies, and as a senior consultant and team leader for Think, Lda.
His research interests centre on Knowledge Representation and Reasoning and the Cognitive Sciences. For more details see: http://centria.fct.unl.pt/~amp/
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541
