1 / 12

CS566 Project GuideLines

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

amable
Télécharger la présentation

CS566 Project GuideLines

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. CS566 Project GuideLines Computer Science Department UoC

  2. Outline • Project Teams • Key Points description • Suggested Task Delegation • Files Needed & previous work

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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)

  8. 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

  9. 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

  10. 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

  11. 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.

  12. That’s all for now!!!

More Related