Matches in SemOpenAlex for { <https://semopenalex.org/work/W1691969440> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1691969440 endingPage "159" @default.
- W1691969440 startingPage "145" @default.
- W1691969440 abstract "A Knowledge Representation service for a knowledge-based system (or agent) can be viewed as providing, at the very least, two operations that (a) give precise information about what is and is not believed (ASK) and (b) add new facts to the knowledge base when they become available (TELL). An appropriate model of belief for such operations should support the notion that only certain facts are believed, in particular those that have been added to a knowledge base via TELL. For logically omniscient and fully introspective agents, models of this kind lead to intractable ASK and TELL operations. In this paper, we show that tractability can be retained by giving up logical omniscience, but without sacrificing full introspection. This is done within the framework of a propositional logic of belief. In particular, the logic allows us to express that only a sentence (or finite set of them) is believed. We show that the validity of certain classes of sentences involving belief can be decided efficiently. These results are then applied to the specification of efficient TELL and ASK operations." @default.
- W1691969440 created "2016-06-24" @default.
- W1691969440 creator A5005730180 @default.
- W1691969440 creator A5025681351 @default.
- W1691969440 date "1988-03-07" @default.
- W1691969440 modified "2023-09-23" @default.
- W1691969440 title "A tractable knowledge representation service with full introspection" @default.
- W1691969440 cites W107342799 @default.
- W1691969440 cites W1487409515 @default.
- W1691969440 cites W1525141167 @default.
- W1691969440 cites W1570099385 @default.
- W1691969440 cites W168384132 @default.
- W1691969440 cites W198933960 @default.
- W1691969440 cites W2021693981 @default.
- W1691969440 cites W2089296451 @default.
- W1691969440 cites W2148717074 @default.
- W1691969440 cites W2157342732 @default.
- W1691969440 hasPublicationYear "1988" @default.
- W1691969440 type Work @default.
- W1691969440 sameAs 1691969440 @default.
- W1691969440 citedByCount "6" @default.
- W1691969440 crossrefType "proceedings-article" @default.
- W1691969440 hasAuthorship W1691969440A5005730180 @default.
- W1691969440 hasAuthorship W1691969440A5025681351 @default.
- W1691969440 hasConcept C111472728 @default.
- W1691969440 hasConcept C128913409 @default.
- W1691969440 hasConcept C129671850 @default.
- W1691969440 hasConcept C136264566 @default.
- W1691969440 hasConcept C138885662 @default.
- W1691969440 hasConcept C154945302 @default.
- W1691969440 hasConcept C161301231 @default.
- W1691969440 hasConcept C162324750 @default.
- W1691969440 hasConcept C177264268 @default.
- W1691969440 hasConcept C17744445 @default.
- W1691969440 hasConcept C199360897 @default.
- W1691969440 hasConcept C199539241 @default.
- W1691969440 hasConcept C2776127325 @default.
- W1691969440 hasConcept C2776359362 @default.
- W1691969440 hasConcept C41008148 @default.
- W1691969440 hasConcept C4554734 @default.
- W1691969440 hasConcept C69562738 @default.
- W1691969440 hasConcept C80444323 @default.
- W1691969440 hasConcept C90329073 @default.
- W1691969440 hasConcept C94625758 @default.
- W1691969440 hasConceptScore W1691969440C111472728 @default.
- W1691969440 hasConceptScore W1691969440C128913409 @default.
- W1691969440 hasConceptScore W1691969440C129671850 @default.
- W1691969440 hasConceptScore W1691969440C136264566 @default.
- W1691969440 hasConceptScore W1691969440C138885662 @default.
- W1691969440 hasConceptScore W1691969440C154945302 @default.
- W1691969440 hasConceptScore W1691969440C161301231 @default.
- W1691969440 hasConceptScore W1691969440C162324750 @default.
- W1691969440 hasConceptScore W1691969440C177264268 @default.
- W1691969440 hasConceptScore W1691969440C17744445 @default.
- W1691969440 hasConceptScore W1691969440C199360897 @default.
- W1691969440 hasConceptScore W1691969440C199539241 @default.
- W1691969440 hasConceptScore W1691969440C2776127325 @default.
- W1691969440 hasConceptScore W1691969440C2776359362 @default.
- W1691969440 hasConceptScore W1691969440C41008148 @default.
- W1691969440 hasConceptScore W1691969440C4554734 @default.
- W1691969440 hasConceptScore W1691969440C69562738 @default.
- W1691969440 hasConceptScore W1691969440C80444323 @default.
- W1691969440 hasConceptScore W1691969440C90329073 @default.
- W1691969440 hasConceptScore W1691969440C94625758 @default.
- W1691969440 hasLocation W16919694401 @default.
- W1691969440 hasOpenAccess W1691969440 @default.
- W1691969440 hasPrimaryLocation W16919694401 @default.
- W1691969440 hasRelatedWork W1481983611 @default.
- W1691969440 hasRelatedWork W1531751116 @default.
- W1691969440 hasRelatedWork W156832481 @default.
- W1691969440 hasRelatedWork W1585029676 @default.
- W1691969440 hasRelatedWork W196428740 @default.
- W1691969440 hasRelatedWork W1966552757 @default.
- W1691969440 hasRelatedWork W1976904791 @default.
- W1691969440 hasRelatedWork W1991972474 @default.
- W1691969440 hasRelatedWork W2021693981 @default.
- W1691969440 hasRelatedWork W2023605209 @default.
- W1691969440 hasRelatedWork W2032206951 @default.
- W1691969440 hasRelatedWork W2037576563 @default.
- W1691969440 hasRelatedWork W2065653710 @default.
- W1691969440 hasRelatedWork W2073373533 @default.
- W1691969440 hasRelatedWork W2076073997 @default.
- W1691969440 hasRelatedWork W2148717074 @default.
- W1691969440 hasRelatedWork W2157342732 @default.
- W1691969440 hasRelatedWork W2414735778 @default.
- W1691969440 hasRelatedWork W3144889436 @default.
- W1691969440 hasRelatedWork W7088583 @default.
- W1691969440 isParatext "false" @default.
- W1691969440 isRetracted "false" @default.
- W1691969440 magId "1691969440" @default.
- W1691969440 workType "article" @default.