CS566 Project GuideLines
description
Transcript of CS566 Project GuideLines
![Page 1: CS566 Project GuideLines](https://reader035.fdocuments.net/reader035/viewer/2022070404/56813b85550346895da4b037/html5/thumbnails/1.jpg)
Computer Science Department UoC
![Page 2: CS566 Project GuideLines](https://reader035.fdocuments.net/reader035/viewer/2022070404/56813b85550346895da4b037/html5/thumbnails/2.jpg)
OutlineProject Teams
Key Points descriptionSuggested Task DelegationFiles Needed & previous work
![Page 3: CS566 Project GuideLines](https://reader035.fdocuments.net/reader035/viewer/2022070404/56813b85550346895da4b037/html5/thumbnails/3.jpg)
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
![Page 4: CS566 Project GuideLines](https://reader035.fdocuments.net/reader035/viewer/2022070404/56813b85550346895da4b037/html5/thumbnails/4.jpg)
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
![Page 5: CS566 Project GuideLines](https://reader035.fdocuments.net/reader035/viewer/2022070404/56813b85550346895da4b037/html5/thumbnails/5.jpg)
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
![Page 6: CS566 Project GuideLines](https://reader035.fdocuments.net/reader035/viewer/2022070404/56813b85550346895da4b037/html5/thumbnails/6.jpg)
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
![Page 7: CS566 Project GuideLines](https://reader035.fdocuments.net/reader035/viewer/2022070404/56813b85550346895da4b037/html5/thumbnails/7.jpg)
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)
![Page 8: CS566 Project GuideLines](https://reader035.fdocuments.net/reader035/viewer/2022070404/56813b85550346895da4b037/html5/thumbnails/8.jpg)
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
![Page 9: CS566 Project GuideLines](https://reader035.fdocuments.net/reader035/viewer/2022070404/56813b85550346895da4b037/html5/thumbnails/9.jpg)
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
![Page 10: CS566 Project GuideLines](https://reader035.fdocuments.net/reader035/viewer/2022070404/56813b85550346895da4b037/html5/thumbnails/10.jpg)
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
![Page 11: CS566 Project GuideLines](https://reader035.fdocuments.net/reader035/viewer/2022070404/56813b85550346895da4b037/html5/thumbnails/11.jpg)
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.
![Page 12: CS566 Project GuideLines](https://reader035.fdocuments.net/reader035/viewer/2022070404/56813b85550346895da4b037/html5/thumbnails/12.jpg)
That’s all for now!!!