On Representing and Sharing Knowledge in Collaborative Problem Solving

In this paper, we propose an agent-based framework for collaborative problem-solving. We emphasize the knowledge representation and knowledge sharing issues. We employ a three-valued based Temporal First-Order Nonmonotonic Logic that allows an explicit representation of events/actions and can handle dialogue game protocols and temporal aspects explicitly. A prototype is developed with a case to guide and assist evacuees in an emergency evacuation from a building.