ជា​សមាជិក : ចូល |ចុះឈ្មោះ |ចំណេះ​ដឹង​ការ​ផ្ទុក​ឡើង
ស្វែងរក​សម្រាប់
F - តក្ក
1.ទិដ្ឋភាពទូទៅ
2.អ៊ីហ្វ្រេសឡូជីខល [កែប្រែ ]
ថ្នាក់និងបុគ្គលអាចត្រូវបានកំណត់ក្នុង F-logic ដូចខាងក្រោម

បុរស :: មនុស្ស។
ស្ត្រី :: មនុស្ស។
brad: បុរស។
Angelina: ស្ត្រី។

រដ្ឋនេះនិយាយថា "បុរសនិងស្ត្រីគឺជាមនុស្ស" ហើយថា "Brad គឺជាបុរស" និង "Angelina គឺជាស្ត្រី" ។
សេចក្តីថ្លែងអំពីថ្នាក់និងបុគ្គលអាចត្រូវបានធ្វើឡើងដូចខាងក្រោម

មនុស្ស [hasSon => បុរស] ។
brad [hasSon -> {maddox, pax}] ។
រៀបការ (brad, angelina) ។

នេះកំណត់ថា "កូនប្រុសរបស់មនុស្សម្នាក់គឺជាបុរស" "Maddox និង Pax គឺជាកូនប្រុសរបស់លោក Brad" និង "Brad និង Angelina រៀបការ" ។
លើសពីនេះទៀតវាអាចធ្វើទៅបានដើម្បីតំណាងឱ្យ axioms នៅក្នុង F-logic តាមលក្ខណៈដូចខាងក្រោម

បុរស (X) Y] X] ។

ទាំងនេះមានន័យថា "X គឺជាបុរសប្រសិនបើ X ជាមនុស្សម្នាក់ប៉ុន្តែមិនមែនជាស្រី" ហើយ "ប្រសិនបើ X ជាកូនប្រុសនៃ Y នោះ X គឺជាបុគ្គលហើយ Y គឺជាឪពុករបស់ X" ។
ប្រព័ន្ធ Flora-2 បានណែនាំពីចំនួននៃការផ្លាស់ប្តូរនៃវាក្យសម្ព័ន្ធរបស់ F-logic ដែលធ្វើឱ្យវាកាន់តែសមស្របសម្រាប់ការបង្ហាញចំណេះដឹងនិងប្រព័ន្ធហេតុផលជាការផ្ទុយទៅនឹងតក្កវិជ្ជាតែប៉ុណ្ណោះ។ ជាពិសេស, អថេរត្រូវបានដាក់បុព្វបទដោយសញ្ញាសម្គាល់, ភាពខុសគ្នារវាងលក្ខណៈសម្បត្តិដែលមានមុខងារនិងមានតម្លៃច្រើនត្រូវបានទម្លាក់និងជំនួសដោយឧបសគ្គខួបឯករាជ្យរួមទាំងការផ្លាស់ប្តូរដ៏សំខាន់ផ្សេងទៀត។ ឧទាហរណ៍ឃ្លាខាងលើមានឃ្លាដូចនេះក្នុង Flora-2:

បុរស (? X)? Y]? X] ។

នៅទីនេះ \ naf គឺជា negation លំនាំដើម ("naf" តំណាងឱ្យ negation-as-failure ដោយផ្អែកលើ semantics ដែលបានបង្កើតឡើង) ។ Flora-2 ក៏គាំទ្រនូវអ្វីដែលហៅថាអវិជ្ជមានជាក់ស្តែងដែលជិតទៅនឹងការបដិសេធនៅក្នុងតក្កវិជ្ជាបុរាណ។
[ផ្ល័រ -2]
3.ភាសាផ្អែកតាមតក្កវិទ្យា
[ផ្ទុក​ឡើង ច្រើន​ទៀត មាតិកា ]


រក្សាសិទ្ធិ @2018 Lxjkh