CMU Artificial Intelligence Repository
ViewGen: Viewpoint Generator
ViewGen (Viewpoint Generator) is a Prolog program that implements a
"Belief Ascription Algorithm" as described in Ballim and Wilks (see
References). This can be seen as a form of agent modeling tool,
which allows for the generation of arbitrarily deep nested belief
spaces based on the system's own beliefs, and on beliefs that are
typically held by groups of agents.
The theory of belief ascription upon which ViewGen is based is
described in detail in Ballim and Wilks, and a general
framework for attributing and maintaining nested propositional
attitudes is described in Afzal Ballim's dissertation. See the
readme.txt file for an abstract.
as the files ViewGen.tar.Z (system)
and vf-hetis.tar.Z (inheritance reasoner)
Use userid "ftp" for uni-stuttgart.
Ports: ViewGen is implemented in Sicstus prolog, and hence
easily convertible to any Edinburgh-style prolog.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Afzal Ballim
Dept. of Computer Science
University of Geneva
Agent Architectures, Agent Modeling, Authors!Ballim,
Belief Ascription, Inheritance Reasoner, PhD Thesis,
Prolog!Code, Propositional Attitudes, ViewFinder, ViewGen
vf_hetis/ The inheritance reasoner
viewgen/ The ViewGen system
viewfind/ The thesis (ViewFinder) in A4, A5, and US formats
Afzal Ballim and Yorick Wilks, "Artificial Believers", Lawrence
Erlbaum Associates, Hillsdale, NJ, 1991. ISBN 0-8058-0453-6.
[Contains a 92 page background section on belief modeling in AI,
Philosophy, NLP and Linguistics.]
Last Web update on Mon Feb 13 10:19:48 1995