Artificial Intelligence207810 marksPredicate Logic
Consider following facts: Every traffic chases driver. Every driver who horns is smart. No traffic catches any smart driver. Any traffic who chases some driver but does not catch him frusted. Now configure FoPL knowledge base for above statements. Use resolution algorithm to draw a conclusion that “
Consider following facts: Every traffic chases driver. Every driver who horns is smart. No traffic catches any smart driver. Any traffic who chases some driver but does not catch him frusted. Now configure FoPL knowledge base for above statements. Use resolution algorithm to draw a conclusion that “If all drivers horn, then all traffics are frusted.”[10]
Let us define the predicates: - Traffic(x) : x is a traffic - Driver(x) : x is a driver - Horns(x) : x horns - Smart(x) : x is smart - Chases(x, y) : x chases y - Catches(x, y) : x catches y - Frustrated(x) : x is frustrated --- Natural Language Statement FoPL Formula --------- F1 Every traffic c...