David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Noûs 25 (4):537-551 (1991)
In this paper, we investigate the rules that should underlie a computer program that is capable of revising its beliefs or opinions. Such a program maintains a model of its environment, which is updated to reflect perceived changes in the environment. This model is stored in a knowledge base, and the program draws logical inferences from the information in the knowledge base. All the inferences drawn are added to the knowledge base. Among the propositions in the knowledge base, there are some in which the program believes, and there may be others in which the program does not believe. Inputs from the outside world or reasoning carried out by the program may lead to the detection of contradictions, in which case the program has to revise its beliefs in order to get rid of the contradiction and to accommodate the new information
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Richard A. Barker (1993). An Evaluation of the Ethics Program at General Dynamics. Journal of Business Ethics 12 (3):165 - 177.
Martin Roth (2005). Program Execution in Connectionist Networks. Mind and Language 20 (4):448-467.
Marcelo Alejandro Falappa, Alejandro Javier García, Gabriele Kern-Isberner & Guillermo Ricardo Simari (2013). Stratified Belief Bases Revision with Argumentative Inference. Journal of Philosophical Logic 42 (1):161-193.
Edwina L. Rissland, David B. Skalak & M. Timur Friedman (1997). Evaluating a Legal Argument Program: The BankXX Experiments. [REVIEW] Artificial Intelligence and Law 5 (1-2):1-74.
Christine W. Chan (2003). Cognitive Modeling and Representation of Knowledge in Ontological Engineering. Brain and Mind 4 (2):269-282.
Panu Raatikainen (2003). Hilbert's Program Revisited. Synthese 137 (1-2):157 - 177.
James H. Fetzer (1988). Program Verification: The Very Idea. Communications of the Acm 31 (9):1048--1063.
Robert May (2005). Frege's Other Program. Notre Dame Journal of Formal Logic 46 (1):1-17.
Graham Oddie (1986). The Poverty of the Popperian Program for Truthlikeness. Philosophy of Science 53 (2):163-178.
Václav Rajlich (2003). Case Studies of Constructivist Comprehension in Software Engineering. Brain and Mind 4 (2):229-238.
Added to index2009-01-28
Total downloads9 ( #246,566 of 1,725,873 )
Recent downloads (6 months)2 ( #268,271 of 1,725,873 )
How can I increase my downloads?