Scribd Logo
Upload

Welcome to Scribd!

  • Knowledge Engineering in First-Order Logic: Identify The Task

    Uploaded by

    Pallavi Parab
    3 views4 pages
    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.

    Original Description:

    Original Title

    bumbaco.pdf

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    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.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    3 views4 pages

    Knowledge Engineering in First-Order Logic: Identify The Task

    Uploaded by

    Pallavi Parab
    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.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 4

    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