Discussion
Why does greater expressiveness usually cost tractability?
Answer: B
Full first order logic can express almost anything but its entailment problem is only semidecidable, while a propositional or a restricted description logic gives decidable and often polynomial reasoning. Storage and readability are secondary. Designers therefore choose the least expressive language that says what must be said. That the difficulty of reasoning rises with what can be stated is the single most important fact about representation, and it shapes every language in the field.
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