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
Symbolic names can be associated with? Ans. With data or instruction symbolic names associated.

What are event and its types? An event is an occurrence at a point in time, like user depresses left button. Event happens instantaneously with regard to time scale. Type

Determine the quivalence Partitioning? The division of domain data into dissimilar equivalence data classes is performed using Equivalence Partitioning. It is executed for redu

Write a procedure which divides a 32-bit number by a 16-bit number. The procedure must be general which is it's defined in one module and can be called from another assembly module

Time synchronization is necessary in? Time synchronization is essential in TDM.

Adding Operations of describe function  Whenever take a look at the operations in OOPs you find queries about attributes or associations in object model (such as student.name)

How many ways can an argument be passed to a subroutine in programming? Ans)  An argument can be passed in two way in a programming language. They are Pass by Value and Passi

The main I/O used by micro controllers are the parallel ports , the 68HC11F1 has seven  8 bit ports namely Port A,B,C,D,E,F and G . The use of ports depends on the mode configurati

what is the theory used to check whether a number is negative or positive?

desing mode level counter starting at 0011 using D flipflop