Foundations of a functional approach to knowledge representation.

摘要: Abstract We present a new approach to knowledge representation where bases are characterized not in terms of the structures they use represent knowledge, but functionally, what can be asked or told about some domain. Starting with system that questions and facts full first-order logical language, we then define ask- tell-operations over an extended language refer only domain base knows The major technical result is resulting which now includes auto-epistemic aspects, still represented symbolically terms. also consider extensions framework such as defaults definitional facilities. overall formal foundation for which, accordance current principles software design, cleanly separates functionality from implementation structure.