Syntax and semantics - first-order logic, Computer Engineering

Syntax and Semantics:

Propositional logic is prohibited in its expressiveness: so just to represent true and false facts for the world. By a type of extending propositional logic to first-order logic - is calling as predicate logic and first order predicate logic - we just enable ourselves to represent much more information about the world. Moreover, as we will notice in the subsequently lecture, first-order logic enables us to reason just for the world using rules of deduction.

We will worry that first-order logic as simply a complicated language, such French or German. We will require to be able to modulate sentences from English to first-order logic, in order to give our agent in sequence about the world. Rather then we will also need to be able to translate sentences from first-order logic into English, after that we understand what our agent has deduced from the facts we gave it. Hence to do this, we will look at the combinations of symbols we are allowed to use in first-order logic for the syntax of the language too. We will require also determine how we assign meaning to the sentences in the language (the semantics), and now how we translate from one language to another still like English to Logic and vice-versa.

Posted Date: 1/10/2013 5:16:48 AM | Location : United States

Related Discussions:- Syntax and semantics - first-order logic, Assignment Help, Ask Question on Syntax and semantics - first-order logic, Get Answer, Expert's Help, Syntax and semantics - first-order logic Discussions

Write discussion on Syntax and semantics - first-order logic
Your posts are moderated
Related Questions
Explain about the term business-to-customer. B2C (business-to-customer): "Electronic commerce" is usually understood mostly as selling goods or services to people ("last

Q. Explain Design of adder? Adders play one of the most significant roles in binary arithmetic. As a matter of fact fixed point addition is frequently used as a simple measure

Grid Computing means applying the resources of a lot of computers in a network simultaneously to a one problem for solving a scientific or a technical problem that needs a large nu

Question: (a) Explain clearly the difference between a Proposal and a Treatment for a video production project. (b) Explain clearly the difference between Narrative form an

What are threaded binary trees? A Threaded Binary Tree is a binary tree in which each node that does not have a right child has a THREAD (in real sense, a link) to its INORDER

Define about the Objects The object notation is the same in basic form as that for a class. There are three differences among the notations, these are given below: With

Operations of the Web mainly depend on hypertext as its means of interacting with users. But what is hypertext? Hypertext as such is the same as regular text that is it can be read

Q. Explain the following: a) Gray code b) Parity code c) Overflow Q. Give the counting up to 30 in Base 5. Q. Convert (175.6)8 into Gray code and Excess-3 code.

Creating Files for Writing Only Creating Files for Writing Only : To create a text file for writing only, pass "w" into fopen as the second argument. This example follows along

Multiprogramming is a rapid switching of the CPU back and forth among processes.