Inference Engine

• Full name: Gerona Agent Framework
• Description in English: Gerona is a agent framework for real-time crisis decision making
• Source(s):
  • Name: Gerona Agent Development Team
• Inference Rule(s):
  • Name: DC-Train Database Query
  • Example in English: Say we want to determine what frame (distance from the bow of the ship in feet) a compartment lies at (i.e. where the front of the compartment is). In our Gerona agent, we might have the following logical statement: world-info( find, _, _, "Compartments", [ name <- "02-112-0-Q", frame -> Frame ], _, _ ) This would map to a database query such as (in SQL): SELECT [frame] FROM Compartments WHERE [name]='02-112-0-Q' (The result would be 112, since the frame number is actually given in the compartment name.)
  • Desctiption Template in English: Much of the physical information about the DDG51-class destroyer simulated by the DC-Train system is stored in a massive database. This information includes the location and geometry of compartments, firemain pipes, and descriptions of all the message types that can be passed between agents in the system. The DC-Train system, along with agents like the Gerona-based Damage Control Expert (DCX), can query static information in the database through a unified communications interface.
  • Source(s):
    • Name: Digital DC-Train Representation (Technical Report)
    • URL: http://www-kbs.ai.uiuc.edu/web/kbs/publicLibrary/KBSPubs/TechReports/DCTrain%20Digitial%20Representation.pdf
    • Author(s):
      • Name: David C. Wilkins
      • URL: www-kbs.ai.uiuc.edu
    • Year: 2001
    • Month: March

    ---

    • Name: Knowledge Ontology Structures for DC-Train 4.0 (Technical Report)
    • URL: http://www-kbs.ai.uiuc.edu/web/kbs/publicLibrary/KBSPubs/TechReports/DCTrain4%20Knowledge%20Ontology.pdf
    • Author(s):
      • Name: David C. Wilkins
      • URL: www-kbs.ai.uiuc.edu
    • Year: 2001
    • Month: January

  ---

  • Name: Direct assertion
  • Description in English: Direct assertion of a sentence, possibly by loading a sentence (or a set of sentences) from an existing knowledge base.
  • Rule Specification: |- p;; (Sent p)
  • Specification Language: Proof Protocol for Deductive Reasoning (PPDR)
  • Example in English: One might load the statement from the wines ontology that RedWine is a subclass of Wine.

  ---

  • Name: Gerona Forward Chaining
  • Description in English: Gerona Forward Chaining is a forward-chaining rule execution technique that does not backtrack and that executes rules in the same scope in parallel. Gerona rules are associated with each event the real-time, crisis decision-making system receives. Rules are executed in parallel without backtracking. If a rule's precondition succeeds, its postcondition is executed; the postcondition may contain additional nested rules, which are also executed in parallel.

(Registration details...)

Copyright 2009 Inference Web group.
All Rights Reserved.