Deduced assertion

Home / Glossary / Deduced assertion

A deduced assertion is an assertion which was created as a result of inference within Cyc, and not necessarily directly input by a Cyclist or application program. Directly input assertions are known as asserted-argument assertions. Deduced assertion are supported by at least one deduction.

Sometimes deduced assertions are referred to as “inferred assertions” or more rarely, “remote assertions”.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA