Handbook of theoretical computer science (vol. B)
Preserving liveness: comments on “safety and liveness from a methodological point of view”
Information Processing Letters
Quantitative temporal reasoning
Real-Time Systems
Temporal belief logics for modeling distributed artificial intelligence systems
Foundations of distributed artificial intelligence
Automated temporal reasoning about reactive systems
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
| Hi-index | 0.00 |
Application of agent technology to dynamic environments makes developers to take into account some considerations that common agent-based systems need not meet. Artis agent architecture is our proposal for agent-based systems that require bounded response times. This kind of systems are characterised by their sensitivity to the moment in which the response is obtained. If the answer does not arrive on time, the consequences for the systems are catastrophic. They are hard, real-time systems. This paper proposes a formalisation, using an extension of Rtctl logic, to specify the Artis agent behaviour. It does not pretend to be a formal validation prove for the agent, but a way that allows the designer to checkt he fulfilment of the agent's design goals.