Towards a Logic of Rational Agency Export

@article{citeulike:4501611, abstract = {Rational agents are important objects of study in several research communities, including economics, philosophy, cognitive science, and most recently computer science and artificial intelligence. Crudely, a rational agent is an entity that is capable of acting on its environment, and which chooses to act in such a way as to further its own best interests. There has recently been much interest in the use of mathematical logic for developing formal theories of such agents. Such theories view agents as practical reasoning systems, deciding moment by moment which action to perform next, given the beliefs they have about the world and their desires with respect to how they would like the world to be. In this article, we survey the state of the art in developing logical theories of rational agency. Following a discussion on the dimensions along which such theories can vary, we briefly survey the logical tools available in order to construct such theories. We then review and critically assess three of the best known theories of rational agency: Cohen and Levesque's intention logic, Rao and Georgeff's BDI logics, and the KARO framework of Meyer et al. We then discuss the various roles that such logics can play in helping us to engineer rational agents, and conclude with a discussion of open problems. 10.1093/jigpal/11.2.135}, author = {van der Hoek, Wiebe and Wooldridge, Michael}, citeulike-article-id = {4501611}, citeulike-linkout-0 = {http://dx.doi.org/10.1093/jigpal/11.2.135}, citeulike-linkout-1 = {http://jigpal.oxfordjournals.org/cgi/content/abstract/11/2/135}, day = {1}, doi = {10.1093/jigpal/11.2.135}, journal = {Logic Jnl IGPL}, keywords = {decision-theory, epistemology, logic, philosophy, rational-agency}, month = {March}, number = {2}, pages = {135--159}, posted-at = {2009-05-10 23:29:41}, priority = {3}, title = {Towards a Logic of Rational Agency}, url = {http://dx.doi.org/10.1093/jigpal/11.2.135}, volume = {11}, year = {2003} }

TY - JOUR ID - citeulike:4501611 L3 - citeulike-article-id:4501611 N2 - Rational agents are important objects of study in several research communities, including economics, philosophy, cognitive science, and most recently computer science and artificial intelligence. Crudely, a rational agent is an entity that is capable of acting on its environment, and which chooses to act in such a way as to further its own best interests. There has recently been much interest in the use of mathematical logic for developing formal theories of such agents. Such theories view agents as practical reasoning systems, deciding moment by moment which action to perform next, given the beliefs they have about the world and their desires with respect to how they would like the world to be. In this article, we survey the state of the art in developing logical theories of rational agency. Following a discussion on the dimensions along which such theories can vary, we briefly survey the logical tools available in order to construct such theories. We then review and critically assess three of the best known theories of rational agency: Cohen and Levesque's intention logic, Rao and Georgeff's BDI logics, and the KARO framework of Meyer et al. We then discuss the various roles that such logics can play in helping us to engineer rational agents, and conclude with a discussion of open problems. 10.1093/jigpal/11.2.135 IS - 2 JF - Logic Jnl IGPL EP - 159 TI - Towards a Logic of Rational Agency VL - 11 SP - 135 KW - decision-theory KW - epistemology KW - logic KW - philosophy KW - rational-agency AU - van der Hoek, Wiebe AU - Wooldridge, Michael PY - 2003/03/01/ UR - http://dx.doi.org/10.1093/jigpal/11.2.135 ER -