Change search
ReferencesLink to record
Permanent link

Direct link
Underspecified Relations with a Formal Language of Situation Theory
Stockholm University, Faculty of Science, Department of Mathematics.ORCID iD: 0000-0001-9678-955X
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)
Abstract [en]

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.
Keyword [en]
formal language, situation theory, information, parametric information, partiality, situations, restrictions, memory variables
National Category
Mathematics Computer Science Language Technology (Computational Linguistics)
Research subject
Mathematical Logic; Mathematics; Computing Science; Computer Science; Computational Linguistics; Information Systems
URN: urn:nbn:se:su:diva-126695DOI: 10.5220/0005353402980309ISBN: 978-989-758-073-4OAI: diva2:902673
ICAART 2015, 7th International Conference on Agents and Artificial Intelligence, Lisbon, Portugal, 10-12 January, 2015
Available from: 2016-02-11 Created: 2016-02-11 Last updated: 2016-02-15Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Loukanova, Roussanka
By organisation
Department of Mathematics
MathematicsComputer ScienceLanguage Technology (Computational Linguistics)

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 6 hits
ReferencesLink to record
Permanent link

Direct link