AI · Theory

Knowledge Engineering in FOL

Theory

36/215

Knowledge Engineering in FOL

Knowledge engineering: decide the domain objects, predicates, then write axioms that match the real rules, then test queries. Identify → vocabulary → axioms → queries → debug. Same idea as designing a schema before SQL.

Rushing into axioms without naming objects is how FOL answers go messy in vivas.

Output — idea / do / check for Knowledge Engineering in FOL. Fill those three in the viva.

Exam tip

KE steps in order.

Example

# Knowledge Engineering in FOL
print("idea :", "Knowledge Engineering in FOL")
print("do   : one tiny example on paper")
print("check: one failure case")

Output: idea / do / check for Knowledge Engineering in FOL. Fill those three in the viva.

Short notes

DefObjects → predicates → axioms → query.
RuleTest small queries first.

AI · Theory

Knowledge Engineering in FOL

← All stacks

Theory

36/215

Knowledge Engineering in FOL

Rushing into axioms without naming objects is how FOL answers go messy in vivas.

Output — idea / do / check for Knowledge Engineering in FOL. Fill those three in the viva.

Exam tip

KE steps in order.

Example

# Knowledge Engineering in FOL
print("idea :", "Knowledge Engineering in FOL")
print("do   : one tiny example on paper")
print("check: one failure case")

Output: idea / do / check for Knowledge Engineering in FOL. Fill those three in the viva.

Short notes

DefObjects → predicates → axioms → query.
RuleTest small queries first.

Knowledge Engineering in FOL

Example

Short notes

Questions

Knowledge Engineering in FOL

Example

Short notes

Questions