Logic Tensor Networks / Mạng Tensor Logic

📖 Logic Tensor Networks

Definition (English):

Logic Tensor Networks (LTN) are a neuro-symbolic framework that integrates first-order logic with tensor-based neural computation. Logical formulas are translated into real-valued constraints using fuzzy logic semantics (t-norms). The framework supports both deductive reasoning (query answering) and inductive learning (parameter learning from data). LTN enables knowledge injection into neural networks via logical constraints.

📖 Mạng Tensor Logic

Định nghĩa (Tiếng Việt):

Mạng Tensor Logic (LTN) là khung neuro-symbolic tích hợp logic bậc nhất với tính toán tensor dựa trên nơ-ron. Các công thức logic được dịch thành ràng buộc giá trị thực sử dụng ngữ nghĩa logic mờ (t-norms). Khung hỗ trợ cả suy luận 演绎 (trả lời truy vấn) và học quy nạp (học tham số từ dữ liệu). LTN cho phép tiêm kiến thức vào mạng nơ-ron qua các ràng buộc logic.

📂 Phân loại: Neuro-Symbolic