GRIOT

CTEST LABORATORIES

RESEARCH & DEVELOPMENT    

COMPUTATIONAL Logic  &  Epistemology

GRIOT (Group Reasoning Inference & Ontological Theory) architecture (developed by CTEST) is software designed to investigate the possibilities and limitations of rational multiagent design. It functions as a method for constructing multiagent systems that are designed to perform pure logical analysis in the form of:


  1. Deduction

  2. Induction

  3. Abduction


The GRIOT architecture assumes a multiparadigm approach that relies primarily on a hybrid of logic programming and object-oriented programming techniques.


Whereas traditional multiagent system consists of a collection of agents working together on a problem, a GRIOT system consists of a group of Griots (Griot is a recursive concept) reasoning together about one or more propositions or suppositions. Their primary objective is to affirm or deny conjectures, theories, and models using theorems, axioms, corollaries, and maxims from their universe of discourse (Cognopaedia).


Agents typically focus on problem solving. Griots focus on defending, defeating or drawing conclusions. Their core processing work is strictly logical analysis and inferencing. The classic agent BDI (Beliefs, Desires, Intention) model is enhanced with several epistemological models of knowledge structuring and knowledge verification.


Two of the most visible components of a GRIOT system are its Cognopaedia and ISIS interfaces.

  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)