First order predicate logic-artificial intelligence, Computer Engineering

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:

2361_First Order Predicate Logic.png

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







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
Related Questions
What is virtual memory? How address mapping is done in cache memory? Elaborate your answer with examples.

Nested Macro calls are expanded using the? Ans. By using the LIFO (Last in First out) Nested Macro calls are expanded.

Why SRAM are said to be volatile? Because their contents are lost when power is interrupted. So SRAM are said to be volatile.

Explain Recursive Descent Parsing It is a top down parsing with no backtracking. This parsing method uses a set of recursive processes to perform parsing. Most important advant

Current Pentium 4 based MPUs use Hyper-threading, but the next-generation cores, Woodcrest and Merom, Conroe will not. While some have alleged that this is because Hyper-threading

Q. Sequential Execution of Instructions in RISC? Let's describe pipelining in RISC with an illustration program execution sample. Take the given program (R denotes register).

Representation scheme in AI: • It's fairly trouble-free to represent knowledge in this way. It allows us to be expressive enough to represent largely knowledge, while being co

Example of the horizon problem: It is also worth bearing in mind the horizon problem, however a game-playing agent cannot see much far satisfactory into the search space. Now

Q. Benefits of Device controllers? Using device controllers for attaching I/O devices to a computer system in place of connecting them directly to system bus has subsequent ben

Approach to reasoning - first-order logic: The formal approach to reasoning has bigger return and disadvantages. In generally we notice, if a computer program has proved somet