First-Order Logic Knowledge Base: Difference between revisions
Jump to navigation
Jump to search
m (Text replacement - ". ---- " to ". ---- ") |
m (Text replacement - ". " to ". ") |
||
| Line 11: | Line 11: | ||
=== 2009 === | === 2009 === | ||
* ([[2009_MarkovLogic|Domingos & Lowd, 2009]]) ⇒ [[Pedro Domingos]], and [[Daniel Lowd]]. ([[2009]]). “[http://books.google.com/books?id=ijqFfoIy_T0C Markov Logic: An Interface Layer for Artificial Intelligence]." Morgan & Claypool. [http://dx.doi.org/10.2200/S00206ED1V01Y200907AIM007 doi:10.2200/S00206ED1V01Y200907AIM007] | * ([[2009_MarkovLogic|Domingos & Lowd, 2009]]) ⇒ [[Pedro Domingos]], and [[Daniel Lowd]]. ([[2009]]). “[http://books.google.com/books?id=ijqFfoIy_T0C Markov Logic: An Interface Layer for Artificial Intelligence]." Morgan & Claypool. [http://dx.doi.org/10.2200/S00206ED1V01Y200907AIM007 doi:10.2200/S00206ED1V01Y200907AIM007] | ||
** QUOTE: A [[First-Order Logic Knowledge Base|first-order knowledge base (KB)]] is a set of [[FOL sentence|sentence]]s or [[FOL formula|formula]]s in [[first-order logic]] [37]. [[FOL formula|Formula]]s are constructed using four types of [[formula symbol|symbol]]s: [[constant]]s, [[variable]]s, [[function]]s, and [[predicate]]s. [[Constant symbol]]s represent [[item|object]]s in the [[domain of interest]] (e.g., people: Anna, Bob, Chris, etc.). [[Variable symbol]]s range over the [[object]]s in the domain. [[Function symbol]]s (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 [[object]]s, [[function]]s and [[relation]]s in the domain are [[represented by]] which [[symbol]]s. | ** QUOTE: A [[First-Order Logic Knowledge Base|first-order knowledge base (KB)]] is a set of [[FOL sentence|sentence]]s or [[FOL formula|formula]]s in [[first-order logic]] [37]. [[FOL formula|Formula]]s are constructed using four types of [[formula symbol|symbol]]s: [[constant]]s, [[variable]]s, [[function]]s, and [[predicate]]s. [[Constant symbol]]s represent [[item|object]]s in the [[domain of interest]] (e.g., people: Anna, Bob, Chris, etc.). [[Variable symbol]]s range over the [[object]]s in the domain. [[Function symbol]]s (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 [[object]]s, [[function]]s and [[relation]]s in the domain are [[represented by]] which [[symbol]]s. | ||
---- | ---- | ||
Latest revision as of 18:54, 1 August 2022
A First-Order Logic Knowledge Base is a knowledge base composed of first-order logic sentences.
- Example(s):
- 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.