IACAS: an implementation of Chisolm''s Principles of Knowledge

IACAS is a program written to do interactive argumentation on a computer. It allows you to start a dispute, given a number of facts, rules and cases. What is new with IACAS is that it uses the right combinatorics, and, more importantly, incorporates Chisholm’s epistemological framework to interpret the outcome of the process. The program is written in LISP and is originally meant to demonstrate the theory outlined in my formal papers on defeasible argumentation.