Download
1 / 12
120 likes | 239 Vues
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
E N D
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 • Use 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 Interpreter • http://xsb.sourceforge.net/ • DR-Prolog Metaprogram • Defeasible Reasoning Prolog Implementation • http://www.csd.uoc.gr/~hy566/amb_metaprogram.P • Interprolog • Communication with XSB via java programming • http://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 Interprolog • Creation of XML for Proof Explanation • Embed it to a Jade Agent java class • Find a way to incorporate the option for using the Proof Explanation component • i.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 Interpreter • http://xsb.sourceforge.net/ • Proof Explanation • Proof Explanation Paper • http://www.csd.uoc.gr/~hy566/proofExplanation.pdf • Project Files & DR-Prolog Metaprograms • http://www.csd.uoc.gr/~hy566/ProofSystem_HY566.rar
Future work for Team B • Later 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 C • Read the Proof explanation Paper • Brainstorm … • 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.
