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
Give example of bus and memory transfer For example, the read operation for transfer of a memory unit M from address register AR to another data register DR can be illustrated

A ppropriate Problems for Decision Tree Learning - Artificial intelligence It is a expert job in AI to select accurately the right learning representation for a particular lea

Give the decription of user case A use case is a description of the set of the sequence of actions which a system performs to produce an observable result which is of a value t

What are the properties of electronic cash? Properties: 1. Monetary Value: Monetary value should be backed by bank certified cashier’s cheque or cash, bank authorized cred

IA-64 instead depends on the compiler for this task. Even before the program is fed into the CPU, the compiler studies the code and makes the similar sorts of decisions that would

Discuss the risks of having a single root user and how more limited management abilities can be given to others users on Linux/UNIX systems.uestion #Minimum 100 words accepted#

Q. What is Telnet explain? TELNET stands for TErminal NETwork. Telnet is both a protocol for connecting a local computer to a remote computer and a TCP/IP application. Telnet i

How would you kill a process? The "kill" command takes the PID as one argument; this signifies which process to terminate. The PID of a process can be got using "ps" command

Differentiate Traditional Commerce verses Electronics Commerce. Identity: Into traditional commerce customers can simply authenticate the identity of a merchant simply throug

what are the fundamental data structures