First Order Predicate Logic

This is a more expressive logic because it builds on propositional logic by allowing us to use constants, predicates, variables, quantifiers and functions in addition to the connectives we've already seen. For in case the sentence: "Every Monday and Wednesday I go to John's house for dinner" can be written in first order predicate logic as:

Here, the symbols quantifiers Monday, Wednesday, me, dinner and john are all constants: base-level objects in the world about which we want to talk. The symbols, go_to, day_of_week and eat_meal are predicates that represent relationships among  the  arguments  which  appear  inside  the  brackets.  For an example in eat_meal, the relationship specifies that a person (first argument) eats a specific  meal (second argument). In this situation, we have represented the fact that me eats dinner. The symbol X is a variable, which may take on a range of values. This make us able  to be more expressive, and we can quantify X with the, in particular 'forall' symbol   , so that our sentence of predicate logic talks about all possible X's. Finally, the symbol house_of is a function, and - if we can - we are expected to replace house_of(john) with the output of the function (john's house) given the input to the function (john).

The semantics and syntax of predicate logic are covered in more detail as part of the lectures on automated reasoning.

Posted Date: 10/2/2012 3:22:35 AM | Location : United States

Ask an Expert

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

Write discussion on First order predicate logic-artificial intelligence
Your posts are moderated

Write your message here..

Related Questions

Mutation - canonical genetic algorithm, Mutation: However it may appea... Mutation: However it may appear that the above recombinations are a little arbitrary that especially as points defining whether crossover and inversion occur are chosen random

How can we resize layout cells, Q. How can we Resize Layout Cells? To p... Q. How can we Resize Layout Cells? To precisely design a page, you can set size of cells you add in a document. You can reposition cells in the page as well. 1.      Click o

Meaning of every field in mips instruction, Q. Meaning of every field in MI... Q. Meaning of every field in MIPS instruction? The meaning of every field in MIPS instruction is given below: op: operation code or opcode rs: First register source

Calculate the complexity of sorting algorithms, How do you calculate the co... How do you calculate the complexity of sorting algorithms? Find the complexity of Insertion sort and Bubble Sort.                 The difficulty of sorting algorithms depends o

Defined for one match code object, What is the max no of match code Id's th... What is the max no of match code Id's that can be defined for one Match code object? A match code Id is a single character ID that can be a letter or a number.

What are different queues used, 1.Local queue -is a actual queue 2.Clus... 1.Local queue -is a actual queue 2.Cluster queue -is a local queue that is called as throughout a cluster of queue managers 3. Remote queue -structure explaining a queue

Translation table encryption technique to secure transaction, Discuss about... Discuss about Translation table encryption technique to ensure secured transactions onto the net? Translation table: In this process each chunk of data is used like an of

C++, pebble merchant pebble merchant

Difference between finite automata and turing machine, What are the differe... What are the difference between finite automata and Turing Machines?  Turing machine can alter symbols on its tape, while the FA cannot change symbols on tape.  Also  TM  has  a

Software engineering, prototype model prototype model