Skip to main content
SpringerLink
Log in

Algorithmic Dependent-Type Theory of Situated Information and Context Assessments

  • Conference paper
  • First Online:
Distributed Computing and Artificial Intelligence, 19th International Conference (DCAI 2022)

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 583))

Abstract

The paper introduces an enriched formal language of information that establishes propositions dependent on situations and propositional types. The language supports structured data of situated information, which can be partial, parametric, and underspecified. Information can be associated with quantitative evaluations depending on situations. The formal terms can integrate propositional types of situated information with statistical and other quantitative evaluations. Structured content integrated with quantitative data facilitates development of new techniques for amalgamating logic representation of situated, propositional content with numerical data. Numerical data can be provided by techniques from mathematical statistics and probability.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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

Similar content being viewed by others

References

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

    Google Scholar 

  2. Loukanova, R.: Situation theory, situated information, and situated agents. In: Nguyen, N., et al. (eds.) Transactions on Computational Collective Intelligence XVII, Lecture Notes in Computer Science, vol. 8790, pp. 145–170. Springer, Berlin, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44994-3_8

  3. 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, Cambridge. https://www.cambridgescholars.com/product/978-1-4438-7947-7 (2017)

  4. Loukanova, R.: Computational syntax-semantics interface with type-theory of acyclic recursion for underspecified semantics. In: Osswald, R., Retoré, C., Sutton, P. (eds.) IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures. Proceedings of the Workshop, pp. 37–48. The Association for Computational Linguistics (ACL). https://www.aclweb.org/anthology/W19-1005 (2019)

  5. Loukanova, R.: Formalisation of situated dependent-type theory with underspecified assessments. In: Bucciarelli, E., et al. (eds.) Decision Economics. Designs, Models, and Techniques for Boundedly Rational Decisions. DCAI 2018. Advances in Intelligent Systems and Computing, vol. 805, pp. 49–56. Springer International Publishing, Cham (2019). https://doi.org/10.1007/978-3-319-99698-1_6

  6. Loukanova, R.: Gamma-reduction in type theory of acyclic recursion. Fundamenta Informaticae 170(4), 367–411 (2019). https://doi.org/10.3233/FI-2019-1867

    Article  MathSciNet  MATH  Google Scholar 

  7. Loukanova, R.: Gamma-star canonical forms in the type-theory of acyclic algorithms. In: van den Herik, J., Rocha, A.P. (eds.) Agents and Artificial Intelligence, pp. 383–407. Springer International Publishing, Cham (2019). https://doi.org/10.1007/978-3-030-05453-3_18

  8. Loukanova, R.: Type-theory of acyclic algorithms for models of consecutive binding of functional neuro-receptors. In: Grabowski, A., Loukanova, R., Schwarzweller, C. (eds.) AI Aspects in Reasoning, Languages, and Computation, vol. 889, pp. 1–48. Springer International Publishing, Cham (2020). https://doi.org/10.1007/978-3-030-41425-2_1

  9. Loukanova, R.: Type-theory of parametric algorithms with restricted computations. In: 17th International Conference on Distributed Computing and Artificial Intelligence, pp. 321–331. Springer International Publishing, Cham (2021). https://doi.org/10.1007/978-3-030-53036-5_35. Accessed 07 August 2020

  10. Moschovakis, Y.N.: The formal language of recursion. J. Symb. Logic 54(04), 1216–1252 (1989). https://doi.org/10.1017/S0022481200041086

    Article  MathSciNet  MATH  Google Scholar 

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

  12. Müller, S.: Grammatical theory: from transformational grammar to constraint-based approaches. No. 1 in Textbooks in Language Sciences, Language Science Press, Berlin (2020). https://doi.org/10.5281/zenodo.3992307. https://langsci-press.org/catalog/book/287

  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 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Acad. G. Bonchev Str., Block 8, 1113, Sofia, Bulgaria

    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. Hiroshima University, Hiroshima, Japan

    Sigeru Omatu

  2. King Abdulaziz University, Jeddah, Saudi Arabia

    Rashid Mehmood

  3. Kielce University of Technology, Kielce, Poland

    Pawel Sitek

  4. Palazzo Camponeschi, University of L'Aquila, L'Aquila, Italy

    Serafino Cicerone

  5. BISITE, Edificio I+D+i, University of Salamanca, Salamanca, Spain

    Sara Rodríguez

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Loukanova, R. (2023). Algorithmic Dependent-Type Theory of Situated Information and Context Assessments. In: Omatu, S., Mehmood, R., Sitek, P., Cicerone, S., Rodríguez, S. (eds) Distributed Computing and Artificial Intelligence, 19th International Conference. DCAI 2022. Lecture Notes in Networks and Systems, vol 583. Springer, Cham. https://doi.org/10.1007/978-3-031-20859-1_4

Download citation

Publish with us

Policies and ethics

Search

Navigation