Reflection and introspection for humanized intelligent agents

Automated Reasoning, Machine Ethics, Self-Checking

Methods for implementing Automated Reasoning in a fashion that is at least reminiscent of human cognition and behavior must refer (also) to Intelligent Agents. In fact they implement many important autonomous applications upon which, nowadays, the life and welfare of living beings may depend. In such contexts, 'humanized' agents should do what is expected of them, but perhaps more importantly they should not behave in improper/unethical ways given the present context. We propose techniques for introspective self-monitoring and checking.