A Formal Specification of dMARS
. In Intelligent Agents IV Lecture Notes on Artificial Intelligence, Volume 1365, ed.
You are invited to submit a bid to nhs england for the evaluation for the digital minor ailments referral service (dmars
) under the attached terms and conditions.
The tactical decision-making component was modeled using individual intelligent agents (implemented in the DMARS
language [d'Inverno et al.
However, many of the ideas in IRMA are included in the dMARS
systems developed at the Australian Artificial Intelligence Institute by Michael Georgeff and his colleagues (Rao and Georgeff 1995); dMARS
has been used in a variety of real-world applications, ranging from space shuttle malfunction handling to air traffic control to air-combat simulation.