Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Agent Interval Temporal Logic
Dissertation (MA)--University of Pretoria, 2020.
Saved in:
| Other Authors: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
University of Pretoria
2020
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867613520189718528 |
|---|---|
| access_status_str | Open Access |
| author2 | Ruttkamp-Bloem, Emma |
| author_browse | Ruttkamp-Bloem, Emma |
| author_facet | Ruttkamp-Bloem, Emma |
| collection | Thesis |
| dc_rights_str_mv | © 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. |
| description | Dissertation (MA)--University of Pretoria, 2020. |
| format | Thesis |
| id | oai:repository.up.ac.za:2263/74826 |
| institution | University of Pretoria (South Africa) |
| language | English |
| last_indexed | 2026-06-10T12:37:27.084Z |
| license_str | Other — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from UPSpace — University of Pretoria Institutional Repository |
| publishDate | 2020 |
| publishDateRange | 2020 |
| publishDateSort | 2020 |
| publisher | University of Pretoria |
| publisherStr | University of Pretoria |
| record_format | dspace |
| source_str | UPSpace — University of Pretoria Institutional Repository |
| spelling | oai:repository.up.ac.za:2263/74826 Agent Interval Temporal Logic Ruttkamp-Bloem, Emma u12039803@tuks.co.za Gruner, Stefan Oberholzer, Johannes Francois UCTD Philosophy Dissertation (MA)--University of Pretoria, 2020. 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. Centre for Artificial Intelligence Research at CSIR Philosophy MA Unrestricted 2020-06-02T09:39:17Z 2020-06-02T09:39:17Z 2020 2020-01 Dissertation Oberholzer, JF 2020, Agent Interval Temporal Logic, MA Dissertation, University of Pretoria, Pretoria, viewed yymmdd <http://hdl.handle.net/2263/74826> S2020 http://hdl.handle.net/2263/74826 en © 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. application/pdf University of Pretoria |
| spellingShingle | UCTD Philosophy Agent Interval Temporal Logic |
| title | Agent Interval Temporal Logic |
| title_full | Agent Interval Temporal Logic |
| title_fullStr | Agent Interval Temporal Logic |
| title_full_unstemmed | Agent Interval Temporal Logic |
| title_short | Agent Interval Temporal Logic |
| title_sort | agent interval temporal logic |
| topic | UCTD Philosophy |
| url | http://hdl.handle.net/2263/74826 |