Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.22/5246
Título: Reason Maintenance Systems: Tools for Foundations-based Belief Revision
Autor: Malheiro, Benedita
Palavras-chave: Knowledge representation and reasoning (KRR)
Reason maintenance systems (RMS)
Belief maintenance system (BRS)
Justification-based truth maintenance system (JTMS)
Logic-based truth maintenance system (LTMS)
Multiple belief reasoner (MBR)
Data: 2008
Editora: Wiley
Citação: Benedita Malheiro. Reason Maintenance Systems: Tools for Foundations-based Belief Revision, In Wiley Encyclopedia of Computer Science and Computer Engineering, 2377-2381, ISBN: 978-0-471-38393-2. Hoboken: John Wiley & Sons, InC., 2008.
Resumo: Dynamic and distributed environments are hard to model since they suffer from unexpected changes, incomplete knowledge, and conflicting perspectives and, thus, call for appropriate knowledge representation and reasoning (KRR) systems. Such KRR systems must handle sets of dynamic beliefs, be sensitive to communicated and perceived changes in the environment and, consequently, may have to drop current beliefs in face of new findings or disregard any new data that conflicts with stronger convictions held by the system. Not only do they need to represent and reason with beliefs, but also they must perform belief revision to maintain the overall consistency of the knowledge base. One way of developing such systems is to use reason maintenance systems (RMS). In this paper we provide an overview of the most representative types of RMS, which are also known as truth maintenance systems (TMS), which are computational instances of the foundations-based theory of belief revision. An RMS module works together with a problem solver. The latter feeds the RMS with assumptions (core beliefs) and conclusions (derived beliefs), which are accompanied by their respective foundations. The role of the RMS module is to store the beliefs, associate with each belief (core or derived belief) the corresponding set of supporting foundations and maintain the consistency of the overall reasoning by keeping, for each represented belief, the current supporting justifications. Two major approaches are used to reason maintenance: single-and multiple-context reasoning systems. Although in the single-context systems, each belief is associated to the beliefs that directly generated it—the justification-based TMS (JTMS) or the logic-based TMS (LTMS), in the multiple context counterparts, each belief is associated with the minimal set of assumptions from which it can be inferred—the assumption-based TMS (ATMS) or the multiple belief reasoner (MBR).
URI: http://hdl.handle.net/10400.22/5246
DOI: 10.1002/9780470050118.ecse440
ISBN: 978-0-471-38393-2
Versão do Editor: http://onlinelibrary.wiley.com/doi/10.1002/9780470050118.ecse440/abstract
Aparece nas colecções:ISEP – DEE – Livro, parte de livro, ou capítulo de livro

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
CAPL_BeneditaMalheiro_2008_DEE.pdf70,12 kBAdobe PDFVer/Abrir    Acesso Restrito. Solicitar cópia ao autor!

FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.