An online session of the Algebra and Logic Seminar will be held on June 24, 2022 (Friday) at 1:00 pm (UTC+3).

A talk on:

Dependent-Type Theory of Situated Information with Context Assessments

will be delivered by Roussanka Loukanova.

Abstract. I shall introduce an enriched formal language of information that establishes propositions dependent on situations and types. The types can be basic or complex. Complex propositional types are defined recursively. 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. Furthermore, information can be dynamically updated by integration with techniques of machine learning.

Join Zoom meeting:
https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09

Topic: Онлайн семинар на секция “Алгебра и логика”
Time: Jun 24, 2022 01:00 PM Sofia
Meeting ID: 851 3737 5021
Passcode: 035647

Algebra and Logic Department, IMI-BAS
http://www.math.bas.bg/algebra/seminarAiL/
============================== =====================