First-Order Logic Knowledge Base

A First-Order Logic Knowledge Base is a knowledge base composed of first-order logic sentences.

• Example(s):
  • a Tractable Markov Logic KB.
• See: OWL Ontology.

---

---

References

2009

• (Domingos & Lowd, 2009) ⇒ Pedro Domingos, and Daniel Lowd. (2009). “Markov Logic: An Interface Layer for Artificial Intelligence." Morgan & Claypool. doi:10.2200/S00206ED1V01Y200907AIM007
  • QUOTE: A first-order knowledge base (KB) is a set of sentences or formulas in first-order logic [37]. Formulas are constructed using four types of symbols: constants, variables, functions, and predicates. Constant symbols represent objects in the domain of interest (e.g., people: Anna, Bob, Chris, etc.). Variable symbols range over the objects in the domain. Function symbols (e.g., MotherOf) represent mappings from tuples of objects to objects. Predicate symbols represent relations among objects in the domain (e.g., Friends) or attributes of objects (e.g., Smokes). An interpretation specifies which objects, functions and relations in the domain are represented by which symbols.

---