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.

References

  1. Aczel, P. (1988). Non-well-founded Sets. Number 14 in CSLI Lecture Notes. CSLI Publications, Stanford, California.
  2. Barwise, J. (1981). Scenes and other situations. The Journal of Philosophy, 78:369-397.
  3. Barwise, J. (1989). The Situation in Logic. Number 17 in CSLI Lecture Notes. CSLI Publications, Stanford, California.
  4. Barwise, J. and Perry, J. (1983). Situations and Attitudes. Cambridge, MA:MIT press. Republished as (Barwise and Perry, 1999).
  5. Barwise, J. and Perry, J. (1999). Situations and Attitudes. The Hume Series. CSLI Publications, Stanford, California.
  6. Chomsky, N. (1993). Lectures on government and binding: The Pisa lectures. Number 9 in Studies in generative grammar. Walter de Gruyter.
  7. Devlin, K. (2008). Situation theory and situation semantics. In Gabbay, D. and Woods, J., editors, Handbook of the History of Logic, volume 7, pages 601-664. Elsevier.
  8. Dowty, D. (1979). Word Meaning and Montague Grammar. D. Reidel, Dordrecht, Holland.
  9. Jaworski, W. and Przepórkowski, A. (2014). Semantic roles in grammar engineering. In Proceedings of the Third Joint Conference on Lexical and Computational Semantics (*SEM 2014), pages 81-86, Dublin, Ireland. Association for Computational Linguistics and Dublin City University.
  10. Kandel, E., Schwartz, J., and Jessell, T. (2000). Principles of neural science. McGraw-Hill, Health Professions Division.
  11. Loukanova, R. (2010). Computational Syntax-Semantics Interface. In Bel-Enguix, G. and Jiménez-López, M. D., editors, Language as a Complex System: Interdisciplinary Approaches, pages 111-150. Cambridge Scholars Publishing.
  12. Loukanova, R. (2014). Situation Theory, Situated Information, and Situated Agents. In Nguyen, N. T., Kowalczyk, R., Fred, A., and Joaquim, F., editors, Transactions on Computational Collective Intelligence XVII, volume 8790 of Lecture Notes in Computer Science, pages 145-170. Springer Berlin Heidelberg.
  13. Loukanova, R. (2015). Underspecified Relations with a Formal Language of Situation Theory. In Loiseau, S., Filipe, J., Duval, B., and van den Herik, J., editors, Proceedings of the 7th International Conference on Agents and Artificial Intelligence , volume 1, pages 298-309. SCITEPRESS - Science and Technology Publications, Lda.
  14. Moschovakis, Y. N. (2006). A logical calculus of meaning and synonymy. Linguistics and Philosophy, 29:27-89.
  15. Seligman, J. and Moss, L. S. (2011). Situation Theory. In van Benthem, J. and ter Meulen, A., editors, Handbook of Logic and Language, pages 253-329. Elsevier, Amsterdam.
  16. Squire, L. and Kandel, E. (2009). Memory: From Mind to Molecules. Roberts & Co.
Download


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