Modeling the broker behavior using a BDI agent

Authors:
Laura Florentina Cacovean;Florin Stoica
Affiliations:
Department of Computer Science, Lucian Blaga University of Sibiu, Faculty of Sciences, Sibiu, Romania;Department of Computer Science, Lucian Blaga University of Sibiu, Faculty of Sciences, Sibiu, Romania
Venue:
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume II
Year:
2010

Citing 4
Cited 0

Enhancing model checking in verification by AI techniques

Artificial Intelligence
Logic in computer science: modelling and reasoning about systems

Logic in computer science: modelling and reasoning about systems
Introduction to Multiagent Systems

Introduction to Multiagent Systems
Specification languages in algebraic compilers

Theoretical Computer Science - Special issue: Algebraic methodology and software technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 operation is given by market conditions and demand, offer, price and number of operations it holds.