|
|
|
|
ساختارهای پیوسته در منطق پایه مرتبه اول (bl∀)
|
|
|
|
|
|
|
|
نویسنده
|
خاتمی محمد امین
|
|
منبع
|
سيستم هاي فازي و كاربردها - 1402 - دوره : 6 - شماره : 1 - صفحه:23 -47
|
|
چکیده
|
در منطق فازی مبتنی بر یک t-نرم پیوسته، تعبیر همه رابط‌‌های منطقی لزوماً پیوسته نمی‌باشند. اخیراً دو توپولوژی روی مجموعه‌های [0,1] و [0,1]^2 معرفی شده‌اند که تعبیر همه رابط‌‌های منطقی تحت این توپولوژی‌ها پیوسته می‌باشند. در این مقاله بعد از مطالعه بیشتر خواص این توپولوژی‌ها، با ایده گرفتن از منطق پیوسته مرتبه اول، منطق فازی مرتبه اول پیوسته مبتنی بر یک t-نرم پیوسته را معرفی می‌کنیم و نشان می‌دهیم تعبیر هر فرمول در این منطق، یک تابع پیوسته می‌باشد.
|
|
کلیدواژه
|
منطق پایه، t-نرم پیوسته، ساختارهای پیوسته، توپولوژی *-گوی باز، توپولوژی تشابه
|
|
آدرس
|
دانشگاه صنعتی بیرجند, گروه علوم کامپیوتر, ایران
|
|
پست الکترونیکی
|
khatami@birjandut.ac.ir
|
|
|
|
|
|
|
|
|
|
|
|
|
|
continuous structures in first-order basic logic
|
|
|
|
|
Authors
|
khatami mohammad amin
|
|
Abstract
|
the interpretation of logical connectives in continuous t-norm based fuzzy logics are not necessarily continuous. recently two topologies are introduced on the sets [0,1] and [0,1]^2 where the interpretation of all logical connective under these topologies are continuous. in this paper, firstly we study some of the properties of these topologies and then besides the ideas of the first-order continuous logic, we introduce first-order continuous fuzzy logic based on a continuous t-norms and finally it is shown that the interpretation of any formula in this logic is a continuous function.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|