17/08/2026
Phòng thí nghiệm Công nghệ Tri thức trân trọng thông báo và kính mời tất cả các Thầy Cô, Anh Chị Nghiên cứu sinh, Học viên cao học và các em sinh viên tham gia buổi hội thảo khoa học với thông tin chi tiết như sau:
Chủ đề: From Graph Structure to Argumentation Semantics: A Dynamics-Based Analysis of Abstract Argumentation Frameworks (Từ cấu trúc đồ thị đến ngữ nghĩa lập luận: Phân tích các khung lập luận trừu tượng)
Thời gian: 15h00 thứ năm ngày 20/08/2026
Địa điểm: Phòng 405 E3
Abstract: Abstract argumentation frameworks represent conflicts between arguments as directed graphs, but the relationship between graph structure and semantic behavior is often difficult to identify directly. This talk presents a dynamics-based approach to the graphical analysis of abstract argumentation frameworks. By interpreting an argumentation framework through an associated discrete dynamical system, particularly a Boolean network, semantic objects can be studied using notions such as fixed points, attractors, and invariant regions. After introducing formal argumentation and the foundational framework proposed by Phan Minh Dung, I will formulate the general problem of graphical analysis: determining how structural properties of a graphical representation constrain or explain the possible semantic outcomes. I will then present the main correspondence underlying our approach, selected theoretical results, illustrative examples, and directions currently being developed toward a more systematic framework. (Các khung lập luận trừu tượng biểu diễn xung đột giữa các lập luận dưới dạng đồ thị có hướng, song mối liên hệ giữa cấu trúc đồ thị và hành vi ngữ nghĩa thường khó nhận diện một cách trực tiếp. Báo cáo này trình bày một tiếp cận dynamic cho việc phân tích đồ thị của các khung lập luận trừu tượng. Bằng cách diễn giải một khung lập luận thông qua hệ động lực rời rạc tương ứng, cụ thể là mạng Boolean, ta có thể nghiên cứu các đối tượng ngữ nghĩa bằng những khái niệm như điểm bất động, tập hút và miền bất biến. Giới thiệu về lập luận hình thức và khung nền tảng và phát biểu bài toán tổng quát của phân tích đồ thị: xác định xem các tính chất cấu trúc của một biểu diễn đồ thị ràng buộc hoặc lý giải các kết quả ngữ nghĩa khả dĩ như thế nào. Seminar sẽ trình bày nền tảng phương pháp tiếp cận, một số kết quả lý thuyết chọn lọc, các ví dụ minh họa, cùng những hướng đang được phát triển nhằm tiến tới một khung lý thuyết có hệ thống hơn.)
Presenter Information:
Dr. Van-Giang Trinh is currently a lecturer and researcher at the Faculty of Computer Science and Engineering, Ho Chi Minh City University of Technology (HCMUT), Vietnam National University Ho Chi Minh City. He received his Ph.D. in Information Science from the Japan Advanced Institute of Science and Technology (JAIST) in 2021. From April 2022 to September 2024, he was a postdoctoral researcher with the LIRICA team at the LIS Laboratory, Aix-Marseille University, France. From October 2024 to August 2025, he continued his postdoctoral research with the LIFEWARE team at Inria Saclay, France. His research lies at the intersection of computational logic and discrete dynamical systems, with a focus on logical and dynamical models such as Boolean networks, Petri nets, formal argumentation, and answer set programming. His work aims to develop theoretical foundations and computational methods for symbolic artificial intelligence, while also applying logical models and discrete dynamical systems to computational systems biology, particularly to the analysis and control of complex biological systems.
Rất mong sự tham gia của các Thầy Cô, Anh Chị và các em để buổi hội thảo thêm phần thành công và ý nghĩa.