Philosophy Faculty Database
Philosophy
Arts & Sciences
Duke University

 HOME > Arts & Sciences > Philosophy > Faculty    Search Help Login pdf version printable version 

Publications [#236252] of Vincent Conitzer

Duke :: Philosophy :: Faculty :: Vincent Conitzer

Journal articles or Book chapters PUBLISHED

  1. Conitzer, V, Metareasoning as a formal computational problem, AAAI Workshop - Technical Report, vol. WS-08-07 (December, 2008), pp. 29-33.
    (last updated on 2024/03/27)

    Abstract:
    Metareasoning research often lays out high-level principles, which are then applied in the context of larger systems. While this approach has proven quite successful, it sometimes obscures how metareasoning can be seen as a crisp computational problem in its own right. This alternative view allows us to apply tools from the theory of algorithms and computational complexity to metareasoning. In this paper, we consider some known results on how variants of the metareasoning problem can be precisely formalized as computational problems, and shown to be computationally hard to solve to optimality. We discuss a variety of techniques for addressing these hardness results. Copyright © 2008, Association for the Advancement of Artificial Intelligence.


Duke University * Arts & Sciences * Philosophy * Faculty * Staff * Grad * Reload * Login