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/HassanAitKaciReceived on Wednesday, 20 February 2008 09:56:10 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:42 UTC