AI agents like Howie or Alice for example can be easily adapted for interacting with the ilug list. The learning curves for these are good and most are easy to use. The volume of database admissible is certainly large. Hopefully somebody will link it to the servers.
I have tried these in conjunction with theorem provers for particular investigations in logic.
Best,
A. Mani Member, Cal. Math. Soc.
_________________________________________________________________ Doubt Everything. _________________________________________________________________
-- To unsubscribe, send mail to [EMAIL PROTECTED] with the body "unsubscribe ilug-cal" and an empty subject line. FAQ: http://www.ilug-cal.org/node.php?id=3
