| Webster's Online Dictionary |
| Expressions | Definition | ||
| Belief revision | Belief revision is the process changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents. (references) | ||
Source: compiled by the editor from various references; see credits. | Top | ||
| Expressions | Domain | Definition | |
| AGM Theory for Belief Revision | Computing | AGM Theory for Belief Revision (After the initials of the authors who established the field - Alchourron, Makinson and Gardenfors). A method of belief revision giving minimal properties a revision process should have. [Reference?] (1995-03-20). Source: The Free On-line Dictionary of Computing.. | |
| Belief revision | Computing | A method of keeping track of beliefs (and their justifications) developed during problem-solving, so that if contradictions occur, the incorrect beliefs or lines of reasoning, and all conclusions resulting from them, can be retracted. Source: European Union. (references) | |
| Belief revision | Computing | Belief revision The area of theory change in which preservation of the information in the theory to be changed plays a key role. A fundamental issue in belief revision is how to decide what information to retract in order to maintain consistency, when the addition of a new belief to a theory would make it inconsistent. Usually, an ordering on the sentences of the theory is used to determine priorities among sentences, so that those with lower priority can be retracted. This ordering can be difficult to generate and maintain. The postulates of the AGM Theory for Belief Revision describe minimal properties a revision process should have. [Better definition?] (1995-03-20). Source: The Free On-line Dictionary of Computing.. | |
Source: compiled by the editor from various references; see credits. | Top | ||
