David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
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.
Graham Oddie (1986). The Poverty of the Popperian Program for Truthlikeness. Philosophy of Science 53 (2):163-178.
Robert May (2005). Frege's Other Program. Notre Dame Journal of Formal Logic 46 (1):1-17.
James H. Fetzer (1988). Program Verification: The Very Idea. Communications of the Acm 31 (9):1048--1063.
Panu Raatikainen (2003). Hilbert's Program Revisited. Synthese 137 (1-2):157 - 177.
Christine W. Chan (2003). Cognitive Modeling and Representation of Knowledge in Ontological Engineering. Brain and Mind 4 (2):269-282.
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.
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.
Martin Roth (2005). Program Execution in Connectionist Networks. Mind and Language 20 (4):448-467.
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 downloads10 ( #332,103 of 1,796,321 )
Recent downloads (6 months)1 ( #468,135 of 1,796,321 )
How can I increase my downloads?