{"id":{"repo_id":"ubc","oai_identifier":"oai:circle.library.ubc.ca:2429/1281"},"canonical_url":"https://search.dev.ndltd.org/etd/ubc/oai:circle.library.ubc.ca:2429/1281","repository":{"repo_id":"ubc","name":"University of British Columbia","base_url":"http://circle.library.ubc.ca/oai/request"},"display":{"title":"A conditional model of abduction","abstract":"We propose sometimes very plausible hypotheses as explanations for an observation, given what we know or believe. In light of new information, however, such explanations may become void. Under this view explanations are defeasible. In this thesis we present a general model of explanation in artificial intelligence based on a theory of belief revision, (or the process of expanding, correcting and contracting existing beliefs) which models the dynamics of belief in a given representation. We take seriously the notion that explanations can be constructed from default knowledge and should be determined relative to a background set of beliefs. Based on the idea that an explanation should not only render the observation plausible but be itself maximally plausible, a preference ordering on explanations naturally arises. Our model of abduction (the process of inferring the preferred explanations) uses existing conditional logics for default reasoning and belief revision, based on standard modal systems. We end up with a semantics for explanation in terms of sets of possible worlds, which are simple modal structures also suitable for other forms of defeasible reasoning. The result of this thesis is an object-level account of abduction based on the revision of the epistemic state of a program or agent. Abductive frameworks like Theorist, and consistency based diagnosis (today's \"canonical\" frameworks for diagnosis) are shown to be captured in our work.","abstract_html":"We propose sometimes very plausible hypotheses as explanations for an observation, given what we know or believe. In light of new information, however, such explanations may become void. Under this view explanations are defeasible. In this thesis we present a general model of explanation in artificial intelligence based on a theory of belief revision, (or the process of expanding, correcting and contracting existing beliefs) which models the dynamics of belief in a given representation. We take seriously the notion that explanations can be constructed from default knowledge and should be determined relative to a background set of beliefs. Based on the idea that an explanation should not only render the observation plausible but be itself maximally plausible, a preference ordering on explanations naturally arises. Our model of abduction (the process of inferring the preferred explanations) uses existing conditional logics for default reasoning and belief revision, based on standard modal systems. We end up with a semantics for explanation in terms of sets of possible worlds, which are simple modal structures also suitable for other forms of defeasible reasoning. The result of this thesis is an object-level account of abduction based on the revision of the epistemic state of a program or agent. Abductive frameworks like Theorist, and consistency based diagnosis (today's "canonical" frameworks for diagnosis) are shown to be captured in our work.","abstract_has_math":false,"creators":["Becher, Verónica"],"institution":"University of British Columbia","degree_name":"Master of Science - MSc","degree_level":"master's","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":1993,"date_issued":"1993","date_published":"1993","updated_at":"2026-07-24T05:07:15Z","subjects":[],"languages":["eng"],"rights":["For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use."],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2429/1281","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Becher, Verónica"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["1993"]},{"key":"dc:publisher","label":"Institution","values":["University of British Columbia"]},{"key":"dc:type","label":"Dc Type","values":["Text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["master's"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Master of Science - MSc"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of British Columbia"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use."]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2429/1281","http://circle.library.ubc.ca/bitstream/2429/1281/3/ubc_1993_spring_becher_veronica.pdf"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["We propose sometimes very plausible hypotheses as explanations for an observation, given what we know or believe. In light of new information, however, such explanations may become void. Under this view explanations are defeasible. In this thesis we present a general model of explanation in artificial intelligence based on a theory of belief revision, (or the process of expanding, correcting and contracting existing beliefs) which models the dynamics of belief in a given representation. We take seriously the notion that explanations can be constructed from default knowledge and should be determined relative to a background set of beliefs. Based on the idea that an explanation should not only render the observation plausible but be itself maximally plausible, a preference ordering on explanations naturally arises. Our model of abduction (the process of inferring the preferred explanations) uses existing conditional logics for default reasoning and belief revision, based on standard modal systems. We end up with a semantics for explanation in terms of sets of possible worlds, which are simple modal structures also suitable for other forms of defeasible reasoning. The result of this thesis is an object-level account of abduction based on the revision of the epistemic state of a program or agent. Abductive frameworks like Theorist, and consistency based diagnosis (today's \"canonical\" frameworks for diagnosis) are shown to be captured in our work."]},{"key":"dc:format","label":"Dc Format","values":["5167089","application/pdf"]},{"key":"dc:title","label":"Title","values":["A conditional model of abduction"]}]}],"canonical_facts":{"dc:creator":["Becher, Verónica"],"dc:date":["1993"],"dc:description":["We propose sometimes very plausible hypotheses as explanations for an observation, given what we know or believe. In light of new information, however, such explanations may become void. Under this view explanations are defeasible. In this thesis we present a general model of explanation in artificial intelligence based on a theory of belief revision, (or the process of expanding, correcting and contracting existing beliefs) which models the dynamics of belief in a given representation. We take seriously the notion that explanations can be constructed from default knowledge and should be determined relative to a background set of beliefs. Based on the idea that an explanation should not only render the observation plausible but be itself maximally plausible, a preference ordering on explanations naturally arises. Our model of abduction (the process of inferring the preferred explanations) uses existing conditional logics for default reasoning and belief revision, based on standard modal systems. We end up with a semantics for explanation in terms of sets of possible worlds, which are simple modal structures also suitable for other forms of defeasible reasoning. The result of this thesis is an object-level account of abduction based on the revision of the epistemic state of a program or agent. Abductive frameworks like Theorist, and consistency based diagnosis (today's \"canonical\" frameworks for diagnosis) are shown to be captured in our work."],"dc:format":["5167089","application/pdf"],"dc:identifier":["http://hdl.handle.net/2429/1281","http://circle.library.ubc.ca/bitstream/2429/1281/3/ubc_1993_spring_becher_veronica.pdf"],"dc:language":["eng"],"dc:publisher":["University of British Columbia"],"dc:rights":["For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use."],"dc:title":["A conditional model of abduction"],"dc:type":["Text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["master's"],"thesis:degree_name":["Master of Science - MSc"],"thesis:institution_name":["University of British Columbia"]},"updated_at":"2026-07-24T05:07:15Z"}