WHO IS CTEST LABS?

A non-profit research facility since 2006.

CTEST LABORATORIES

RESEARCH & DEVELOPMENT    

COMPUTATIONAL Logic  &  Epistemology

WHAT DO WE DO?

Research and engineering in the area of epistemological systems.

APPLIED

RESEARCH AREAS

✤ Software Epistemology

✤ Epistemic Visualization

✤ Logic Programming

✤ Computational Philosophy

✤ Computational Linguistics

RECENT PAPERS

1. ✤Partial Computer Homeostasis Using Autonomous Epistemic Agents  (Poster presented at KCAP 2015)
   

1. ✤Coherence and Justification Clusters: Epistemic Metrics for Propositional  Knowledge Taken from Interrogative Domains for Epistemic Agents
   

     Develop logic-based system

     Develop the mechanisms to evaluate the logical and    

     epistemological integrity of a domain

     Evaluate the logical and epistemological integrity of the

     results of the system.

CTEST Laboratories is a non-profit facility dedicated to the applied research and development of epistemological and hermeneutical software systems  with a particular focus on  robot control, environmental monitoring, and embedded knowledge inference devices. We believe that the quality of life saving, life altering or mission critical decisions can be enhanced by logic-based software.

1. ✤S.O.S.  DELORis  ROBOT
   

    (Sink Or Swim Deep Lake Observation

     Reconnaissance Information System)

1. ✤SAM & SIMON PROJECTS
   

    (Server Auditing and Monitoring &

     Sensitive Instrument  with Opportunistic

     Notification)

1. ✤MCPLP ROBOTICS VIDEO SURVEY
   

    (Mill Creek Park Lakes Project)

PROJECTS

1. ✤PROJECT ARCHIVES
   

1. ✤CAVE DRAWINGS
   

    (Cosmology of Artificial Intelligence

    Visualized Epistemically)

1. ✤AIM / AIR
   

     (Alternative Inference for Machines

    and Robots)