Advertisement

Formalisation of Situated Dependent-Type Theory with Underspecified Assessments

  • Roussanka LoukanovaEmail author
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 805)

Abstract

We introduce a formal language of situated dependent-type theory, by extending its potentials for structured data that is integrated with quantitative assessments. The language has terms for situated information, which is partial and underspecified. The enriched formal language provides integration of a situated dependent-type theory with statistical and other approaches to machine learning techniques.

Keywords

Formal language Information Situations Partiality Memory variables Information polarity Underspecification 

References

  1. 1.
    Barwise, J.: Scenes and other situations. J. Philos. 78, 369–397 (1981)CrossRefGoogle Scholar
  2. 2.
    Barwise, J.: The Situation in Logic. No. 17 in CSLI Lecture Notes. CSLI Publications, Stanford, California (1989)Google Scholar
  3. 3.
    Barwise, J., Perry, J.: Situations and Attitudes. MIT Press, Cambridge (1983). republished as [4]zbMATHGoogle Scholar
  4. 4.
    Barwise, J., Perry, J.: Situations and Attitudes, The Hume Series. CSLI Publications, Stanford, California (1999)Google Scholar
  5. 5.
    Devlin, K.: Situation theory and situation semantics. In: Gabbay, D., Woods, J. (eds.) Handbook of the History of Logic, vol. 7, pp. 601–664. Elsevier (2008). http://web.stanford.edu/~kdevlin/Papers/HHL_SituationTheory.pdf
  6. 6.
    Loukanova, R.: Situation theory, situated information, and situated agents. In: Nguyen, N.T., Kowalczyk, R., Fred, A., Joaquim, F. (eds.) Transactions on Computational Collective Intelligence XVII, Lecture Notes in Computer Science, vol. 8790, pp. 145–170. Springer, Heidelberg (2014).  https://doi.org/10.1007/978-3-662-44994-3_8Google Scholar
  7. 7.
    Loukanova, R.: Underspecified relations with a formal language of situation theory. In: Loiseau, S., Filipe, J., Duval, B., van den Herik, J. (eds.) Proceedings of the 7th International Conference on Agents and Artificial Intelligence, vol. 1, pp. 298–309. SciTePress — Science and Technology Publications, Lda (2015).  https://doi.org/10.5220/0005353402980309
  8. 8.
    Loukanova, R.: Acyclic recursion with polymorphic types and underspecification. In: van den Herik, J., Filipe, J. (eds.) Proceedings of the 8th International Conference on Agents and Artificial Intelligence, vol. 2, pp. 392–399. SciTePress — Science and Technology Publications, Lda (2016).  https://doi.org/10.5220/0005749003920399
  9. 9.
    Loukanova, R.: Typed theory of situated information and its application to syntax-semantics of human language. In: Christiansen, H., Jiménez-López, M.D., Loukanova, R., Moss, L.S. (eds.) Partiality and Underspecification in Information, Languages, and Knowledge, pp. 151–188. Cambridge Scholars Publishing (2017)Google Scholar
  10. 10.
    Loukanova, R.: Gamma-star reduction in the type-theory of acyclic algorithms. In: Rocha, A.P., van den Herik, J. (eds.) Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018), vol. 2, pp. 231–242. INSTICC, SciTePress — Science and Technology Publications, Lda (2018).  https://doi.org/10.5220/0006662802310242
  11. 11.
    Moschovakis, Y.N.: The logic of functional recursion. In: Logic and Scientific Methods, pp. 179–207. Kluwer Academic Publishers/Springer (1997)Google Scholar
  12. 12.
    Moschovakis, Y.N.: A logical calculus of meaning and synonymy. Linguist. Philos. 29(1), 27–89 (2006).  https://doi.org/10.1007/s10988-005-6920-7CrossRefGoogle Scholar
  13. 13.
    Seligman, J., Moss, L.S.: Situation theory. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 253–329. Elsevier, Amsterdam (2011)CrossRefGoogle Scholar
  14. 14.
    Tin, E., Akman, V.: Information-oriented computation with BABY-SIT. In: Seligman, J., Westerståhl, D. (eds.) Logic, Language and Computation, vol. 1, pp. 19–34. No. 58 in CSLI Lecture Notes. CSLI Publications, Stanford (1996)Google Scholar
  15. 15.
    Tın, E., Akman, V.: Situated nonmonotonic temporal reasoning with baby-sit. AI Commun. 10(2), 93–109 (1997)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Stockholm UniversityStockholmSweden

Personalised recommendations