mklein@B.CS.UIUC.EDU (Mark Klein) (05/21/86)
I have been trying to decide whether or not to change some code I have (a pattern-directed inference engine, justification-, logic-, and assumption- based TMS's) to handle variables in the data. Variables do seem to add more flexibility (specifically, universal and existential quantification, I guess), but have some problems as well - for example, one can no longer use open-coded unification to match up assertions to rule triggers (I think). What I'd like to know is whether it is easy or hard to have variables in data for each kind of TMS (it seems to be simple for the justification-based TMS)? Is there any advantage to having variables in data that you can't get simply by writing the appropriate rules (i.e. in terms of efficiency, expressiveness, ability to control inference, etc)? Thanks, Mark Klein