Cassie as a Self-Aware SNePS/GLAIR Agent Stuart C. Shapiro

advertisement
Cassie as a
Self-Aware SNePS/GLAIR Agent
Stuart C. Shapiro
Department of Computer Science and Engineering,
and Center for Cognitive Science
University at Buffalo, The State University of New York
201 Bell Hall, Buffalo, NY 14260-2000
shapiro@cse.buffalo.edu
http://www.cse.buffalo.edu/~shapiro/
What is it?
• A computational cognitive agent that can:
–
–
–
–
–
–
–
–
Understand and communicate in English;
Discuss specific, generic, and “rule-like” information;
Reason;
Discuss acts and plans;
Sense;
Act;
Maintain a model of itself;
Remember and report what it has sensed and done.
April, 2004
S. C. Shapiro
2
Cassie, the FEVAHR
April, 2004
S. C. Shapiro
3
Simulated FEVAHR
Cassie
April, 2004
S. C. Shapiro
4
UXO Remediation
Corner flag
Field
Drop-off zone
UXO
NonUXO object
Battery
meter
Corner flag
Cassie
Safe zone
Corner flag
Recharging
Station
April, 2004
S. C. Shapiro
5
Crystal Cassie
First Person Perspective Views
April, 2004
S. C. Shapiro
6
Princess from
“The Trial, The Trail”
A VR drama by Josephine Anstey
April, 2004
S. C. Shapiro
7
Patofil and Filopat
April, 2004
S. C. Shapiro
8
Magellan ProTM Mobile Robot
from
iRobot
April, 2004
S. C. Shapiro
9
GLAIR Architecture
Grounded Layered Architecture with Integrated Reasoning
Knowledge Level
Mind
B
o
d
y
SNePS
Perceptuo-Motor Level
deictic & modality registers
& primitive-action procedures
IP Sockets
NL
Sensory-Actuator Level
Vision
Sonar
Proprioception
April, 2004
S. C. Shapiro
Motion
10
SNePS
•
•
•
•
•
•
•
A logic-based KR system
using reified propositions
with special constructs for acts
and an acting executive
as well as an inference engine
with an ATMS.
From a Wumpus World agent:
– all(r)(Isa(r,room)
=> whendo(In(r), believe(~Contains(r,pit)))).
April, 2004
S. C. Shapiro
11
Kinds of Self-Awareness
in Cassie
• Static beliefs (non-fluents) about herself
Knows and recognizes her name.
– My name is `Cassie’.
• Has first-person, privileged knowledge of ,
remembers, and can tell what she’s done.
Has a sense of time, including “now”.
Knows whom she is conversing with.
– I talked to Bill and I am talking to you.
• Has self-perception of what she says.
April, 2004
S. C. Shapiro
12
Basic Approach to
Essential Self-Awareness
• Beliefs about self at KL (mind)
inserted by PML (body).
April, 2004
S. C. Shapiro
13
How It’s Implemented
at the KL
• SNePS term denoting Cassie
– Used in all beliefs about herself.
• SNePS terms denoting times
– To relate acts/events
• Representation of acts is the same
–
–
–
–
–
For acts to be done by Cassie
For acts done by Cassie
For acts done by other agents
For acting
For NL interaction
April, 2004
S. C. Shapiro
14
How It’s Implemented
at the PML
• Deictic Registers
– I = SNePS term denoting Cassie
– NOW = SNePS term denoting current time
– YOU = SNePS term denoting conversational
partner
April, 2004
S. C. Shapiro
15
How It’s Implemented
at the PML
• Modality Registers
– For current acts
• Vision modality register
– KL term of entity Cassie’s currently looking at
April, 2004
S. C. Shapiro
16
How It’s Implemented
at the PML
• Lisp implementation of KL primitive acts
• Implementation of act a inserts KL belief that
I did a NOW
and moves NOW.
= First person, privileged belief.
April, 2004
S. C. Shapiro
17
Multi-Computer VR Agents
KL
SNePS terms
PMLa deictic & modality registers
primitive-action
procedures
PMLb
IP Sockets
PMLc
SAL
April, 2004
hardware drivers
S. C. Shapiro
18
Body-Mind Feedback
Most Difficult Issue
• When should mind move to next step of plan?
• When sense that goal of previous step has been
achieved.
• For speech sequence:
when hear self over self-perception socket.
April, 2004
S. C. Shapiro
19
Next Steps
• Since awareness of acting is
added by implementation of primitive acts,
don’t yet have awareness of non-primitive acts.
• Put all this in architecture,
so agent implementers needn’t be concerned.
April, 2004
S. C. Shapiro
20
Download