Texas Tech University, Department of Computer Science
TTU Home Whitacre College of Engineering Computer Science Knowledge Representation Lab Overview

Knowledge Representation Lab

KRLAB

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 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.

Find the KRLab bulletin board here.