Metareasoning and the problem of small worlds
Kathryn Blackmond Laskey, Paul J. Lehner · IEEE Transactions on Systems Man and Cybernetics · 1994
Practical decision theoretic reasoning requires the construction of local, problem-specific models in which attention is confined to a restricted universe of propositions. Such a restricted universe is called a small world. Managing the construction and revision of small world models can itself be viewed as a meta-level decision problem. This paper presents a theoretical framework for understanding and analyzing many of the issues associated with the management of small world models.>