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
What does formal verification mean? Formal verification uses Mathematical techniques by proving the design by assertions or properties. Correctness of the design can be achiev

Define rotational latency and disk bandwidth. Rotational latency is the additional time waiting for the disk to rotate the desired sector to the disk head. The disk bandwidth i

What is Assembler A macro-assembler or assembler normally forms a part of operating system. That translates an assembly language program into machine language program.

Question: Read the following case study and answer the questions based on it. The local airline company needs to develop a system for controlling air traffic at the airport

Can a structure be used within a structure? Yes , a structure can be used within a structure known as nesting of structures.

Can we create a gui status in a program from the object browser? Yes.  You can make a GUI STATUS in a program using SET PF-STATUS.

What are controls? How to use them? Give examples for control. Controls are objects that can be placed in a form. The dissimilar controls are available in the Tool Box. After

How to pass data from list to report? ABAP/4 gives three ways of passing data: ---Passing data automatically using system fields ---Using statements in the program to tak

How the works do flowing related technologies influence e-business? Work Flow related Technologies influence e-business: Microsoft CRM automates internal business process