CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

ViewGen: Viewpoint Generator

areas/agents/viewgen/
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.
Origin:   

   crl.nmsu.edu:/pub/non-lexical/ViewFinder/ [128.123.1.18]
   ftp.ims.uni-stuttgart.de:/pub/ballim      [141.58.127.8]
   as the files ViewGen.tar.Z (system)
   ViewFinder-{A4/A5/US}.tar.Z (thesis)
   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 Switzerland Keywords: Agent Architectures, Agent Modeling, Authors!Ballim, Belief Ascription, Inheritance Reasoner, PhD Thesis, Prolog!Code, Propositional Attitudes, ViewFinder, ViewGen Contains: vf_hetis/ The inheritance reasoner viewgen/ The ViewGen system viewfind/ The thesis (ViewFinder) in A4, A5, and US formats References: 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
AI.Repository@cs.cmu.edu