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)
In this paper the notion of collective intention in teams of agents involved in cooperative problem solving (CPS) in multiagent systems (MAS) is investigated. Starting from individual intentions , goals, and beliefs defining agents' local asocial motivational and informational attitudes, we arrive at an understanding of a collective intention in a team of(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)
In everyday life it is often important to have a mental model of the knowledge, beliefs, desires, and intentions of other people. Sometimes it is even useful to to have a correct model of their model of our own mental states: a second-order Theory of Mind. In order to investigate to what extent adults use and acquire complex skills and strategies in the(More)