Topic
Reason maintenance
About: Reason maintenance is a research topic. Over the lifetime, 331 publications have been published within this topic receiving 10296 citations.
Papers published on a yearly basis
Papers
More filters
••
TL;DR: The need of problem solvers to choose between alternative systems of beliefs is stressed, and a mechanism by which a problem solver can employ rules guiding choices of what to believe, what to want, and what to do is outlined.
1,909 citations
••
PARC1
TL;DR: A new view of problem solving motivated by a new kind of truth maintenance system based on manipulating assumption sets is presented, which is possible to work effectively and efficiently with inconsistent information, context switching is free, and most backtracking is avoided.
1,874 citations
•
21 Mar 1990
TL;DR: The universal term-forming formalism is a hybrid representation formalism that combines terminological cycles, representation and management of knowledge, and reasoning in the formalism.
Abstract: Representation and management of knowledge.- A hybrid representation formalism.- Reasoning in the formalism.- Terminological cycles.- Belief revision.- The revision in terminological systems.- Terminological reason maintenance.- Summary and outlook.- The universal term-forming formalism U.- Overview of formalism and systems.
519 citations
••
TL;DR: The system described in this paper extends classical predicate-calculus data bases, such as those used by PROLOG, to deal with time in an efficient and natural manner to perform the temporal analog of (static) reason maintenance.
391 citations
••
PARC1
TL;DR: A set of concerns for interfacing with the ATMS, an interface protocol, and an example of a constraint language based on the protocol are presented, which concludes with a comparison of the AT MS and the view of problem solving it entails with other approaches.
267 citations