Team Semantics is a generalization of Tarski’s semantics for First Order Logic in which formulas are satisfied or not satisfied by sets of assignments. Despite being reducible to Tarskian semantics over First Order Logic, Team Semantics permits to extend it in novel ways, like for instance by means of new types of atoms that express dependencies between different assignments. In this work I will discuss the applicability of Team Semantics to spatial reasoning. I will argue that Team Semantics is a highly appropriate framework for reasoning about notions such as locality, in which the value of some variable at some point is affected only by the values of other variables in a certain neighbourhood of that point, and separability of spaces into regions with different properties.

Team semantics for spatial reasoning: Locality and separability

Galliani P.
2019-01-01

Abstract

Team Semantics is a generalization of Tarski’s semantics for First Order Logic in which formulas are satisfied or not satisfied by sets of assignments. Despite being reducible to Tarskian semantics over First Order Logic, Team Semantics permits to extend it in novel ways, like for instance by means of new types of atoms that express dependencies between different assignments. In this work I will discuss the applicability of Team Semantics to spatial reasoning. I will argue that Team Semantics is a highly appropriate framework for reasoning about notions such as locality, in which the value of some variable at some point is affected only by the values of other variables in a certain neighbourhood of that point, and separability of spaces into regions with different properties.
2019
Joint Workshops C3GI: 7th International Workshop on Computational Creativity, Concept Invention, and General Intelligence, ISD4: 4th Image Schema Day, and SCORE: From Image Schemas to Cognitive Robotics, TriCoLore 2018
Joint Workshops C3GI: 7th International Workshop on Computational Creativity, Concept Invention, and General Intelligence, ISD4: 4th Image Schema Day, and SCORE: From Image Schemas to Cognitive Robotics, TriCoLore 2018
Bozen-Bolzano
13 December 2018 through 15 December 201
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/2149108
 Attenzione

L'Ateneo sottopone a validazione solo i file PDF allegati

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact