Acting optimally in partially observable stochastic domains
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Securing the commercial Internet
Communications of the ACM
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Communications of the ACM
A new logic for electronic commerce protocols
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
Agents in Electronic Commerce: Component Technologies for Automated Negation and Coalition Formation
CIA '98 Proceedings of the Second International Workshop on Cooperative Information Agents II, Learning, Mobility and Electronic Commerce for Information Discovery on the Internet
Formal Semantics for an Abstract Agent Programming Language
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
On Agent-Mediated Electronic Commerce
IEEE Transactions on Knowledge and Data Engineering
Formal specification of autonomous commerce agents
Proceedings of the 2004 ACM symposium on Applied computing
Agent-mediated electronic commerce: a survey
The Knowledge Engineering Review
The Art of Software Testing
Agent-Mediated Electronic Commerce
Autonomous Agents and Multi-Agent Systems
Specification and testing of autonomous agents in e-commerce systems: Research Articles
Software Testing, Verification & Reliability
Validation of multiagent systems by symbolic model checking
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Formal semantics for AUML agent interaction protocol diagrams
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
A formal approach to design and reuse agent and multiagent models
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
A Hierarchical Methodology to Specify and Simulate Complex Computational Systems
ICCS '09 Proceedings of the 9th International Conference on Computational Science: Part I
SPAMR: extending PAMR with stochastic time
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
FSP and FLTL framework for specification and verification of middle-agents
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Hi-index | 0.00 |
The behavior of e-commerce agents can be defined at different levels of abstraction. A formalism allowing to define them in terms of their economic activities, Utility State Machines, has been proposed. Due to its high level of abstraction, this formalism focuses on describing the economic goals rather on how they are achieved. Though this approach is suitable to specify the objectives of e-commerce agents, as well as to construct formal analysis methodologies, this framework is not suitable to define the strategic behavior of agents. In this paper we develop a new formalism to explicitly define the strategic behavior of agents in a modular way. In particular, we reinterpret the role of utility functions, already used in USMs in a more restrictive manner, so that they define strategic preferences and activities of agents. We apply the formalism to define the agents in a benchmark e-commerce agent environment, the Supply Chain Management Game. Since the strategic behavior of agents is located in a specific part of the formalism, different strategies can be easily considered, which enhances the reusability of the proposed specification.