Project Description | Parent Description | Capabilities
While we have the project Free rte, there has since been released
the CandC rte system.
I am however having trouble getting this to
It runs but the theorem prover does not return.
trying to get ahold of the correct version of the Vampire theorem
- Write something for when.do that does textual entailment to determine when when conditions could be being satisfied and recommends the follow up.
Also develop a menu, for free life planner, that allows you to select the when conditions from a menu, and includes the rte system?
- Integrate nlu with an agent for a system that understands text and can act on it.
Have it use rte to see if the text implies certain things, and then input to BDI.
- Write a letter to the guy from LCC about free rte systems.
- Email the guy from LCC about free rte systems
|("comment" "26681" "He wasn't very helpful.")|
This page is part of the FWeb package.
Last updated Sat Oct 26 16:45:57 EDT 2019