A Formalization of Generalized Parameters in Situated Information

Roussanka Loukanova

2016

Abstract

The paper introduces a higher-order, type-theoretical formal language LST GP of information content that is partial, parametric, underspecified, dependent on situations, and recursive. The terms of the formal language represent situation-theoretic objects. The language has specialized terms for constrained computations by mutual recursion. It introduces terms representing nets of parameters that are simultaneously constrained to satisfy restrictions.

Paper Citation

in Harvard Style

Loukanova R. (2016). A Formalization of Generalized Parameters in Situated Information . In Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: PUaNLP, (ORG/PUANLP 2016) ISBN 978-989-758-172-4, pages 343-353. DOI: 10.5220/0005850303430353

in Bibtex Style

@conference{puanlp16,
author={Roussanka Loukanova},
title={A Formalization of Generalized Parameters in Situated Information},
booktitle={Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: PUaNLP, (ORG/PUANLP 2016)},
year={2016},
pages={343-353},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005850303430353},
isbn={978-989-758-172-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: PUaNLP, (ORG/PUANLP 2016)
TI - A Formalization of Generalized Parameters in Situated Information
SN - 978-989-758-172-4
AU - Loukanova R.
PY - 2016
SP - 343
EP - 353
DO - 10.5220/0005850303430353