170 likes | 262 Views
Daniel Latimer Team 1 Hanin Almutairi Usman Ali Chaudhry. From POSL to d-POSL: Making the Positional-Slotted Language Defeasible. Advisors: Nick Bassiliades, Efstratios Kontopoulos Instructor: Dr. Harold Boley. PROJECT DEVELOPMENT MODEL.
E N D
Daniel Latimer • Team 1 Hanin Almutairi • Usman Ali Chaudhry From POSL to d-POSL: Making the Positional-Slotted Language Defeasible Advisors: Nick Bassiliades, Efstratios Kontopoulos Instructor: Dr. Harold Boley
PROJECT DEVELOPMENT MODEL This should be POSL 0.91
POSL • POSL integrates positional and slotted knowledge for humans • (e.g.: Prolog’s positional and F-logic’s slotted knowledge) POSL uses Prolog/F-logic-combining syntax, obtaining these facts: shipment(PC,47.5;source->BostonMoS;dest->LondonSciM) : -> ^^ URI -IRI POSL POSL 1.0
POSL FLOW Changes implemented in original POSL.g to tackle updates. ANTLR POSL POSL 1.0
Defeasible Logic • “Defeasible logic, originally created by Donald Nute with a particular concern about efficiency and implementation, is a simple and efficient rule based non-monotonic formalism. Over the years the logic has been developed and extended, and several variants have been proposed”. • “The main intuition of the logic is to be able to derive “plausible” conclusions from partial and sometimes conflicting information”.
Kinds of Rules • There are three kinds of rules in defeasible logic, each represented • by a different arrow:
ANTLR • “ANTLR, ANother Tool for Language Recognition, is a language tool that provides a framework for constructing recognizers, interpreters, compilers, and translators from grammatical descriptions containing actions in a variety of target languages”. Lexer ANTLR EBNF Grammar Parser
How it works Stream of Characters LEXER Tokens PARSER Interpretation of tokens according to rules
OO jDREW modifications • Update the Converter application • Current features: • Convert RuleML 0.88/0.91 • to POSL 0.91 • Convert POSL 0.91 to • RuleML 0.88 or 0.91
OO jDREW modifications • Upgraded Functionality • 1. Upgrade POSL • 0.91 to 1.0 • 2. Convert RuleML0.88/ • 0.91/1.0 to POSL 1.0 • 3. Functionality to upgrade • POSL 0.91 to 1.0 • 4. Convert POSL 1.0 to • RuleML 0.88 or 0.91/1.0
OO jDREW modifications • Demonstration
OO jDREW modifications • To accomplish this: • Update the POSL input field • - Generate LEXER and PARSER of modified grammar using ANTLR 2.7.5 • Added support for legacy code - POSL 0.91 • - Created a “POSL 0.91 to 1.0 button” • Convert RuleML to POSL 1.0 instead of 0.91
Conclusions • Changes implemented in POSL to 1.0. • Implemented d-POSL. • Further work can be done in d-POSL to refine the grammar according to the requirements. • d-POSL grammar can be implemented into a stand alone application.