search

gaoyuanning / aic-expresso

Automatically exported from code.google.com/p/aic-expresso
0 stars 0 forks source link

Add general purpose unifying conceptual map #5

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
Key are expressions + constraints (i.e. intensional sets), want to decide if a 
given expression unifies with what set of keys. 
If value associated with key using same free variables (as in key) then want 
the value but in terms of the look up key.
We want to be able to use this initially in DefaultBeliefs message extension 
lookup logic.
Should take a flag to let you know will only match 1 key.
Indexing needs to be generic (i.e. don't rely on predicates - maybe use 
Rodrigo's lambda function trick).

Original issue reported on code.google.com by ctjoreilly@gmail.com on 11 Apr 2013 at 12:02