dc.date.accessioned | 2020-04-30T18:52:13Z | |
dc.date.available | 2020-04-30T18:52:13Z | |
dc.date.created | 2019-12-09T14:41:11Z | |
dc.date.issued | 2019 | |
dc.identifier.citation | Din, Crystal Chang Karlsen, Leif Harald Pene, Irina Stahl, Oliver Yu, Ingrid Chieh Østerlie, Thomas . Geological Multi-scenario Reasoning. NIK: Norsk Informatikkonferanse. 2019 | |
dc.identifier.uri | http://hdl.handle.net/10852/74999 | |
dc.description.abstract | In the oil and gas industry, during exploration prospect assessment, explorationists rely on ad hoc manual work practices and tools for developing and communicating multiple hypothetical geological scenarios of the prospect. This leaves them with little efficient means to make the fullest use of state of the art digital technologies to communicate and systematically compare and assess different hypothetical geological scenarios before deciding which scenario to pursue. In this paper we present a formal framework for geological multi-scenario reasoning, a novel tool-based method for geologically oriented subsurface evaluation. The methodology applies formal methods and logic-based techniques to subsurface evaluation and expresses interpretive uncertainty as discrete scenarios with branches of potential alternatives. This framework consists of (i) a proto-scenario generator that takes user observations and geological evidence as input and generates semantically valid initial states based on formalized geological knowledge in first-order logic (ii) geological processes formalized as a rewrite theory that are executable in Maude. By applying geological rewrite rules onto the proto-scenarios, we are able to assist explorationists with multi-scenario generation and reasoning beyond human capacity. | en_US |
dc.language | EN | |
dc.publisher | Bibsys Open Journal Systems | |
dc.title | Geological Multi-scenario Reasoning | en_US |
dc.type | Journal article | en_US |
dc.creator.author | Din, Crystal Chang | |
dc.creator.author | Karlsen, Leif Harald | |
dc.creator.author | Pene, Irina | |
dc.creator.author | Stahl, Oliver | |
dc.creator.author | Yu, Ingrid Chieh | |
dc.creator.author | Østerlie, Thomas | |
cristin.unitcode | 185,15,5,80 | |
cristin.unitname | Centre for Scalable Data Access | |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 | |
dc.identifier.cristin | 1758355 | |
dc.identifier.bibliographiccitation | info:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=NIK: Norsk Informatikkonferanse&rft.volume=&rft.spage=&rft.date=2019 | |
dc.identifier.jtitle | NIK: Norsk Informatikkonferanse | |
dc.identifier.pagecount | 12 | |
dc.identifier.urn | URN:NBN:no-78077 | |
dc.type.document | Tidsskriftartikkel | en_US |
dc.type.peerreviewed | Peer reviewed | |
dc.source.issn | 1892-0713 | |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/74999/1/640-Article%2BText-1327-1-10-20191114%2B%25281%2529.pdf | |
dc.type.version | PublishedVersion | |
dc.relation.project | NFR/237898 | |