1
IRUS TotalDownloads
Altmetric
Compiled only knowing
| File | Description | Size | Format | |
|---|---|---|---|---|
 DTR02-9.pdf | Published version | 194.56 kB | Adobe PDF | View/Open |
| Title: | Compiled only knowing |
| Authors: | Bjurling, B Broda, K |
| Item Type: | Report |
| Abstract: | We report on a sound and complete proof system, COOL, for the propositional fragment of Hector Levesque’s nonmonotonic logic ‘The Logic of Only Knowing’ [Lev90]. The proof system is devised using the framework of compiled labelled deductive systems [BrGaRu00], which enables a translation of COOL-theories into theories of first order logic. With this first order translation, we are able to perform OL-derivations in standard first order theorem provers. The main events in the report are the soundness and completeness theorems for COOL. |
| Issue Date: | 1-Jan-2002 |
| URI: | http://hdl.handle.net/10044/1/95722 |
| DOI: | https://doi.org/10.25561/95722 |
| Publisher: | Department of Computing, Imperial College London |
| Start Page: | 1 |
| End Page: | 24 |
| Journal / Book Title: | Departmental Technical Report: 02/09 |
| Copyright Statement: | © 2002 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/) |
| Publication Status: | Published |
| Article Number: | 02/9 |
| Appears in Collections: | Computing Computing Technical Reports |
This item is licensed under a Creative Commons License
