Title: ===== Agent Reasoning under bounded resources by Dr. Lee Flax (ISG member) Venue & Time: ============ Room 357 Building E6A, Macquarie University 3-4pm Talk Abstract ============= Three views of resource-bound agents are reviewed: those of Cherniak, Woods and Johnson-Laird. These views inform the arguments used to develop the idea that restricted entailment be taken to be the reasoning process of an agent. It is shown that a restricted entailment formalises entailment in a sense defined by Woods. A criterion for judging the adequacy of the reasoning process of an agent is given by Woods: a standard of proof. The soundness and completeness of the proof method and semantics of the language of restricted entailment is proposed as an agent's standard of proof. Families of agents can be combined by forming least upper or greatest lower bounds of restricted entailments to give subagents or superagents respectively.