Topic: Predicate and propositional logic
My school is designing a robot for the upcoming DARPA challenge. I’m asking you to choose between predicate logic and propositional logic for the logical agent in our robot ( the software brain of the robot). What are the limitations and possible advantages of the predicate logic as opposed to propositional logic? Please provide one advantage and one disadvantage for each approach and briefly explain them.