Knowledge Representation Lab
About the Knowledge Representation Lab
This research group is a reincarnation of the El Paso Knowledge Representation Group, which found a new home at Texas Tech University
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.
Find the KRLab bulletin board here.