Deduce is an artificial intelligence program which accepts natural language sentences as input. These sentences describe properties and relationships between objects, (for example, "Spot is a dog", "A liquid will evaporate", or "Water does not flow uphill"). The user can then ask questions against that input, to which Deduce will attempt to answer using deductive reasoning techniques.
|Tags||Scientific/Engineering Artificial Intelligence|
|Operating Systems||OS Independent|
No changes have been submitted for this release.