ថ្នាក់និងបុគ្គលអាចត្រូវបានកំណត់ក្នុង 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] |