Underspecified Relations with a Formal Language of Situation Theory

Roussanka Loukanova

2015

Abstract

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.

Paper Citation

in Harvard Style

Loukanova R. (2015). Underspecified Relations with a Formal Language of Situation Theory . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: PUaNLP, (ICAART 2015) ISBN 978-989-758-073-4, pages 298-309. DOI: 10.5220/0005353402980309

in Bibtex Style

@conference{puanlp15,
author={Roussanka Loukanova},
title={Underspecified Relations with a Formal Language of Situation Theory},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: PUaNLP, (ICAART 2015)},
year={2015},
pages={298-309},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005353402980309},
isbn={978-989-758-073-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: PUaNLP, (ICAART 2015)
TI - Underspecified Relations with a Formal Language of Situation Theory
SN - 978-989-758-073-4
AU - Loukanova R.
PY - 2015
SP - 298
EP - 309
DO - 10.5220/0005353402980309