A Functional Program for Agents, Actions, and Deontic Specifications.
Adam Zachary WynerPublished in: DALT (2006)
Keyphrases
- multiple agents
- decision theoretic
- agent behavior
- multi agent
- action selection
- multi agent systems
- multiagent reinforcement learning
- cognitive agents
- multiagent systems
- interacting agents
- intelligent agents
- computer programs
- reasoning process
- rational agents
- cooperative
- autonomous agents
- agent receives
- control flow
- artificial agents
- coalition formation
- learning agent
- intelligent behavior
- explicitly represent
- cooperative multiagent systems
- incomplete knowledge
- joint action
- agent systems
- software agents
- mobile agents
- reinforcement learning
- single agent
- plan recognition
- formal specification
- decision process
- agent architecture
- classical logic
- game theoretic
- reactive systems
- recursive programs
- incomplete information
- high level
- speech acts
- dynamic environments
- reward signal
- communicative acts
- agent technology
- dynamic logic
- program synthesis
- specification language
- reasoning about actions
- state transitions