Date post: | 01-Jan-2016 |
Category: |
Documents |
Upload: | ezra-hoover |
View: | 214 times |
Download: | 1 times |
Project Team A (1/4)Embed DR-Prolog by extending a Jade Agent
java classUse Interprolog for handling the external
Prolog Interpreter (XSB) Load Metaprogram & Theory files as well as Facts
written in DR-Prolog Syntax Make queries Retrieve the result(s) – see Interprolog FAQ for
multiple results
Project Team A (2/4)Create a small Library providing the following
Convert the RuleML Syntax into Native DR-Prolog Using XSL Transformation or XML Parsing Create support for number comparison
Add predicates into the Metaprogram – need for possibly a second level processing using Java
Convert the standard format of results returned by XSB into RDF File
* For the RuleML & RDF files follow the current format (version) used in the carlo example (EMERALD DEMO)
This Library will be used later on also byTeam B
Project Team A (3/4)Previous slides cite the Key Points – Tasks for
Team A These points can be used for Task Delegation
among the team members Further division of team A
Sub team for each task
*It is a suggestion you do not have to follow it
Project Team A (4/4)XSB
Prolog Interpreterhttp://xsb.sourceforge.net/
DR-Prolog MetaprogramDefeasible Reasoning Prolog Implementationhttp://www.csd.uoc.gr/~hy566/
amb_metaprogram.P Interprolog
Communication with XSB via java programminghttp://www.declarativa.com/interprolog/
default.htm
Project Team B (1/3)Read The Proof Explanation Paper (CS566 2007
project)Understand the accompanying code
Uses an Invoker Object instead of InterprologCreation of XML for Proof Explanation
Embed it to a Jade Agent java classFind a way to incorporate the option for using the
Proof Explanation componenti.e. when the reasoner is to provide the explanation
Register appropriate service of reasoning agent ? (like reg.txt)
Project Team B (2/3)Previous slide cite Key Points – Tasks for
Team B
All team members should have an understanding of the paper and code for Proof Explanation
Project Team B (3/3)XSB
Prolog Interpreterhttp://xsb.sourceforge.net/
Proof ExplanationProof Explanation Paper
http://www.csd.uoc.gr/~hy566/proofExplanation.pdfProject Files & DR-Prolog Metaprograms
http://www.csd.uoc.gr/~hy566/ProofSystem_HY566.rar
Future work for Team BLater on team A will provide team B with the
specifics of the library for the RuleML parser and rdf result converter , so as to feed with a Rulebase the proof explanation component
This could mean that agents of Teams A & B could be merged into one and the RDF result File depending the option provided by Team B could contain the XML Proof Explanation (something to think about)
*this is a suggestion
Project Team CRead the Proof explanation PaperBrainstorm …Later on coordinate with Team B for a walk-
through of the code available up to that time, in order to implement the appropriate agent providing the proof checking service and register it to the Emerald Framework.