Timothy L. Hinrichs, Michael R. Genesereth
Logicians frequently use axiom schemata to encode (potentially infinite) sets of sentences with particular syntactic form. In this paper we examine a first-order language in which it is possible to write expressions that both describe sentences and assert the truth of the sentences so described. The effect of adding such expressions to a knowledge base is the same as directly including the set of described sentences.
Content Area: 5. Automated Reasoning
Subjects: 3. Automated Reasoning; 11. Knowledge Representation
Submitted: May 10, 2005