Standpoint logic: a multi-modal logic for reasoning within semantic indeterminacy

Talk by Lucía Gómez Álvarez

Location: APB 3027
Start: 12. December 2019 at 1:00 pm
End: 12. December 2019 at 2:00 pm
Event series: KBS Seminar
iCal

Abstract: Standpoint logic is a multi-modal logic intended at reasoning with different interpretations of semantically heterogeneous terms. The framework offers an alternative to “fuzzy” approaches to the representation of meaning and allows for the specification of “semantic commitments” and “penumbral connections”.

In this talk, I will introduce the logic and provide an overview of its proof theory and semantics. I will demonstrate its expressivity in an application scenario in the forestry domain, using data schemas from the repository Global Forest Watch and concepts from the ENVO ontology. I will finally discuss the complexity of the logic and some restrictions that could make implementations viable.