Matches in SemOpenAlex for { <https://semopenalex.org/work/W2523373054> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2523373054 endingPage "56" @default.
- W2523373054 startingPage "49" @default.
- W2523373054 abstract "In many AI contexts, such as natural language processing, sensing, and multi-agent systems, it is desirable to represent the information in a sentence in a formal and unambiguous way – in other words, to treat the intension of a sentence as a unique formal object. Standard intensional logics, which use a Kripke-style semantics, cannot do this, because Kripke structures do not contain enough worlds to ensure that different informations are represented by different sets of worlds. In this paper we present I-logic, a formal language in which the information in a sentence can be uniquely and unambiguously represented. I-logic, which is based on a subset of Montague’s Intensional logic, has an information semantics that evaluates intensions over all possible worlds. We define I-logic and its semantics, and show by example that it can capture the information in a sentence uniquely and unambiguously." @default.
- W2523373054 created "2016-09-30" @default.
- W2523373054 creator A5080540581 @default.
- W2523373054 creator A5090754913 @default.
- W2523373054 date "2007-01-01" @default.
- W2523373054 modified "2023-09-24" @default.
- W2523373054 title "I-logic: An intensional logic of informations" @default.
- W2523373054 cites W1519238856 @default.
- W2523373054 cites W1599533611 @default.
- W2523373054 cites W1991972474 @default.
- W2523373054 cites W2005814072 @default.
- W2523373054 cites W2051167594 @default.
- W2523373054 cites W2146819619 @default.
- W2523373054 cites W2895384029 @default.
- W2523373054 cites W3191320734 @default.
- W2523373054 hasPublicationYear "2007" @default.
- W2523373054 type Work @default.
- W2523373054 sameAs 2523373054 @default.
- W2523373054 citedByCount "0" @default.
- W2523373054 crossrefType "journal-article" @default.
- W2523373054 hasAuthorship W2523373054A5080540581 @default.
- W2523373054 hasAuthorship W2523373054A5090754913 @default.
- W2523373054 hasConcept C102993220 @default.
- W2523373054 hasConcept C138885662 @default.
- W2523373054 hasConcept C146499914 @default.
- W2523373054 hasConcept C154945302 @default.
- W2523373054 hasConcept C169896238 @default.
- W2523373054 hasConcept C184337299 @default.
- W2523373054 hasConcept C199360897 @default.
- W2523373054 hasConcept C203659156 @default.
- W2523373054 hasConcept C204321447 @default.
- W2523373054 hasConcept C2777530160 @default.
- W2523373054 hasConcept C2781238097 @default.
- W2523373054 hasConcept C34849589 @default.
- W2523373054 hasConcept C41008148 @default.
- W2523373054 hasConcept C41895202 @default.
- W2523373054 hasConcept C61341680 @default.
- W2523373054 hasConceptScore W2523373054C102993220 @default.
- W2523373054 hasConceptScore W2523373054C138885662 @default.
- W2523373054 hasConceptScore W2523373054C146499914 @default.
- W2523373054 hasConceptScore W2523373054C154945302 @default.
- W2523373054 hasConceptScore W2523373054C169896238 @default.
- W2523373054 hasConceptScore W2523373054C184337299 @default.
- W2523373054 hasConceptScore W2523373054C199360897 @default.
- W2523373054 hasConceptScore W2523373054C203659156 @default.
- W2523373054 hasConceptScore W2523373054C204321447 @default.
- W2523373054 hasConceptScore W2523373054C2777530160 @default.
- W2523373054 hasConceptScore W2523373054C2781238097 @default.
- W2523373054 hasConceptScore W2523373054C34849589 @default.
- W2523373054 hasConceptScore W2523373054C41008148 @default.
- W2523373054 hasConceptScore W2523373054C41895202 @default.
- W2523373054 hasConceptScore W2523373054C61341680 @default.
- W2523373054 hasLocation W25233730541 @default.
- W2523373054 hasOpenAccess W2523373054 @default.
- W2523373054 hasPrimaryLocation W25233730541 @default.
- W2523373054 hasRelatedWork W1860761177 @default.
- W2523373054 hasRelatedWork W2006574118 @default.
- W2523373054 hasRelatedWork W2012767403 @default.
- W2523373054 hasRelatedWork W2036748811 @default.
- W2523373054 hasRelatedWork W2051636912 @default.
- W2523373054 hasRelatedWork W2073775828 @default.
- W2523373054 hasRelatedWork W2081613259 @default.
- W2523373054 hasRelatedWork W2181387100 @default.
- W2523373054 hasRelatedWork W2184413803 @default.
- W2523373054 hasRelatedWork W2425169737 @default.
- W2523373054 hasRelatedWork W2472215201 @default.
- W2523373054 hasRelatedWork W2545758421 @default.
- W2523373054 hasRelatedWork W2739393792 @default.
- W2523373054 hasRelatedWork W2911538936 @default.
- W2523373054 hasRelatedWork W2914014638 @default.
- W2523373054 hasRelatedWork W3027065726 @default.
- W2523373054 hasRelatedWork W3110515833 @default.
- W2523373054 hasRelatedWork W3121221891 @default.
- W2523373054 hasRelatedWork W152841334 @default.
- W2523373054 hasRelatedWork W1989935310 @default.
- W2523373054 isParatext "false" @default.
- W2523373054 isRetracted "false" @default.
- W2523373054 magId "2523373054" @default.
- W2523373054 workType "article" @default.