Learn More
The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Traditionally , protocols like the Contract Net protocol are used for performing the first two stages of the process. In an open(More)
This article takes off from Johan van Benthem's ruminations on the interface between logic and cognitive science in his position paper " Logic and reasoning: Do the facts matter? ". When trying to answer Van Benthem's question whether logic can be fruitfully combined with psychological experiments , this article focuses on a specific domain of reasoning,(More)
Our previous research presents a methodology of cooperative problem solving for belief-desire-intention (BDI) systems, based on a complete formal theory called TEAMLOG. This covers both a static part, defining individual, bilateral and collective agent attitudes, and a dynamic part, describing system reconfiguration in a dynamic, unpredictable environment.(More)
Description: What makes teamwork tick? Cooperation matters, in daily life and in complex applications. After all, many tasks need more than a single agent to be effectively performed. Therefore, teamwork rules! Teams are social groups of agents dedicated to the fulfilment of particular persistent tasks. In modern multiagent environments, heterogeneous teams(More)
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. This logic contains operators for knowledge, but also for the informational consequences of public announcements. The logic is interpreted on multi-agent Kripke models. The information in the riddle can(More)
The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Traditionally, very simple protocols like the Contract Net protocol are used for performing the first two stages of the process. In an(More)
A generic model for the internal dynamic behaviour of BDI agents is proposed. This model, a refinement of a generic agent model, explicitly specifies beliefs and motivational attitudes such as desires, goals, intentions, commitments, and plans, and their relations. A formal metalanguage is used to represent beliefs, motivational attitudes and strategies.(More)
Many social situations require a mental model of the knowledge, beliefs, goals, and intentions of others: a Theory of Mind (ToM). If a person can reason about other people's beliefs about his own beliefs or intentions, he is demonstrating second-order ToM reasoning. A standard task to test second-order ToM reasoning is the second-order false belief task. A(More)