1 resultado para Truth discourses
em Massachusetts Institute of Technology
Filtro por publicador
- Repository Napier (1)
- Aberdeen University (3)
- Aberystwyth University Repository - Reino Unido (1)
- Academic Archive On-line (Stockholm University; Sweden) (1)
- Academic Research Repository at Institute of Developing Economies (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
- Andina Digital - Repositorio UASB-Digital - Universidade Andina Simón Bolívar (1)
- Aquatic Commons (2)
- Archive of European Integration (1)
- Aston University Research Archive (12)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (1)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (6)
- Biodiversity Heritage Library, United States (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (65)
- Boston University Digital Common (2)
- Brock University, Canada (11)
- Bucknell University Digital Commons - Pensilvania - USA (2)
- Cambridge University Engineering Department Publications Database (2)
- CentAUR: Central Archive University of Reading - UK (50)
- Center for Jewish History Digital Collections (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (2)
- Dalarna University College Electronic Archive (2)
- Deakin Research Online - Australia (99)
- Digital Archives@Colby (2)
- Digital Commons - Michigan Tech (1)
- Digital Commons @ DU | University of Denver Research (2)
- Digital Commons at Florida International University (5)
- Digital Peer Publishing (2)
- DigitalCommons@University of Nebraska - Lincoln (1)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (2)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (1)
- Greenwich Academic Literature Archive - UK (3)
- Harvard University (3)
- Helda - Digital Repository of University of Helsinki (13)
- Indian Institute of Science - Bangalore - Índia (1)
- Instituto Politécnico do Porto, Portugal (1)
- Massachusetts Institute of Technology (1)
- Memoria Académica - FaHCE, UNLP - Argentina (9)
- Ministerio de Cultura, Spain (2)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (2)
- Portal de Revistas Científicas Complutenses - Espanha (5)
- Publishing Network for Geoscientific & Environmental Data (3)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (111)
- Queensland University of Technology - ePrints Archive (64)
- Repositório digital da Fundação Getúlio Vargas - FGV (1)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (16)
- School of Medicine, Washington University, United States (2)
- Universidad Autónoma de Nuevo León, Mexico (1)
- Universidad de Alicante (2)
- Universidad del Rosario, Colombia (3)
- Universidad Politécnica de Madrid (4)
- Universidade de Lisboa - Repositório Aberto (1)
- Universidade Federal do Rio Grande do Norte (UFRN) (3)
- Université de Lausanne, Switzerland (1)
- Université de Montréal (1)
- Université de Montréal, Canada (15)
- University of Connecticut - USA (2)
- University of Michigan (404)
- University of Queensland eSpace - Australia (28)
- University of Southampton, United Kingdom (1)
- University of Washington (2)
- WestminsterResearch - UK (5)
- Worcester Research and Publications - Worcester Research and Publications - UK (1)
Resumo:
The thesis developed here is that reasoning programs which take care to record the logical justifications for program beliefs can apply several powerful, but simple, domain-independent algorithms to (1) maintain the consistency of program beliefs, (2) realize substantial search efficiencies, and (3) automatically summarize explanations of program beliefs. These algorithms are the recorded justifications to maintain the consistency and well founded basis of the set of beliefs. The set of beliefs can be efficiently updated in an incremental manner when hypotheses are retracted and when new information is discovered. The recorded justifications also enable the pinpointing of exactly whose assumptions which support any particular belief. The ability to pinpoint the underlying assumptions is the basis for an extremely powerful domain-independent backtracking method. This method, called Dependency-Directed Backtracking, offers vastly improved performance over traditional backtracking algorithms.