Ability and Action

Logical Formalization of Commonsense Reasoning

Volume

Papers from the 2003 AAAI Spring Symposium

Contents

This is part of a larger project that is motivated in part by linguistic considerations and by the philosophical literature in action theory and the logic of ability, but that is also meant to suggest ways in which planning formalisms could be modified to provide an account of the role of ability in planning and practical reasoning. In this version for the CSR workshop, I have suppressed most of the linguistic and philosophical issues, concentrating instead on the reasoning and its formalization.