Underspecified Relations with a Formal Language of Situation Theory
2015 (English)In: Proceedings of the 7th International Conference on Agents and Artificial Intelligence / [ed] Stephane Loiseau, Joaquim Filipe, Béatrice Duval, Jaap van den Herik, SciTePress, 2015, 298-309 p.Conference paper (Refereed)
The paper is an introduction to a formal language of Situation Theory. The language provides algorithmic processing of situated information. We introduce specialized, restricted variables that are recursively constrained to satisfy type-theoretic conditions by restrictions and algorithmic assignments. The restricted variables designate recursively connected networks of memory locations for `saving' parametric information that depends on situations and restrictions over objects. The formal definitions introduce richly informative typed language for classification and representation of underspecified, parametric, and partial information that is dependent on situations.
Place, publisher, year, edition, pages
SciTePress, 2015. 298-309 p.
formal language, situation theory, information, parametric information, partiality, situations, restrictions, memory variables
Mathematics Computer Science Language Technology (Computational Linguistics)
Research subject Mathematical Logic; Mathematics; Computing Science; Computer Science; Computational Linguistics; Information Systems
IdentifiersURN: urn:nbn:se:su:diva-126695DOI: 10.5220/0005353402980309ISBN: 978-989-758-073-4OAI: oai:DiVA.org:su-126695DiVA: diva2:902673
ICAART 2015, 7th International Conference on Agents and Artificial Intelligence, Lisbon, Portugal, 10-12 January, 2015