Ainotes Module4 Parta
Ainotes Module4 Parta
Individual semantic networks and frame systems may have specialized links and inference
procedures, but no hard and fast rules about what kinds of objects and links are good in general
for knowledge representation.
It is the theory of how to represent the kind of knowledge about events that is usually contained
in natural language sentences. The goal is to represent the knowledge in a way that
Facilitates drawing inferences from the sentences.
Is independent of the language in which the sentences are originally stated.
CD provides a structure into which nodes representing information can be placed a specific set of
primitives at a given level of granularity.
A second set of CD building blocks is the set of allowable dependencies among the
conceptualizations described in a sentence. There are 4 primitive conceptual categories from
which dependency structures can be built.
describes the relationship between two PPs, one of which belongs to the set
defined by the other.
describes the relationship between a PP and an attribute that has already been
predicated of it. The direction of the arrow is toward the PP being described.
describes the relationship between two PPs, one of which provides a particular
kind of information about the other. The three most common types of information to be
provided in this way are
o possession (shown as POSS-BY),
o location (shown as LOC) and
o physical containment (shown as CONT).
The direction of the arrow is again toward the concept being described.
describes the relationship between an ACT and the PP that is the object of that
ACT. The direction of the arrow is toward the ACT since the context of the specific ACT
determines the meaning of the object relation.
describes the relationship between an ACT and the source and the recipient of the
ACT.
describes the relationship between an ACT and the instrument with which it is
performed. The instrument must always be a full conceptualization (i.e., it must contain
an ACT), not just a single physical object.
describes the relationship between an ACT and its physical source and destination.
represents the relationship between a PP and a state in which it started and
another in which it ended.
describes the relationship between one conceptualization and another that causes
it. Notice that the arrows indicate dependency of one conceptualization on another and
so point in the opposite direction of the implication arrows. The two forms of the rule
describe the cause of an action and the cause of a state change.
describes the relationship between a conceptualization and the time at which the
event it describes occurred.
describes the relationship between one conceptualization and another that is the
time of the first. The example for this rule also shows how CD exploits a model of the
human information processing system.
describes relationship between a conceptualization and the place at which it
occurred.
( ) -- model
natural language understanding.
( ) -- Scripts to understand stories. See next section.
( ) -- Scripts to understand stories.
A script is a structure that prescribes a set of circumstances which could be expected to follow on
from one another. It is similar to a thought sequence or a chain of situations which could be
anticipated. It could be considered to consist of a number of slots or frames but with more
specialized roles.
Scripts provide an ability for default reasoning when information is not available that directly
states that an action occurred. So we may assume, unless otherwise stated, that a diner at a
restaurant was served food, that the diner paid for the food, and that the dinner was served by a
waiter/waitress.
Scripts are useful in describing certain situations such as robbing a bank. This might involve:
Getting a gun.
Hold up a bank.
The script does not contain typical actions although there are options such as whether the
customer was pleased or not. There are multiple paths through the scenes to make for a robust
script what would a “going to the movies” script look like? Would it have similar props, actors,
scenes? How about “going to class”?
CYC is a very large knowledge base project aimed at capturing human commonsense knowledge.
The goal of CYC is to encode the large body of knowledge that is so obvious that it is easy to
forget to state it explicitly. Such a knowledge base could then be combined with specialized
knowledge bases to produce systems that are less brittle than most of the ones available today.
Building an immense knowledge base is a staggering task. There are two possibilities for acquiring
this knowledge automatically:
1. In order for a system to learn a great deal, it must already know a
great deal. In particular, systems with a lot of knowledge will be able to employ
powerful analogical reasoning.
2. Humans extend their own knowledge by reading
books and talking with other humans.
By hand.
Special CYCL language:
LISP like.
Frame based
Multiple inheritance
Slots are fully fledged objects.
Generalized inheritance -- any link not just and .
The CD representation of the information contained in the sentence is shown above. It says that
Bill informed John that he (Bill) will do something to break John’s nose. Bill did this so that John
will believe that if he (John) does something (different from what Bill will do to break his nose),
then Bill will break John’s nose. In this representation, the word believe has been used to simplify
the example. But the idea behind believe can be represented in CD as MTRANS of a fact into
John’s memory. The actions do1 and do2 are dummy placeholders that refer to some as yet
unspecified actions.
CYCL
CYCs knowledge is encoded in a representation language called CYCL.
CYCL is a frame based system that incorporates most of the techniques.
Generalizes the notion of inheritance so that properties can be inherited
along any link, not just isa and instance.
CYCL contains a constraint language that allows the expression of arbitrary
first-order logical expressions.