Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules.
Vilém NovákPetra MurinováPublished in: Int. J. Approx. Reason. (2023)
Keyphrases
- verification method
- expert systems
- association rules
- data sets
- quantitative measures
- natural language
- face verification
- model checking
- human experts
- rule based systems
- logical rules
- consistency checking
- signature verification
- rule sets
- first order logic
- decision rules
- artificial neural networks
- case study
- search engine
- databases