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.