Upload
amable
View
22
Download
0
Embed Size (px)
DESCRIPTION
CS566 Project GuideLines. Computer Science Department UoC. Outline. Project Teams Key Points description Suggested Task Delegation Files Needed & previous work. Project Team A (1/4). Embed DR-Prolog by extending a Jade Agent java class - PowerPoint PPT Presentation
Citation preview
Computer Science Department UoC
OutlineProject Teams
Key Points descriptionSuggested Task DelegationFiles Needed & previous work
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.
That’s all for now!!!