Simulating belief systems of autonomous agents

Autonomous agents in computer simulations do not have the usual mechanisms to acquire information as do their human counterparts. In many such simulations, it is not desirable that the agent have access to complete and correct information about its environment. We examine how imperfection in available information may be simulated in the case of autonomous agents. We determine probabilistically what the agent may detect, through hypothetical sensors, in a given situation. These detections are combined with the agent's knowledge base to infer observations and beliefs. Inherent in this task is a degree of uncertainty in choosing the most appropriate observation or belief. We describe and compare two approaches - a numerical approach and one based on defeasible logic - for simulating an appropriate belief in light of conflicting detection values at a given point in time. We discuss the application of this technique to autonomous forces in combat simulation systems.

[1]  Ernest Davis,et al.  Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.

[2]  Lotfi A. Zadeh,et al.  Approximate Reasoning in Intelligent Systems, Decision and Control , 1987 .

[3]  John E. Laird,et al.  The soar papers : research on integrated intelligence , 1993 .

[4]  Glenn Shafer,et al.  Readings in Uncertain Reasoning , 1990 .

[5]  William C. Branley,et al.  Modeling Observation in Intelligent Agents: Knowledge and Belief , 1992 .

[6]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[7]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[8]  Edward H. Shortliffe,et al.  Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence) , 1984 .

[9]  L. F. D. Cerro,et al.  Intensional logics for programming , 1992 .

[10]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[11]  Edward H. Shortliffe,et al.  The Dempster-Shafer theory of evidence , 1990 .

[12]  Bruce G. Buchanan,et al.  The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .

[13]  Michael Zyda,et al.  NPSNET: constructing a 3D virtual world , 1992, I3D '92.

[14]  K. Konolige A deduction model of belief , 1986 .

[15]  Gerhard Brewka,et al.  Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

[16]  Donald Nute,et al.  Defeasible Logic and The Frame Problem , 1990 .

[17]  Stephen F. Roehrig,et al.  Probabilistic inference and path analysis , 1996, Decis. Support Syst..