Propositional Logic
Example
Given the following, can you prove that the unicorn is
mythical ? How about magical ? Horned ?
If the unicorn is mythical, then it is immortal, but if it is not mythical,
then it is a mortal mammal. If the unicorn is either imm
Inverse kinematics of 6-DOF manipulator with three intersecting axes
1
2
3
4
Inverse kinematics of 6-DOF manipulator with three intersecting axes
.
1
2
3
.
4
Coordinate systems and transformations among them
ST
A6
T
1
S6
A5(q6)
6
A3 (q4,
6
A7
6
q5, q6)
S7
Chapter 6
Storage and other I/O topics
Dr. Eman Badr
Sections that we covered
Chapter 4
Chapter 5
4.1,4.2,4.3,4.4,4.5,4.6 (to page 358)
5.1,5.2,5.3
Chapter 6
6.1,6.2,6.3,6.4,6.5,6.6,6.9
The Big Picture
The five classic components of a computer
Processor
I
Logics
A logic is a triple L, S, R where
L, the logics language, is a class of sentences described by a
formal grammar.
S , the logics semantics is a formal specication of how to
assign meaning in the real world to the elements of L.
R, the logics inferen
Solving problems by
searching
CS Dep.
ISSR, Cairo University
fall 2011/2012
Introduction
Intelligent Agents are supposed
maximize their performance based
adopted goals.
The Agent generates sequences
actions to achieve its goal.
Construction
those
actio
Introduction to Articial Intelligence
Intelligent Agents
Dr.Ammar Mohammed Ammar
CS Dep.
ISSR, Cairo University
fall 2011/2012
Dr.Ammar Mohammed
AI: Lecture2
Agents
What is an agent ?
A generic agent
An agent is anything that can be viewed as perceiving i
Module Topics
Introduction to Articial Intelligence
CS511
Dr.Ammar Mohammed
CS Dep.
ISSR, Cairo University
ammar@cu.edu.eg
fall 2013
Dr.Ammar Mohammed
Introduction to AI
Module Topics
Contents
Introduction to AI.
Problem solving and (General and informed)
Informed search algorithms
Chapter 4
CS Dep.
ISSR, Cairo University
fall 2011/2012
Best-first search
Idea: use an evaluation function f(n) for each node
estimate of "desirability"
Expand most desirable unexpanded node
Implementation:
Order the nodes i
Lecture 8: First-order logic
First-order logic syntax
Semantics
Proof procedures
Recall: Propositional Logic
The good: Propositional logic is very simple!
Just facts (literals), usual logical connectives, inference is simple
The bad: Propositional lo
Inverse kinematics of 6-DOF manipulator with three intersecting axes
1
2
3
4
One has to understand that a single point could have dierent coordinates in diferent coordinate system. In certain
system the coordinates could be trivial, in other it shall be
c