OpenCyc.org HomepageResource Limits for Queries

E-Mail Comments to: opencyc-doc@cyc.com
Copyright© 1996-2002 Cycorp. All rights reserved.

[Up]Querying Cyc with the Web Interface
[Back]Backward Queries

There are four parameters that can be set in the Inference Parameters section of the Ask page. Each of these can specify a constraint on inference, limiting search in some way. This is important since some queries will result in enormous or even infinite inference, but practical uses of the system require queries to have predictable, finite behavior.

When trying backward queries, you may sometimes find queries that fail to find expected bindings because the settings of these resource constraints are too low. It's always a good idea to try again with more resources before assuming that an inference mechanism is failing. Clicking on the link that follows Query halted because :, which allows one to inspect the search that the inference engine conducted, may also be helpful in diagnosing queries that fail.

Constraints:


[Up] [Back]
Last Update: 03/26/2002