Scribd
Upload
345 views4 pages

Knowledge Engineering in First-Order Logic: Identify The Task

This document discusses the process of knowledge engineering in first-order logic. It outlines 6 key steps: 1) identify the task and questions, 2) assemble relevant domain knowledge, 3) decide on a vocabulary to represent the knowledge, 4) encode general domain knowledge, 5) encode a specific problem using the general knowledge, and 6) pose queries to the knowledge base and debug any errors.

Uploaded by

Pallavi Parab
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
345 views4 pages

Knowledge Engineering in First-Order Logic: Identify The Task

This document discusses the process of knowledge engineering in first-order logic. It outlines 6 key steps: 1) identify the task and questions, 2) assemble relevant domain knowledge, 3) decide on a vocabulary to represent the knowledge, 4) encode general domain knowledge, 5) encode a specific problem using the general knowledge, and 6) pose queries to the knowledge base and debug any errors.

Uploaded by

Pallavi Parab
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

Knowledge Engineering in

First-Order Logic
Dan Bumbaco

Identify the Task


• Outline the range of questions
• Determine available facts
• What is needed to connect
problems to answers?

1
Assemble the Relevant Knowledge

• Knowledge acquisition
• Understand the scope of the
knowledge base
• How does the domain work?

Decide on a Vocabulary
• Determine vocabulary of
predicates, functions, and
constants
• How is the knowledge base
represented?
• Ontology

2
Encode General knowledge
• Encode the general knowledge
about the domain

Encode the Problem


• Describe the specific problem
instance using the general
knowledge

3
Pose Queries
• Let the inference procedure
operate on the axioms to derive
facts

Debugging
• Check the knowledge base for
errors

You might also like