SOAR: an architecture for general intelligence
Artificial Intelligence
Intention is choice with commitment
Artificial Intelligence
Controlling cooperative problem solving in industrial multi-agent systems using joint intentions
Artificial Intelligence
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
Collaborative plans for complex group action
Artificial Intelligence
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
COLLAGEN: when agents collaborate with people
AGENTS '97 Proceedings of the first international conference on Autonomous agents
A knowledge-based approach for designing intelligent team training systems
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Distributed Intelligent Agents
IEEE Expert: Intelligent Systems and Their Applications
Toward Team-Oriented Programming
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A prototype infrastructure for distributed robot-agent-person teams
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Proactive information gathering for homeland security teams
Communications of the ACM - Homeland security
Extending the recognition-primed decision model to support human-agent collaboration
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A theoretical framework on proactive information exchange in agent teamwork
Artificial Intelligence
Agents with shared mental models for enhancing team decision makings
Decision Support Systems - Special issue: Intelligence and security informatics
Journal of Artificial Intelligence Research
CAST: collaborative agents for simulating teamwork
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
The semantics of MALLET–An agent teamwork encoding language
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
R-CAST: integrating team intelligence for human-centered teamwork
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Virtual Team Members for Team Training
Proceedings of the 2009 conference on Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling
Hi-index | 0.00 |
MALLET, a Multi-Agent Logic Language for Encoding Teamwork, is intended to enable expression of teamwork emulating human teamwork, allowing experimentation with different levels and forms of inferred team intelligence. A consequence of this goal is that the actual teamwork behavior is determined by the level of intelligence built into the underlying system as well as the semantics of the language. In this paper, we give the design objectives, the syntax, and an operational semantics for MALLET in terms of a transition system. We show how the semantics can be used to reason about the behaviors of team-based agents. The semantics can also be used to guide the implementation of various MALLET interpreters emulating different forms of team intelligence, as well as formally study the properties of team-based agents specified in MALLET. We have explored various forms of proactive information exchange behavior embodied in human teamwork using the CAST system, which implements a built-in MALLET interpreter.