SOFTWARE EPISTEMOLOGY

CTEST LABORATORIES

RESEARCH & DEVELOPMENT    

COMPUTATIONAL Logic  &  Epistemology

Software Epistemology is the study of knowledge in the context of a software agent. Software Epistemology asks the questions: What counts as knowledge for a software agent? Can software agents know? If software agents can have knowledge, how is it acquired and maintained? Further, if software agents can have knowledge, how can we establish the credential and pedigree of that knowledge? Software Epistemology situates an agent in a set of possible worlds and asks the question:


What epistemic structures, discrete structures and inference mechanisms could a software agent use to store and maintain knowledge about worlds it considers possible?


Software Epistemology establishes the framework and foundation for a computational epistemology by providing an Epistemic Structure for the Tripartite Analysis of Knowledge and the Fundamental Epistemic Axiom for software agents.


Project: GRIOT


Epistemic Visualization is the process and result of developing visual models that capture the structure, content, and acquisition of justified true belief (a.k.a knowledge). The visual model will include justification artifacts and knowledge acquisition flow.


Some of the visual model will demarcate apriori  and a posteriori knowledge and also distinguish the knowledge acquisition flow with respect to empirical, rationalistic, and other methods of knowledge acquisition. The pictorial or graphic representation should be accurate enough to demonstrate that what has been captured is knowledge.


Project: MIND, CAVE DRAWINGS

EPISTEMIC VISUALIZATION

  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)