We present a new computational model of BDI-agents, called the observation-based BDI-model. The key point of this BDImodel is to express agents’ beliefs, desires and intentions as a set of runs (computing paths), which is exactly a system in the interpreted system model, a well-known agent model due to Halpern and his colleagues. Our BDI-model is computationally grounded in that we are able to ...

Submitted for the MAR16 Meeting of The American Physical Society Classification of interacting fermionic phases by dimensional reduction RAQUEL QUEIROZ, ESLAM KHALAF, Max Planck Institute for Solid State Physics, ADY STERN, Weizmann Institute of Science — Topological phases of noninteracting fermions are classified in each spatial dimension according to their symmetry class, in a periodic way [...

The Rational Choice Theory describes criminal behaviour as a form of means-end decision-making. In contrast, it is often argued that criminal behaviour involves subjective, personal biological and psychological aspects. This paper contributes an agent-based modelling approach for criminal behaviour integrating such subjective aspects with decision-making based on means-end analysis, and illustr...

The static properties of BDI systems can be considered extensions of CTL logics. This type of logic will be model the mental state of agent. The logic is extended by defining additional connectors and operators. We present in this paper the mental BDI agents whose behavior is conduct by beliefs, desires, intentions, and decisions. The case study addresses the scenario of a broker whose operatio...

In this paper, a validation and an experimentation of the use of graded BDI agents is reported. This agent model has been proposed to specify agents capable to deal with the environment uncertainty and with graded attitudes in an efficient way. As a case study we focus on a Tourism Recommender Agent specified using this agent model. The experimentation on the case study aims at proving that thi...

In this work we present a methodological framework to engineer graded BDI agent-based systems. The graded BDI agent model allows to specify an agent’s architecture able to deal with the environment uncertainty and with graded mental attitudes. We work up previous approaches on software engineering process, adapting and extending them, in order to develop agents with a more complex internal arch...