Hướng dẫn sử dụng

An Efficient Algorithm for Representing Piecewise Linear Functions into Logic

Loại tài liệu: Tài liệu số - Artical

Thông tin trách nhiệm: Preto, Sandro; Finger, Marcelo

Nhà Xuất Bản: Elsevier

Năm Xuất Bản: 2020

Chia sẻ
(Tải app tại đây để đọc sách)

Tóm tắt

Rational McNaughton functions may be implicitly represented by logical formulas in Lukasiewicz Infinitely-valued Logic by constraining the set of valuations to the ones that satisfy some specific formulas. This work investigates this implicit representation called representation modulo satisfiability and describes a polynomial algorithm that builds it — the representative formula and the constraining ones — for a given rational McNaughton function.

Ngôn ngữ:en
Thông tin trách nhiệm:Preto, Sandro; Finger, Marcelo
Thông tin nhan đề:An Efficient Algorithm for Representing Piecewise Linear Functions into Logic
Nhà Xuất Bản:Elsevier
Loại hình:Artical
Bản quyền:© 2020 The Author(s). Published by Elsevier B.V.
Mô tả vật lý:20 p.
Năm Xuất Bản:2020

(Sử dụng ứng dụng VNU- LIC quét QRCode này để mượn tài liệu)

(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "VNU LIC”)

  • Chủ đề
TÀI NGUYÊN KHÁC