Tag Archives: KR
02 Jun Framing Formal Logic
Formal Logic Formal logic often uses set theory. Set theory uses existential (an assertion that something applies to some members of a set) and universal (a statement that applies to all members in a set) quantifiers. Despite the utility and noncommittal correctness of existential quantifiers, set operations using existential quantifiers are weaker then those using universal quantifiers. The […]
30 May State of the Art in Knowledge Representation
KR Evolves Slowly The state of the art in computer programming has evolved toward data-driven techniques. In early programs, the data was “hard-coded” into the program with specific functions operating differently on each data item and type. Gradually, programmers began storing data and templates in different files, attempting to write orthogonal procedures to introduce a modularity […]