AI · Theory

Procedural Vs. Declarative Knowledge

Theory

117/215

Procedural Vs. Declarative Knowledge

Procedural Vs. Declarative Knowledge sits in symbolic / logic AI. Write what is true, then infer. Keep one tiny sentence on the board (P→Q, or Student(Asha)). Say whether you need probabilities or crisp true/false.

Output — idea / do / check for Procedural Vs. Declarative Knowledge. Fill those three in the viva.

Trap for Procedural Vs. Declarative Knowledge: writing English paragraphs and calling them a knowledge base. A KB is sentences a machine can query.

Exam tip

One formal sentence + what you can infer.

Example

# Procedural Vs. Declarative Knowledge
print("idea :", "Procedural Vs. Declarative Knowledge")
print("do   : one tiny example on paper")
print("check: one failure case")

Output: idea / do / check for Procedural Vs. Declarative Knowledge. Fill those three in the viva.

Short notes

DefProcedural Vs. Declarative Knowledge — symbolic knowledge / proof.
RuleProcedural Vs. Declarative Knowledge — one tiny formal sentence.
TrapProcedural Vs. Declarative Knowledge — English blob ≠ KB.

AI · Theory

Procedural Vs. Declarative Knowledge

← All stacks

Theory

117/215

Procedural Vs. Declarative Knowledge

Output — idea / do / check for Procedural Vs. Declarative Knowledge. Fill those three in the viva.

Trap for Procedural Vs. Declarative Knowledge: writing English paragraphs and calling them a knowledge base. A KB is sentences a machine can query.

Exam tip

One formal sentence + what you can infer.

Example

# Procedural Vs. Declarative Knowledge
print("idea :", "Procedural Vs. Declarative Knowledge")
print("do   : one tiny example on paper")
print("check: one failure case")

Output: idea / do / check for Procedural Vs. Declarative Knowledge. Fill those three in the viva.

Short notes

DefProcedural Vs. Declarative Knowledge — symbolic knowledge / proof.
RuleProcedural Vs. Declarative Knowledge — one tiny formal sentence.
TrapProcedural Vs. Declarative Knowledge — English blob ≠ KB.

Procedural Vs. Declarative Knowledge

Example

Short notes

Questions

Procedural Vs. Declarative Knowledge

Example

Short notes

Questions