scispace - formally typeset
Search or ask a question
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
More filters
Journal ArticleDOI
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

Journal ArticleDOI
J. de Kleer1
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

Book
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

Journal ArticleDOI
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

Journal ArticleDOI
Johan de Kleer1
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


Network Information
Related Topics (5)
Fuzzy set
44.4K papers, 1.1M citations
74% related
Reinforcement learning
46K papers, 1M citations
74% related
Graph (abstract data type)
69.9K papers, 1.2M citations
74% related
Web service
57.6K papers, 989K citations
74% related
Heuristics
32.1K papers, 956.5K citations
74% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
20212
20202
20192
20181
20171
20152