Declarative Representations
in Prodigy
Declarative Representations
in Prodigy
The Prodigy Description Language is a declarative representation,
based on first-order predicate logic.
Thus, in Prodigy, all rules (and more generally knowledge) may be inspected
by other rules, allowing the architecture
to reflect on its own knowledge.
Utilizing a declarative representation
is a key component of Prodigy's glass
box design principle.
Return to the top of this architecture.
Go to a discussion of this property
for multiple architectures.
Current Location: Prodigy - Properties - Declarative Representations