- From: Hassan Aït-Kaci <hak@ilog.com>
- Date: Wed, 20 Feb 2008 10:55:10 +0100
- To: Gary Hallmark <gary.hallmark@oracle.com>
- CC: W3C RIF WG <public-rif-wg@w3.org>
Gary Hallmark wrote: > > Start with exactly the BLD syntax. Add just 1 or 2 "hard" things (e.g. > retraction and rule priority) that are common in PR and make a model > theory very difficult. Do not respecify the syntax, just add the new > elements. Develop an Operational Semantics for it, as defined by > Plotkin in http://homepages.inf.ed.ac.uk/gdp/publications/sos_jlap.pdf. > Do not spend time on informal semantics that can only diverge from the > formal semantics. Only after PRD has caught up with BLD in terms of > semantic rigor should it incorporate negation, aggregation, other > actions, etc. > > The task of developing a formal Operational Semantics for PRD is not > trivial and would be best attempted by someone who has done something > similar before. Well said ... I fully agree. -hak -- Hassan Aït-Kaci * ILOG, Inc. - Product Division R&D http://koala.ilog.fr/wiki/bin/view/Main/HassanAitKaci
Received on Wednesday, 20 February 2008 09:56:10 UTC