SNeRG. The SNePS Research Group. Prof. Stuart C. Shapiro, Prof. William J. Rapaport Prof. Carl Alphonce, Prof. Josephine Anstey, Prof. Debra T. Burhans Prof. Michelle L. Gregory, Prof. Jean-Pierre A. Koenig, Prof. David R. Pierce
The SNePS Research Group
Prof. Stuart C. Shapiro, Prof. William J. Rapaport
Prof. Carl Alphonce, Prof. Josephine Anstey, Prof. Debra T. Burhans Prof. Michelle L. Gregory, Prof. Jean-Pierre A. Koenig, Prof. David R. Pierce
Graduate Students: Jonathan Bona, Trupti Devdas Nayak, Albert Goldfain, Frances L. Johnson, Michael Kandefer, John F. Santore, Lunarso Sutanto
Semantic Network Processing System
The long-term goal of The SNePS Research Group is the design and construction of a natural-language-using computerized cognitive agent, and carrying out the research in artificial intelligence, computational linguistics, and cognitive science necessary for that endeavor. The three-part focus of the group is on knowledge representation, reasoning, and natural-language understanding and generation. The group is widely known for its development of the SNePS knowledge representation/reasoning system, and Cassie, its computerized cognitive agent.
Grounded Layered Architecture with Integrated Reasoning
A Plan for Detonating unexploded landmines
Cascade(Place(a, ch, obj),
Interaction with Cassie the Fevahr Agent
: Who are you?
My name is `Cassie'
and I am the SNePS cognitive agent.
: Who did you talk to?
I talked to Stu
and I talked to Bill
and I talked to Carl
and I talked to David
and I talked to Debbie
and I talked to J.P.
and I talked to Josephine
and I talked to Michelle
and I am talking to you.
: Who did you see?
I saw Stu
and I saw Albert
and I saw Fran
and I saw John
and I saw Jon
and I saw Lunarso
and I saw Michael
and I saw Trupti
and I see you.
Example SNePS Ontology
The Trial The Trail is an interactive drama for an immersive VR environment. The intelligent agents are SNePS-driven.
Contextual Vocabulary Acquisition:From Algorithm to Curriculum
Belief Base Revision with Reconsideration
Current Belief Base
T1 Red in D1,D2 Red in D1,D3
T2 Red in D1,D2 Red in D1,D3,C3,Bridge-D
T3 Red in D1,D2 Red in D1,D3,C3,D4 Red in C3
Always TROOPS > UAV > INTEL
Always TROOPS > INTEL > UAV
Assertingbeliefs into the belief base (or KB) = Adding them to the KB = Stating them to be true. T1: UAV & INTEL disagree on Red troop location =>contradiction.
Consolidation makes a belief base consistent -- in this case by removing (or retracting) INTEL’s statement. = Contracting the KB by INTEL’s statement. (UAV > INTEL)
T2: UAV & INTEL again disagree.
At T3, BLUE TROOPS confirm an INTEL belief over that of UAV
So, we reverse the INTEL/UAV credibility order. Thus, UAV is disbelieved.
Reconsideration of the KB is defined as consolidation of all base beliefs (current, or not). INTEL’s earlier beliefs are recaptured (= returned to the KB), and UAV’s are retracted.
Identifying Perceptually Indistinguishable Objects: Is that the same one you saw before?
Cassie’s view of the world showing two perceptually indistinguishable robots, one of whom she is following.
Robots used in human subjects’ and Cassie’s tasks
What Cassie can see: a table with glasses and a computer lab with two people
SNeRG website: www.cse.buffalo.edu/sneps