Declarative knowledge Symbolic AI
noun phrase
Definition: Knowledge of facts or propositions (“knowing that”), typically representable in explicit symbolic form [Springer Nature Link].
Example in context: “Answer Set Programming (ASP) (Baral, 2003; Gebser et al., 2012; Gelfond & Kahl, 2014; Lifschitz, 2019) is a declarative knowledge representation formalism that has been applied successfully in a variety of industrial and scientific applications (Erdem et al., 2016; Falkner et al., 2018) such as configuration (Falkner et al., 2016), team building (Ricca et al., 2012), routing (Gebser et al., 2018), or scheduling (Dodaro et al., 2019).” [Comploi-Taupe 2023]
Related term: factual knowledge; procedural knowledge; explicit knowledge