Syntax and semantics for first-order logic , Computer Engineering

Syntax and Semanticsx and Semantics for First-order logic - artificial intelligence:

Propositional logic is limited  in its expressiveness: it may just represent true and false facts regarding  the world. By extending propositional logic to first order logic that also known as predicate logic and first order predicate logic that we enable ourselves to represent much more information regarding the world. Moreover, first-order logic enables us to reason about the world using rules of deduction.

We will think regarding first-order logic as easily a different language just like German or French. In order to give our agent information regarding the world we will need to be able to translate sentences from English to first order logic. We will also need to be able to translate sentences from first order logic into English so that we understand what our agent has deduced from the facts that we gave it. For doing this we will look at the combinations of symbols we are allowed to use in first -order logic (the syntax of the language). We will also determine how we assign meaning to the sentences in the language (the semantics), and how we translate from one to another, for example, English to Logic and vice-versa.

 

Posted Date: 10/2/2012 3:54:12 AM | Location : United States







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

Write discussion on Syntax and semantics for first-order logic
Your posts are moderated
Related Questions
With the help of R-2R binary network, explain the working of a 3-bit D/A converter and derive an expression for the output voltage. Ans: We see a 3-bit R-2R ladder D/A netwo

What is MASK OPERATION The mask operation is similar to selective-clear operation except which the bits of Aare cleared only where there are corresponding 0's in register B. th

Q. Feature of micro-instruction execution? Feature of micro-instruction execution is micro-instruction sequencing which involves address calculation of next micro-instruction.

Adavantages and disadvantages of compilers and interpreters

What is an Abstract Data Type (ADT)? Abstract data types or ADTs are a mathematical specification of a set of data and the set of operations that can be done on the data. They

This comes at the complication time, If we give the LOGO option to the compiler, it take a bitmap file (i.e., ) as logo previous to loading the Application.

Execution error and compilation error: Errors like as mismatch of data types or array out of bound error are called as execution errors or runtime errors. These errors are us

Interrupts are signals which cause the CPU to suspend the currently executing program and transfer to a special program known as an interrupt handler. Interrupt handler determines

How speech is transmitted in a digital switching environment using PCM/TDM? A digital carrier system is a communications system which uses digital pulses quite than analogue si

Q. Explain about Threads Model - programming model? In this model a single process can have many as well as concurrent execution paths. The main program is planned to run by na