Graduate studies at Western
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)|
No categories specified
(categorize this paper)
|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.
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 downloads2 ( #246,694 of 739,404 )
Recent downloads (6 months)1 ( #61,680 of 739,404 )
How can I increase my downloads?