Higher order predicate logic - artificial intelligence, Computer Engineering

Higher Order Predicate Logic:

In first order predicate logic, we are allowed to quantify over objects only. If we let  ourselves  to  quantify  over  predicate  or  function  symbols,  afterthat  we  have moved up to the more expressive higher order predicate logic. This means that we are representing meta-level information regarding our knowledge, such as "For all the functions we havespecified, they return the number 10 if the number 7 is the input given":

2397_Higher Order Predicate Logic.pngf, (f(7) = 10).

Multiple valued logics, where different truth value such as "unknown" is allowed. These have some o advantages of fuzzy logics, without essential worrying about probability.

Modal logics,  which cater for particular agents' beliefs regarding the world. For intended, one agent could trust that a certain statement is true, but another cannot. Modal logics help deal with statements that can be believed to be true to some, but not all agents.

Temporal logics, which make us able  to write sentences involving considerations of time, for an  example that a statement may become true sometime in the future.

Posted Date: 10/2/2012 3:27:17 AM | Location : United States







Related Discussions:- Higher order predicate logic - artificial intelligence, Assignment Help, Ask Question on Higher order predicate logic - artificial intelligence, Get Answer, Expert's Help, Higher order predicate logic - artificial intelligence Discussions

Write discussion on Higher order predicate logic - artificial intelligence
Your posts are moderated
Related Questions
Arithmetic Pipelines The technique of pipelining can be applied to various complex and low arithmetic operations to speed up processing time. Pipelines used for arithmetic calc

Define Terminal symbols? Terminal symbols: These are literal strings forming the input of a formal grammar and can't be broken down in slighter units without losing literal m

Strong AI makes the bold claim that computers can be made to think on a level (at least) equivalent to humans. Weak AI only states that some "thinking-like" features can be added t

Question : a) Visual communication was first developed in pre-history. Write short notes on the following terms: i. Geoglyph ii. Petroglyphs b) Briefly describe the p

Generic Techniques Developed: In the pursuit of solutions to various problems in the above categories, various individual fundamental techniques have sprung up which have been

Q. Describe Memory and Memory unit? Input devices can fetch instructions or data only sequentially though a program may or may not be executed sequentially because looping, jum

Q. Why we need number systems? Number system is used to signify information in quantitative form. Some of the general number systems are octal, decimal, hexadecimal and binary.

Efficiency of Vector Processing over Scalar Processing As we know a serial computer processes single scalar operands at a time. So if we have to process a vector of length 'n'

Compare and contrast POP e-mail to Web-based e-mail systems in terms of control, security, and accessibility.

Difference between the fork -join and begin-end. The fork - join keywords: Groups several statements together.Cause statements to be evaluated in parallel (all at the same