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
Q. Advantages of using clusters? Parallel and distributed applications Decreased turnaround time Balanced loads Utilization of more powerful hosts Access to

Performance metrics aren't able to attain a linear curve in comparison to increase in number of processors in parallel computer. The main reason for above situation is presence of

What is a digital comparator? Ans: Digital Comparator: The comparison of two numbers is an operation which evaluates if one number is greater than, less than, or equival

As spring approaches, your design firm has been tasked with designing a two-lane highway in rural Wyoming. The highway descends a hill, crosses a river, and must shift to a para

Difference between Panel and Group Box classes? Panel & Group box both can used as container for other controls like radio buttons & check box. The dissimilarity in panel & gro

The syntax of the assembler directive EQU is ? Ans. The syntax of the assembler directive EQU is as given below: EQU

Eliminating hazards of pipeline -  computer architecture: We can delegate the work of eliminating data dependencies to the compiler, which can fill up in suitable number of NO

Q. What are the elements of an instruction? As the function of instruction is to communicate to CPU what to do it needs a minimum set of communication such as:  What op

What are different normalization forms? 1NF: Eliminate Repeating Groups Make a separate table for every set of related attributes, and give each table a primary key. Each fie

A sorting method which uses the binary tree concept such that label of any node is larger than all  the labels in the sub trees, is called A Sorting method which uses the binar