Noûs 25 (4):537-551 (1991)
|Abstract||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)|
|Categories||No categories specified (fix it)|
|Through your library||Configure|
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.
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. Artificial Intelligence and Law 5 (1-2).
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 downloads2 ( #232,265 of 548,999 )
Recent downloads (6 months)1 ( #63,327 of 548,999 )
How can I increase my downloads?