Browse our site
About
People
Research Areas
Projects
Publications
Seminars
Future
Past
News
You are here:
Home
Seminars
Past
Inspection Points and Meta-Abduction in Logic...
Inspection Points and Meta-Abduction in Logic Programs
Main information
By:
Luís Moniz Pereira
(
CENTRIA
)
Date:
Wednesday, 12th of November 2008, 14h00
Location:
FCT/UNL, Seminar Room (Ed. II)
More information:
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/IP08.pdf
Abstract
In the context of abduction in Logic Programs, when finding an abductive solution for a query, one may want to check too whether some other literals become true (or false) strictly within the abductive solution found, but without performing additional abductions, and without having to produce a complete model to do so. That is, such literals may consume, but not produce, the abduced literals in the solution. We show how this type of reasoning requires a new mechanism, not provided by others already available. To achieve it, we present the concept of Inspection Point in Abductive Logic Programs, and show how, by means of examples, one can employ it to investigate side-effects of interest (the inspection points) in order to help choose among abductive solutions, to express intentions, to implement deontic verifiers, to code strict preferences, as well as to permit use of passive integrity constraints – i.e. those not allowed to abduce in order to be satisfied but just to check for satisfaction without further abduction. The touchstone of Inspection Points can be construed as a form of meta-abduction, by meta-abducing an abduction to check (i.e. passively verify) that a certain concrete abduction is indeed adopted in an otherwise purported abductive solution. We furthermore show how to implement it on top of an already existing abduction solving system — ABDUAL — in a way that can be adopted by other systems too.
Seminar Slides:
http://centria.di.fct.unl.pt/~lmp/publications/slides/centria08/inspection_points.pdf
Short-bio
Luís Moniz Pereira, born 1947 in Lisbon, Doctor honoris causa by T.U. Dresden and ECCAI Fellow, is (retired) Professor of Computer Science at UNL and former Director (1993-2008) of the AI centre at Universidade Nova de Lisboa.
He coordinated the Erasmus Mundus European MSc in Computational Logic at UNL (2004-08), is vice-president of EASE, the European Association for Semantic Web Education, and belongs to the Board of Trustees and to the Scientific Advisory Board of IMDEA – Madrid Advanced Studies Institute (Software).
He was the founding president of the Portuguese AI association, and has been a founding member of the editorial boards of J. Logic Programming, J. Automated Reasoning, New Generation Computing, Theory and Practice of Logic Programming, J. Universal Computer Science, J. Applied Logic, Electronic Transactions on AI, Computational Logic Newsletter, Intl. J. Reasoning-Based Intelligent Systems (Advisory-Editor), and is Associate Editor for Artificial Intelligence of the ACM Computing Surveys.
His research interests centre on Knowledge Representation and Reasoning and the Cognitive Sciences. For more details see: http://centria.fct.unl.pt/~lmp/
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541
