Knowledge-based image recognition and description systems have tobalance soundness versus efficiency. For mining purposes in particular a theory of meaning – i.e. formalsemantic or ontology – has to be given. However, efficiency is also most important for practicability. Thiscontribution uses production systems. The semantics are analysed by means of confluence. Productions areused in an accumulating way instead of reductive. The interpretation scheme given allows breaking reasoningat any time with an approximate interpretation as result. Two example systems using this interpreterare discussed.     «

Knowledge-based image recognition and description systems have tobalance soundness versus efficiency. For mining purposes in particular a theory of meaning – i.e. formalsemantic or ontology – has to be given. However, efficiency is also most important for practicability. Thiscontribution uses production systems. The semantics are analysed by means of confluence. Productions areused in an accumulating way instead of reductive. The interpretation scheme given allows breaking reasoningat any time w...     »