Introduction to Situation Theory Part III

Posted on Sun 17 October 2010 in Situation Theory tutorial • Tagged with constraints, infon logic, information, situation theory

Infon Logic

Devlin develops an infon logic framework to be used either by a theorist or by an agent. The description of this logic is relatively informal. Infon logic combines basic infons to form non-basic compound infons. Conjuction and disjunction of infons may be recursively applied to create larger expressions …