The Epistemological Foundations of Artificial Agents

A situated agent is one which operates within an environment. In most cases, the environment in which the agent exists will be more complex than the agent itself. This means that an agent, human or artificial, which wishes to carry out non-trivial operations in its environment must use techniques which allow an unbounded world to be represented within a cognitively bounded agent. We present a brief description of some important theories within the fields of epistemology and metaphysics. We then discuss ways in which philosophical problems of scepticism are related to the problems faced by knowledge representation. We suggest that some of the methods that philosophers have developed to address the problems of epistemology may be relevant to the problems of representing knowledge within artificial agents.

[1]  S. Haack.  Philosophy of logics , 1978 .

[2]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[3]  Aldo Franco Dragoni,et al.  Belief revision: from theory to practice , 1997, The Knowledge Engineering Review.

[4]  R. Walker.  The Coherence Theory of Truth , 2018, Oxford Handbooks Online.

[5]  PETER GÄRDENFORS,et al.  Belief Revision: Belief revision: An introduction , 2003 .

[6]  Paul Guyer,et al.  The coherence theory of truth : realism, anti-realism, idealism , 1992 .

[7]  N. Tennant.  The Taming of the True , 1997 .

[8]  Sydney Shoemaker,et al.  Spreading the Word. , 1987 .

[9]  Alec Fisher,et al.  Modern Epistemology: A New Introduction , 1994 .

[10]  S. Haack.  Evidence and Inquiry: Towards Reconstruction in Epistemology , 1995 .

[11]  E. Sosa.  The Raft and the Pyramid: Coherence versus Foundations in the Theory of Knowledge , 1980 .

[12]  David Hume.  A Treatise of Human Nature: Being an Attempt to introduce the experimental Method of Reasoning into Moral Subjects , 1972 .

[13]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[14]  Mark H. Lee,et al.  The Influence of Epistemology on the Design of Artificial Agents , 2004, Minds and Machines.

[15]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[16]  Norman Y. Foo,et al.  Connections Between the ATMS and AGM Belief Revision , 1993, IJCAI.

[17]  W. Quine.  The two dogmas of empiricism , 1951 .

[18]  A. Goldman.  Epistemology and Cognition , 1986 .

[19]  Matthias Steup,et al.  An Introduction to Contemporary Epistemology , 1995 .

[20]  Jon Doyle,et al.  Belief Revision: Reason maintenance and belief revision: Foundations versus coherence theories , 1992 .

[21]  R. Audi,et al.  The Structure of Justification. , 1995 .

[22]  M. Dummett.  Truth and other enigmas , 1978 .

[23]  M. Shanahan.  Solving the frame problem , 1997 .

[24]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[25]  S. Blackburn,et al.  Essays in quasi-realism , 1993 .

[26]  E. Shortliffe.  Computer-based medical consultations: mycin (elsevier north holland , 1976 .

[27]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[28]  Simon Blackburn,et al.  Spreading the word : groundings in the philosophy of language , 1987 .

[29]  G. Harman,et al.  Change in View: Principles of Reasoning. , 1988 .

[30]  André Fuhrmann,et al.  The Logic of Theory Change , 1991, Lecture Notes in Computer Science.

[31]  P. Thagard,et al.  Coherence in Thought and Action , 2000 .

[32]  Marie McGinn,et al.  An Introduction to Contemporary Epistemology , 1985 .

[33]  Tieniu Tan,et al.  An Integrated Traffic and Pedestrian Model-Based Vision System , 1997, BMVC.

[34]  N. Rescher,et al.  The coherence theory of truth , 1973 .