Underspecified Relations with a Formal Language of Situation Theory

Roussanka Loukanova

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.

References

  1. Barwise, J. (1981). Scenes and other situations. Journal of Philosophy, 78:369-397.
  2. Barwise, J. and Etchemendy, J. (1995). The Liar: An Essay on Truth and Circularity. Oxford University Press.
  3. Barwise, J. and Moss, L. (1996). Vicious Circles. 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. Copestake, A., Flickinger, D., Pollard, C., and Sag, I. (2005). Minimal recursion semantics: an introduction. Research on Language and Computation, 3:281-332.
  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. Ginzburg, J. and Sag, I. A. (2000). Interrogative Investigations: The Form, Meaning, and Use of English Interrogatives. CSLI Publications, Stanford, California.
  9. Loukanova, R. (2001). Russellian and strawsonian definite descriptions in situation semantics. In Gelbukh, A., editor, Computational Linguistics and Intelligent Text Processing, volume 2004 of Lecture Notes in Computer Science, pages 69-79. Springer Berlin / Heidelberg.
  10. Loukanova, R. (2002a). Generalized quantification in situation semantics. In Gelbukh, A., editor, Computational Linguistics and Intelligent Text Processing, volume 2276 of Lecture Notes in Computer Science, pages 46-57. Springer Berlin / Heidelberg.
  11. Loukanova, R. (2002b). Quantification and intensionality in situation semantics. In Gelbukh, A., editor, Computational Linguistics and Intelligent Text Processing, volume 2276 of Lecture Notes in Computer Science, pages 32-45. Springer Berlin / Heidelberg.
  12. 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.
  13. Loukanova, R. (2011). Syntax-Semantics Interface for Lexical Inflection with the Language of Acyclic Recursion. In Bel-Enguix, G., Dahl, V., and JiménezL ópez, M. D., editors, Biology, Computation and Linguistics - New Interdisciplinary Paradigms, volume 228 of Frontiers in Artificial Intelligence and Applications, pages 215-236. IOS Press, Amsterdam; Berlin; Tokyo; Washington, DC.
  14. Loukanova, R. (2013a). Algorithmic Granularity with Constraints. In Imamura, K., Usui, S., Shirao, T., Kasamatsu, T., Schwabe, L., and Zhong, N., editors, Brain and Health Informatics, volume 8211 of Lecture Notes in Computer Science, pages 399-408. Springer International Publishing.
  15. Loukanova, R. (2013b). Algorithmic Semantics for Processing Pronominal Verbal Phrases. In Larsen, H. L., Martin-Bautista, M. J., Vila, M. A., Andreasen, T., and Christiansen, H., editors, Flexible Query Answering Systems, volume 8132 of Lecture Notes in Computer Science, pages 164-175. Springer Berlin Heidelberg.
  16. Loukanova, R. (2013c). Situated Agents in Linguistic Contexts. In Filipe, J. and Fred, A., editors, Proceedings of the 5th International Conference on Agents and Artificial Intelligence, volume 1, pages 494-503, Barcelona, Spain. SciTePress - Science and Technology Publications.
  17. Loukanova, R. (2014). Situation Theory, Situated Information, and Situated Agents. Transactions on Computational Collective Intelligence (TCCI) Journal, TCCI XVII 2014, LNCS 8790.
  18. Loukanova, R. (2015). Higher-order Theory of Recursion and Situation Theory - present and future potentials. Forthcoming.
  19. Martin-L öf, P. (1984). Intuitionistic Type Theory. Bibliopolis, Napoli.
  20. Moschovakis, Y. N. (2006). A logical calculus of meaning and synonymy. Linguistics and Philosophy, 29:27-89.
  21. Rathjen, M. (2004). Predicativity, circularity, and antifoundation. In Link, G., editor, One hundred years of Russelll's paradox (De Gruyter Series in Logic and Its Applications), volume 6, pages 191-219. Walter de Gruyter, Berlin, New York.
  22. 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.
  23. Tin, E. and Akman, V. (1994). BABY-SIT: Towards a situation-theoretic computational environment. Current Issues in Mathematical Linguistics, North-Holland Linguistic Series, 56:299-308.
  24. Tin, E. and Akman, V. (1996). Information-oriented computation with BABY-SIT. In Seligman, J. and Westersta°hl, D., editors, Logic, Language and Computation, Volume 1, number 58 in CSLI Lecture Notes, pages 19-34. CSLI Publications, Stanford.
  25. Tin, E., Akman, V., and Ersan, M. (1995). Towards Situation-oriented Programming Languages. SIGPLAN Notices, 30(1):27-36.
  26. Univalent Foundations Program, T. (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. http://homotopytypetheory.org/book, Institute for Advanced Study.
  27. Van Lambalgen, M. and Hamm, F. (2004). The Proper Treatment Of Events. Explorations in Semantics. Wiley-Blackwell, Oxford.
Download


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