Syntax and Semanticsx and Semantics for First-order logic - artificial intelligence:
Propositional logic is limited in its expressiveness: it may just represent true and false facts regarding the world. By extending propositional logic to first order logic that also known as predicate logic and first order predicate logic that we enable ourselves to represent much more information regarding the world. Moreover, first-order logic enables us to reason about the world using rules of deduction.
We will think regarding first-order logic as easily a different language just like German or French. In order to give our agent information regarding the world we will need to be able to translate sentences from English to first order logic. We will also need to be able to translate sentences from first order logic into English so that we understand what our agent has deduced from the facts that we gave it. For doing this we will look at the combinations of symbols we are allowed to use in first -order logic (the syntax of the language). We will also determine how we assign meaning to the sentences in the language (the semantics), and how we translate from one to another, for example, English to Logic and vice-versa.