Agent Interval Temporal Logic

Show simple item record

dc.contributor.advisor Ruttkamp-Bloem, Emma
dc.contributor.coadvisor Gruner, Stefan
dc.contributor.postgraduate Oberholzer, Johannes Francois
dc.date.accessioned 2020-06-02T09:39:17Z
dc.date.available 2020-06-02T09:39:17Z
dc.date.created 2020
dc.date.issued 2020-01
dc.description Dissertation (MA)--University of Pretoria, 2020. en_ZA
dc.description.abstract Alternating-Time Temporal Logic (ATL), introduced by Alur, Henzinger and Kupferman, is a logic involving coalitions of agents performing actions which cause a state change in a turn-based time system. There have been game theoretic ex- tensions on ATL, and they are very good at specifying systems of multiple agents cooperating or competing in a game-like situation. Unfortunately neither ATL nor its extensions are able to capture the idea of gradual change, or duration of actions or events. The concurrent game model of ATL operates like a turn based game, with sets of agents taking their turn, and then the environment changing based on their actions, before they take their next turn. The fact that some actions take longer than others, or that sometimes a state changes gradually, rather than immediately, is not representable in ATL. As an example, take a train entering a tunnel. Before the train enters the tunnel, it is outside the tunnel, after it has entered the tunnel, it is inside the tunnel, but for the few seconds it takes the train to enter the tunnel, it is neither inside nor outside the tunnel. ATL cannot represent this basic intuitive truth. A family of logics called Interval Logic (IL) use finite state sequences called “intervals”, which allow it to describe a more continuous model of time, rather than a discrete state based one such as ATL. This allows it to capture the idea of gradual change, of a train entering a tunnel, and the fact that actions and events have various durations. Most of the IL formulations do however not have any way of distinguishing multiple agents acting at the same time. Both of these logics - ATL and IL - are useful for specific things, but combining them might produce new applications which are not possible when only using the one or the other. In this dissertation we present one such possible combination, called Agent Interval Temporal Logic (AITL). AITL combines the notion of agents, coalitions and strategies from ATL with the interval based model of time from IL, thus creating a new logic which might have some powerful applications in a wide range of areas in which gradual change and multiple agents acting at the same time can both be accommodated. en_ZA
dc.description.availability Unrestricted en_ZA
dc.description.degree MA en_ZA
dc.description.department Philosophy en_ZA
dc.description.sponsorship Centre for Artificial Intelligence Research at CSIR en_ZA
dc.identifier.citation Oberholzer, JF 2020, Agent Interval Temporal Logic, MA Dissertation, University of Pretoria, Pretoria, viewed yymmdd <http://hdl.handle.net/2263/74826> en_ZA
dc.identifier.other S2020 en_ZA
dc.identifier.uri http://hdl.handle.net/2263/74826
dc.language.iso en en_ZA
dc.publisher University of Pretoria
dc.rights © 2019 University of Pretoria. All rights reserved. The copyright in this work vests in the University of Pretoria. No part of this work may be reproduced or transmitted in any form or by any means, without the prior written permission of the University of Pretoria.
dc.subject UCTD en_ZA
dc.subject Philosophy en_ZA
dc.title Agent Interval Temporal Logic en_ZA
dc.type Dissertation en_ZA


Files in this item

This item appears in the following Collection(s)

Show simple item record