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
Q. What you mean by organizational effectiveness? Organizational effectiveness is measured in terms of productivity, structural flexibility, Employee involvement and Job satisf

Explain difference between Dynamic and static binding. Dynamic and static binding: Dynamic binding is a binding performed after the execution of a program has immediately beg

What is a thread? A thread otherwise called a lightweight process (LWP) is a basic unit of CPU utilization, it comprises of a thread id, a program counter, a register set and a

Q.What do you mean by Parallel virtual machine? PVM is essentially a simulation of a computer machine running parallel programs. It is a software package which allows a heterog

a. What are the differences among conventional signatures and digital signatures? Write a short note on "Attacks on digital signature". b. What is Public-Key Infrastructures

Advanced aspects of assembly language programming in this section. A number of these aspects give assembly an edge over high level language programming as far as efficiency is conc

Does swapping increase the Operating Systems' overheads? Justify your answer. A process can be swapped out temporarily of memory to a backing store and after that brought back

Uniform Path Cost Search - artificial intelligence: A breadth first search will find the solution with the shortest path length from the initial state to the goal state. In fa

Explain the importance of computer architecture Studying the architecture implies working on machine language programs. However, this isn't practical when we design a computer