Seminaria w Instytucie Podstaw Informatyki PAN

Streszczenie (autorskie):

Multi-agent systems are increasingly used in applications where agents must make strategic decisions while considering properties that are important in human societies. In this talk, I will present our recent work on strategic reasoning about such properties in multi-agent systems. In particular, I will focus on privacy and opacity, fairness, and responsibility, including counterfactual responsibility attribution. We develop logical and quantitative frameworks that allow us to specify and verify these properties while accounting for agents’ strategic interactions, uncertainty, and system behaviours. I will discuss how formal verification can help answer questions such as: What information can an agent infer from observing others? Is an outcome fair across different agents? Who is responsible for an outcome, and how would the outcome change if an agent had acted differently? Through these examples, I will highlight how logic, strategic reasoning and formal verification can provide principled tools for building more trustworthy, transparent, fair, and responsible multi-agent AI systems.

Streszczenie (autorskie):

During the presentation, we will outline the objectives of the Universal Discourse project, which aims to create a universal, multilingual model for describing discursive relations. The theoretical basis for the work is the ISO 24617-8 standard, which serves as a starting point for the harmonisation of existing corpus resources. In the first part, we will discuss the issue of text segmentation into discursive units. We will present a comparative analysis of various formalisms (such as RST or PDTB) and our own rule-based heuristic, which demonstrates high consistency in determining the boundaries of units at the constituent sentence level. We will then present the proposed multi-layered model of relations. We will focus on a proprietary decision tree that allows for the systematic classification of semantic links (including causal, conditional and temporal links). Finally, we will present the current status of work on the development of discourse parsers and the results of our first experiments.