The long term goal of the
SNePS
Research Group is to understand the nature of
intelligent cognitive processes by developing and
experimenting with computational cognitive agents that are
able to use and understand natural language, reason, act, and
solve problems in a wide variety of domains.
The principal research area of the Group is knowledge
representation and reasoning (krr) in support of
natural-language competent autonomous agents. This includes
research in: logics for krr; natural language understanding
and generation; cognitive architectures; acting formalisms;
belief change; models of time, self, and other agents.
The group is widely known for its development of the SNePS
knowledge representation/reasoning system, and Cassie, its
computerized cognitive agent.
Screen
Shot of the SNePS graphical
interface, XGinseng, showing a possible SNePS
representation of "Everything is either an
animal, a vegetable, or a mineral, and John
believes that Rover is an animal."
