First Order Predicate Logic
in Prodigy
First Order Predicate Logic
in Prodigy
Prodigy uses a homogeneous,
penetrable representation derived from
first-order logic called the Prodigy Description Language or
PDL.
The conditional side of PDL rules is represented as a first order predicate
logic statement. This formulation includes allowances for
literals, relations (predicates), and
for-all and there-exists constructs. If a statement evaluates to true,
STRIPS-style operator actions are applied.
The power of
logical statements allows each rule to perform sophisticated analysis
or inference.
Return to the top of this architecture.
Go to a discussion of this property
for multiple architectures.
Current Location: Prodigy - Properties - First Order Predicate Logic