:ASSUME

This command is not yet implemented and there is no plan to implement it.

Purpose

Adds an assumption-based fact so that an assumption-based truth management system (ATMS) can correctly retract the fact under non-monotonic reasoning.

Parameters

Examples

Success criteria

Failure criteria

Notes

Related commands

Back to...

Algernon commands
Algernon Documentation Central
Algernon home page