Discussion
What is an ontology of inference methods by completeness?
Answer: B
Systematic search with propagation can exhaust the space and prove no solution exists, while local search samples and can only succeed or give up. Incomplete methods are generally sound: what they find is genuinely a solution. Speed varies by instance and completeness is quite distinct from soundness. Classifying a method by what may be concluded from its failure, rather than by its success rate, is what decides whether it suits a verification task.
No comment is present. Be the first to comment.
Loading…
Post your comment
Please log in or register to post a comment.
Examination Categories
- SSC Exams
- Banking Exams
- Teaching Exams
- Civil Services Exams
- Railways Exams
- Engineering Recruitment Exams
- Defence Exams
- State Government Exams
- Police Exams
- Insurance Exams
- Nursing Exams
- Other Government Exams
- NRA CET
- PG Entrance Exams
- Campus Placement
- MBA Entrance Exams
- CUET and UG Entrance
- Judiciary Exams
- Regulatory Body Exams
- Software Development