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”.

7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA