Standpoint Linear Temporal Logic

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

Abstract

Many complex scenarios require the coordination of agents possessing unique points of view and distinct semantic commitments. In response, standpoint logic (SL) was introduced in the context of knowledge integration, allowing one to reason with diverse and potentially conflicting viewpoints by means of indexed modalities. Another multi-modal logic of import is linear temporal logic (LTL)-a formalism used to express temporal properties of systems and processes, having prominence in formal methods and fields related to artificial intelligence. In this paper, we present standpoint linear temporal logic (SLTL), a new logic that combines the temporal features of LTL with the multi-perspective modelling capacity of SL. We define the logic SLTL, its syntax, its semantics, establish its decidability and complexity, and provide a terminating tableau calculus to automate SLTL reasoning. Conveniently, this offers a clear path to extend existing LTL reasoners with practical reasoning support for temporal reasoning in multi-perspective settings.

Details

Original languageEnglish
Title of host publicationProceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023
EditorsPierre Marquis, Tran Cao Son, Gabriele Kern-Isberner
PublisherIJCAI Inc
Pages311-321
Number of pages11
ISBN (electronic)9781956792027
Publication statusPublished - 2023
Peer-reviewedYes

External IDs

Scopus 85176773241
ORCID /0000-0003-3214-0828/work/173054740

Keywords

ASJC Scopus subject areas