equality reasoning

[email protected]
Newsgroups gmane.comp.ai.powerloom
Message-ID <[email protected]> 
What sort of equality reasoning is supported in powerloom?  Can we
assert that logical instances are identical?

If not, is there some way you handle the case where one discovers that
two entities are coreferent?

Thanks,
R

-- 
Robert P. Goldman
Senior Scientist
Smart Information Flow Technologies (d/b/a SIFT, LLC)

211 N. First St., Suite 300
Minneapolis, MN 55401

Voice:	(612) 384-3454
Email:    [email protected]
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.