Relevant bibliographies by topics / Assumption based truth maintenance system

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Assumption based truth maintenance system'

Author: Grafiati
Published: 4 June 2021
Last updated: 6 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Assumption based truth maintenance system.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Assumption based truth maintenance system"

1

Jagvaral, Batselem, and Young-Tack Park. "Distributed Assumption-Based Truth Maintenance System for Scalable Reasoning." Journal of KIISE 43, no. 10 (2016): 1115–23. http://dx.doi.org/10.5626/jok.2016.43.10.1115.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Ravichandran, S., and G. N. S. Prasad. "Modelling and Control of Therapeutic System Using “Assumption Based Truth Maintenance System”." IFAC Proceedings Volumes 27, no. 1 (1994): 429–30. http://dx.doi.org/10.1016/s1474-6670(17)46294-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

LAMMA, EVELINA. "An assumption-based truth maintenance system dealing with non-ground justifications." Journal of Experimental & Theoretical Artificial Intelligence 8, no. 1 (1996): 21–42. http://dx.doi.org/10.1080/09528139650042529.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Shen, Qiang, and Ruiqing Zhao. "A Credibilistic Approach to Assumption-Based Truth Maintenance." IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans 41, no. 1 (2011): 85–96. http://dx.doi.org/10.1109/tsmca.2010.2064298.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bodington, R., G. D. Sullivan, and K. D. Baker. "Consistent labelling of image features using an assumption-based truth maintenance system." Image and Vision Computing 7, no. 1 (1989): 43–49. http://dx.doi.org/10.1016/0262-8856(89)90019-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Vujosevic, R., A. Kusiak, and E. Szczerbicki. "Reason Maintenance in Product Modeling." Journal of Engineering for Industry 117, no. 2 (1995): 223–31. http://dx.doi.org/10.1115/1.2803298.

Full text
Abstract:
An approach to product modeling by using a reason maintenance system to reduce the amount of search required for the identification of feasible designs is described. An assumption-based truth maintenance system and multiple worlds are used to discover and store information about feasible designs and to avoid further consideration of infeasible design alternatives. An object-oriented computer program for product modeling is presented.
APA, Harvard, Vancouver, ISO, and other styles
7

KIM, KEEHYUNG, HYUKGEUN CHOI, and RI (BOB) McKAY. "AN INTEGRATED FRAMEWORK FOR SUSPECT INVESTIGATION." International Journal on Artificial Intelligence Tools 20, no. 02 (2011): 349–66. http://dx.doi.org/10.1142/s021821301100019x.

Full text
Abstract:
In a complex crime scene with many possible suspects and conflicting evidence, crime investigation requires scientific and logical steps to narrow down the suspects. Since human investigators have difficulty in fully handling all reasoning in this highly complex hypothesis space, we propose a decision support system to aid the investigation process. The system integrates a rule-based reasoner, a Bayesian network for criminal profiling, and an assumption-based truth maintenance system for evidential reasoning to determine the most plausible suspect. The reasoning process reasons about a profili
APA, Harvard, Vancouver, ISO, and other styles
8

KURIHARA, MASAHITO, HISASHI KONDO, and AZUMA OHUCHI. "USING ATMS TO EFFICIENTLY VERIFY THE TERMINATION OF REWRITE RULE PROGRAMS." International Journal of Software Engineering and Knowledge Engineering 02, no. 04 (1992): 547–65. http://dx.doi.org/10.1142/s0218194092000257.

Full text
Abstract:
Assumption-based truth maintenance systems (ATMS) have become powerful and widely used tools in artificial intelligence problem solvers. In this paper, we apply ATMS to verification of termination of computer programs written as a set of rewrite rules. Compared with the traditional methods based on the ordinary backtracking, our method can greatly improve the overall efficiency by virtue of the ATMS's ability to avoid futile backtracking, rediscovering inferences, and rediscovering contradictions. The originality of our work lies in the practical use of the ATMS in a software engineering probl
APA, Harvard, Vancouver, ISO, and other styles
9

SCHIEX, THOMAS, and GÉRARD VERFAILLIE. "NOGOOD RECORDING FOR STATIC AND DYNAMIC CONSTRAINT SATISFACTION PROBLEMS." International Journal on Artificial Intelligence Tools 03, no. 02 (1994): 187–207. http://dx.doi.org/10.1142/s0218213094000108.

Full text
Abstract:
Many AI synthesis problems such as planning, scheduling or design may be encoded in a constraint satisfaction problems (CSP). A CSP is typically defined as the problem of finding any consistent labeling for a fixed set of variables satisfying all given constraints between these variables. However, for many real tasks, the set of constraints to consider may evolve because of the environment or because of user interactions. The notion of dynamic CSP (DCSP) [DD88] has been proposed to represent such evolutions. The problem we consider here is the solution maintenance problem in a DCSP. Naively ap
APA, Harvard, Vancouver, ISO, and other styles
10

de Kleer, Johan. "A perspective on assumption-based truth maintenance." Artificial Intelligence 59, no. 1-2 (1993): 63–67. http://dx.doi.org/10.1016/0004-3702(93)90171-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Assumption based truth maintenance system"

1

Dicke, Ralf. "Strategische Unternehmensplanung mit Hilfe eines Assumption-based-truth-maintenance-Systems (ATMS) : Formalisierung eines Kontingenzansatzes in Prädikatenlogik und Anpassungsplanung nach dem Net-change-Prinzip /." Wiesbaden : Dt. Univ.-Verl, 2007. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=015660763&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lorenzi, Fabiana. "Uma abordagem multiagente de recomendação baseada em suposições e confiança para cenários dinâmicos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2010. http://hdl.handle.net/10183/26969.

Full text
Abstract:
A falta de informação e de confiança entre os agentes em sistemas de recomendação que lidam com domínios dinâmicos podem ser fatores que contribuem para que os agentes gerem resultados de baixa qualidade. Na falta de informação para gerar recomendações, é necessário que os agentes sejam capazes de assumir ou compartilhar informações, criem laços de confiança entre si e que se adaptem às mudanças do estado do conhecimento para que sejam capazes de resolver os problemas. Esta tese apresenta a abordagem MATRES - uma abordagem multiagente baseada em suposições com mecanismo de confiança aplicada e
APA, Harvard, Vancouver, ISO, and other styles
3

Dugdale, Julie Anne. "Cooperative problem-solving using assumption-based truth maintenance." Thesis, University of Buckingham, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.601371.

Full text
Abstract:
Classical expert systems have been criticised for ignoring the problem-solving ability of the user. The ramifications of this are more than just a reduced problem-solving capability. By excluding the knowledge of the user, the knowledge-base of the system is incomplete as it is infeasible to capture all the relevant factors. Furthermore, users become alienated as they do not have the opportunity to "adapt the situation according to their skills. In many cases the conclusions of the expert system are rejected, or the user's responsibility is abrogated, because the user cannot influence the deci
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Assumption based truth maintenance system"

1

Dicke, Ralf. Strategische Unternehmensplanung mit Hilfe eines Assumption-based-truth-maintenance-Systems (ATMS): Formalisierung eines Kontingenzansatzes in Pra dikatenlogik und Anpassungsplanung nach dem Net-change-Prinzip. Dt. Univ.-Verl., 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Strategische Unternehmensplanung mit Hilfe eines Assumption-based-Truth-Maintenance-Systems (ATMS). DUV, 2007. http://dx.doi.org/10.1007/978-3-8350-9389-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Assumption based truth maintenance system"

1

Liu, Weiru. "Assumption-Based Truth Maintenance Systems." In Propositional, Probabilistic and Evidential Reasoning. Physica-Verlag HD, 2001. http://dx.doi.org/10.1007/978-3-7908-1811-6_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Liu, Weiru. "Relations Between Extended Incidence Calculus and Assumption-Based Truth Maintenance System." In Propositional, Probabilistic and Evidential Reasoning. Physica-Verlag HD, 2001. http://dx.doi.org/10.1007/978-3-7908-1811-6_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jones, John, Mark Millington, and Maria Virvou. "An Assumption-based Truth Maintenance System in Active Aid for UNIX Users." In Intelligent Help Systems for UNIX. Springer Netherlands, 2000. http://dx.doi.org/10.1007/978-94-010-0874-7_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jussien, Narendra, and Patrice Boizumault. "Implementing constraint relaxation over finite domains using assumption-based truth maintenance systems." In Over-Constrained Systems. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61479-6_28.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Rake, S. T., and L. D. R. Smith. "Use of an assumption-based truth maintenance system to record and resolve ambiguity in cardiac angiograms." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/3-540-19036-8_66.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Dressler, Oskar. "Assumption-based Truth Maintenance." In Begründungsverwaltung. Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-73385-7_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Dixon, Michael, and Johan de Kleer. "Massively parallel Assumption-based Truth Maintenance." In Non-Monotonic Reasoning. Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/3-540-50701-9_24.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Monai, Francesco Fulvio, and Thomas Chehire. "Possibilistic Assumption based Truth Maintenance System, Validation in a Data Fusion Application." In Uncertainty in Artificial Intelligence. Elsevier, 1992. http://dx.doi.org/10.1016/b978-1-4832-8287-9.50016-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

TAY, J., C. QUEK, and S. HUANG. "A Guide to Research in Assumption-Based Truth Maintenance Systems in Constraint Satisfaction." In Expert Systems. Elsevier, 2002. http://dx.doi.org/10.1016/b978-012443880-4/50086-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

GINSBERG, MATT. "ASSUMPTION-BASED TRUTH MAINTENANCE." In Essentials of Artificial Intelligence. Elsevier, 1993. http://dx.doi.org/10.1016/b978-1-55860-221-2.50015-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Assumption based truth maintenance system"

1

Johnson, Rowland R., Thomas W. Canales, Darrel L. Lager, Cynthia L. Mason, and Robert M. Searfus. "Interpreting Signals With An Assumption-Based Truth Maintenance System." In Applications of Artificial Intelligence V, edited by John F. Gilmore. SPIE, 1987. http://dx.doi.org/10.1117/12.940638.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Vujosevic, Ranko, and Andrew Kusiak. "Data Base Requirements for Concurrent Design Systems." In ASME 1991 International Computers in Engineering Conference and Exposition. American Society of Mechanical Engineers, 1991. http://dx.doi.org/10.1115/edm1991-0189.

Full text
Abstract:
Abstract The data base requirements for concurrent design systems are discussed. An object-oriented data base, which allows for definition of complex objects, specification of relationships between objects, and modular expandability without affecting the existing information is defined. The data base is developed based on the object-oriented data model implemented in Smalltalk-80. An assumption-based truth maintenance system for maintaining the dependency relationships between design and manufacturing information is described.
APA, Harvard, Vancouver, ISO, and other styles
3

Johnson, Rubin, Mark Buenafe, Laura F. Bennett, and Cecil I. Hudson. "Assumption truth maintenance system for automatic target-recognizer evaluation." In Optical Engineering and Photonics in Aerospace Sensing, edited by Lynn E. Garn and Lynda L. Graceffo. SPIE, 1993. http://dx.doi.org/10.1117/12.161434.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bennett, Laura F., Rubin Johnson, and Cecil I. Hudson. "Assumption truth maintenance in model-based ATR algorithm design." In Orlando '91, Orlando, FL, edited by Vibeke Libby. SPIE, 1991. http://dx.doi.org/10.1117/12.44857.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Pitts, Susan, and Sankar Virdhagriswaran. "Plex Phase II: A Truth Maintenance System (TMS)-Based Placement Program For Printed Wire Boards Using Dependency-Directed Backtracking And Human-Aided Machine Design." In Applications of Artificial Intelligence V, edited by John F. Gilmore. SPIE, 1987. http://dx.doi.org/10.1117/12.940637.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Nagata, Tadahisa, and Ken-ichiro Sugiyama. "Performance Evaluation of Japanese Nuclear Power Plant Based on Open Data and Information (3)." In 18th International Conference on Nuclear Engineering. ASMEDC, 2010. http://dx.doi.org/10.1115/icone18-29703.

Full text
Abstract:
The excessive maintenance of the nuclear power plants (NPPs) may cause the early (infant) failure in Japan. An easy analysis; the Weibull analysis was applied to the evaluation of the failure mode. The Weibull analysis needs the hazard data. The maintenance information of the equipment which caused plant shutdown was required for the hazard calculation. However, maintenance information of the equipment was not open. Therefore, all equipment was assumed to be maintained during every shutdown. This assumption was based on renewal process. However, a repair after unplanned shutdown of NPP is gene
APA, Harvard, Vancouver, ISO, and other styles
7

Wang, Shuwen, Paul Nelson, and Ernie J. Kee. "Application of Entry-Time Processes Within Probabilistic Risk Assessment (PRA) and Generation Risk Assessment (GRA)." In ASME 2007 Pressure Vessels and Piping Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/pvp2007-26625.

Full text
Abstract:
Aging has become a more important consideration since nuclear power plants have been in operation for decades. However, the current probabilistic risk assessment (PRA) and generation risk assessment (GRA) models are based on the assumption of constant failure rate. The consistent treatment of the dynamics of the evolution of aging and maintenance is critical to system reliability. The entry-time approach to dynamic reliability is based upon computational solution of the Chapman-Kolmogorov (generalized state-transition) equations underlying a certain class of marked point processes. Previous wo
APA, Harvard, Vancouver, ISO, and other styles
8

Tsuji, Takashi, Akira Maekawa, Tsuneo Takahashi, Michiyasu Noda, Minoru Kato, and Katsuhisa Fujita. "Experiment and Simulation on Pressure Pulsation Accompanied by Acoustic Resonance and Piping Vibration." In ASME 2011 Pressure Vessels and Piping Conference. ASMEDC, 2011. http://dx.doi.org/10.1115/pvp2011-57221.

Full text
Abstract:
To improve condition-based maintenance (CBM) techniques for operating plants, it is necessary to investigate, by experiments and numerical simulations, on the behavior of fluid inside piping system in detail. This study was conducted using the full-scale piping system under conditions that could seriously threaten the plant operation, by matching pressure pulsation, acoustic resonance and piping natural frequency. Although piping vibration is reported to influence fluid pressure pulsation, there were few examples of such influence in the conditions of this experiment. Knowing that the opening
APA, Harvard, Vancouver, ISO, and other styles
9

Rossi, Ronaldo Rosa. "A Review of Fatigue Curves for Mooring Lines." In ASME 2005 24th International Conference on Offshore Mechanics and Arctic Engineering. ASMEDC, 2005. http://dx.doi.org/10.1115/omae2005-67583.

Full text
Abstract:
For mooring chains of offshore floating production units, API (American Petroleum Institute) recommends the use of its TxN fatigue curve considering the MBL (Minimum Breaking Load) of an ORQ (Oil Rig Quality) chain even if the chain has a higher grade. This curve has been used in mooring system design of offshore floating production units since the draft edition of API Recommended Practice for Design, Analysis and Maintenance of Catenary Mooring for Floating Production Systems in May 89 and several fatigue tests have been done by petroleum industries, chain manufacturers and research centers.
APA, Harvard, Vancouver, ISO, and other styles
10

Tilcher, David Konstantin, Michael Pöhler, and Paul Uwe Thamsen. "Ball Passage and Impeller Types Do Not Characterize the Functional Performance of a Sewage Pump." In ASME 2020 Fluids Engineering Division Summer Meeting collocated with the ASME 2020 Heat Transfer Summer Conference and the ASME 2020 18th International Conference on Nanochannels, Microchannels, and Minichannels. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/fedsm2020-20208.

Full text
Abstract:
Abstract During the development of sewage pumps their functionality and efficiency have been continuously improved. Different impeller types have been developed; types to reduce clogging, types for associated maintenance during the various stages of the wastewater transport system, and types to increase the efficiency of the pumps. In the current market, energy requirements and efficiency play an increasingly important role. The design of pump impellers with the aim of improving efficiency may increase the susceptibility of clogging. So far there is no test describing both the energy efficienc
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography