An implemented context system that combines belief reasoning, metaphor-based reasoning and uncertainty handling

An implemented context-based reasoning system called ATT-Meta is sketched. The system can perform both reasoning about beliefs of agents and metaphor-based reasoning. In particular, it can perform metaphor-based reasoning about beliefs and reasoning acts. The metaphor-based reasoning and belief reasoning facilities are fully integrated into a general framework for uncertain reasoning. This framework allows for uncertain reasoning and conflict resolution within individual contexts, uncertainty in individual inter-context bridging rules, conflict resolution between the effects of different bridging rules, and conflict resolution across context boundaries when argumentation inside a context conflicts with argumentation outside.