search

aic-sri-international / aic-expresso

SRI International's AIC Symbolic Manipulation and Evaluation Library (for Java 1.8+)
BSD 3-Clause "New" or "Revised" License
8 stars 0 forks source link

Add general purpose unifying conceptual map #5

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 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