This research group is a reincarnation of the El Paso Knowledge
Representation Group, which found a new home at Texas Tech
University in Lubbock.
Our main goal is to better understand
how to build software components of agents
capable of reasoning and acting in changing
environment.
We work under the basic assumption that to
exhibit intelligent behavior the agent
should have a mathematical model
of its environment and its own capabilities
and goals.
At this stage we are especially interested in ``purely
logical agents'', i.e. agents whose underlying world
model is defined by a theory in some logical
language.
Our current goal is to investigate if A-Prolog (the language
of logic programs under the answer sets semantics) can be
successfully used for this purpose.
