Example 1
Mike went to Tampa on a truck.
Semantically, Mike is the agent. Syntactically, it is the subject. Semantically, "went" is a change of location (Change-Location). "to Tampa" is the destination (to-loc). "on a truck" is the instrument. Mike is actually the scene because he caused the change of location himself.
Example 2
Mike went from Orlando to Tampa on a truck in the morning.
"Mike" = agent & scene
"from Orlando" = from-loc
"to Tampa" = to-loc
"in the morning" = at-time
Example 3
Mike studied at the library.
"Mike" = agent
"at the library" = at-loc and at-time
Example 4
Mike ate an apple in the evening.
"an apple" = theme
Example 5
The door broke.
"The door" = theme
The agent will be the one performing the action (a human or animal), while the theme will be the thing that undergoes the action.
Example 6
The plane crashed.
"The plane" = theme
The plane destroyed several houses.
"The plane" = inanimate cause
"several houses" = theme
So we have a new term, inanimate cause, which is like a theme but for inanimate objects.
Example 7
Mike studies at the library around the corner.
A*
A* is a best-first algorithm that is also optimal, insofar as the heuristic used is a good one. A best-first is a heuristic algorithm that uses a heuristic function to expand the nodes. It's a greedy algorithm that jumps all over the tree. If we can establish that a heuristic is admissible then that best-first algorithm becomes an A* algorithm.
Lisp
There are two functions in your notes which are very useful. The most trivial one (delete-last) takes a list of atoms and deletes the last one. It uses head recursion.
> (delete-last '(a b c d)) (a b c)
The other one (more complex) will get any atoms in a given tree. It uses tail and head recursion. (get-at)
More exam stuff
You may be asked to prove something using the GPS axioms or using resolution.
…
(P ∧ ¬ R) ∨ ¬ R
(P ∨ ¬ R) ∧ (¬Q ∨ ¬R)
Go over transferring simple English statements into predicate calculus. (e.g. Every student answered the questions).
I'm probably going to get an A in AI, in part, because your notes let me know what happened in the many classes I ended up missing. <3
I tried to leave you a tip, but it said that your account is unable to receive funds at the moment?
In any case, thank you for the hard work.
Posted by: Thomas Welfley | December 04, 2006 at 21:18