Skip to main content
SpringerLink
Log in

Formalisation of Situated Dependent-Type Theory with Underspecified Assessments

  • Conference paper
  • First Online:
Decision Economics. Designs, Models, and Techniques for Boundedly Rational Decisions (DCAI 2018)

Part of the book series: Advances in Intelligent Systems and Computing ((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.

This research has been supported, by covering my participation in DCAI 2018, by the Ministerio de Economía y Competitividad and the Fondo Europeo de Desarrollo Regional under the project number FFI2015-69978-P (MINECO/FEDER, UE) of the Programa Estatal de Fomento de la Investigación Científica y Técnica de Excelencia, Subprograma Estatal de Generación de Conocimiento.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Barwise, J.: Scenes and other situations. J. Philos. 78, 369–397 (1981)

    Article  Google Scholar 

  2. Barwise, J.: The Situation in Logic. No. 17 in CSLI Lecture Notes. CSLI Publications, Stanford, California (1989)

    Google Scholar 

  3. Barwise, J., Perry, J.: Situations and Attitudes. MIT Press, Cambridge (1983). republished as [4]

    MATH  Google Scholar 

  4. Barwise, J., Perry, J.: Situations and Attitudes, The Hume Series. CSLI Publications, Stanford, California (1999)

    Google Scholar 

  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. 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_8

    Google Scholar 

  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. 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. 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. 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. Moschovakis, Y.N.: The logic of functional recursion. In: Logic and Scientific Methods, pp. 179–207. Kluwer Academic Publishers/Springer (1997)

    Google Scholar 

  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-7

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Tın, E., Akman, V.: Situated nonmonotonic temporal reasoning with baby-sit. AI Commun. 10(2), 93–109 (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Stockholm University, Stockholm, Sweden

    Roussanka Loukanova

Authors
  1. Roussanka Loukanova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Roussanka Loukanova .

Editor information

Editors and Affiliations

  1. Department of Philosophical, Pedagogical and Economic-Quantitative Sciences, Section of Economics and Quantitative Methods, University of Chieti-Pescara, Pescara, Italy

    Edgardo Bucciarelli

  2. AI-ECON Research Center - Department of Economics, National Chengchi University, Taipei, Taiwan

    Shu-Heng Chen

  3. Departamento de Informática y Automática, Universidad de Salamanca, Salamanca, Spain

    Juan Manuel Corchado

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Loukanova, R. (2019). Formalisation of Situated Dependent-Type Theory with Underspecified Assessments. In: Bucciarelli, E., Chen, SH., Corchado, J. (eds) Decision Economics. Designs, Models, and Techniques for Boundedly Rational Decisions. DCAI 2018. Advances in Intelligent Systems and Computing, vol 805. Springer, Cham. https://doi.org/10.1007/978-3-319-99698-1_6

Download citation

Publish with us

Policies and ethics

Search

Navigation