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
Propositional Inference Rules -Artificial intelligence : Equivalence rules are specifically useful because of the vice-versa aspect,that means we can discover forwards andbackw

? Actor: Actor shows an external user / end user who interact with the system. ? Object: Object is shown by one of components of the system. ? Unit: A unit is a subsystem, o

Define bus. When a word of data is transferred among units, all the bits are transferred in parallel over a set of lines called bus. In addition to the lines that take the data

Q. How to Apply Color and Style? 1.  In first text description layout cell, select heading text from the word "Fly" through the word "Mountains." 2.  In Property inspector,

Q. Show the instruction execution by using the micro-operations? A simple instruction can require: Instruction fetch: fetching instructions from the memory. Instruc


Explain CGI standard. The CGI Standard: Technology utilized for building dynamic web documents is termed as Common Gateway Interface (CGI). The CGI standard gives how a serv

In IP addressing scheme, class used for multicasting is: A class used for multicasting in IP addressing scheme is class D.

Q. Explain what is Internal Modems ? Internal Modems: Internal Modems plug in expansion slots in your PC. Internal Modems are efficient andcheap. Internal Modems are bus-specif

Q. The work function of a metal surface is 6.626 X 10-19 joule. Compute the frequency of the radiation? Work function                                     W = hγ o The fre