Matches in SemOpenAlex for { <https://semopenalex.org/work/W820320177> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W820320177 abstract "Situation logic proposed by Barwise and Perry [BP83; BAR84; BAR85] has been paid much attention in the natural langauge and discourse understanding. One of its major contributions is the analysis of the meaning of sentences based on the constraints between the situation types. In particular, Barwise used the situation semantics in interpreting conditionals [BAR85] . Recently, based on Barwise and Perry's work, Lee and Yoo [LY86] proposed a treatment of even-if statements in English based on the situation semantics. They classified the even-if statements into two cases (necessary and sufficient conditions) and suggest the constraint updating strategy according to the change of background conditions for each cases. In this paper, we propose the computational model of the situation semantics and show how this model can handle the conditionals and evenif statments. For this, we use the knowledge representation system developed at KAIST called the PROKB (PROlog Knowledge Base) system [1-ILC86]. It is basically based on the Prolog, which is one of the Artificial Intelligence (AI) language and can support the semantic networks, frames, and logical representation as the representational formalism. It also provides several programming paradigms such as the logic programming, object-oriented and access-oriented programming paradigms which are useful for a number of AI applications. We also present the representational scheme for the situation types and the involve relations and the mechanism to handle and maintain the involve relations. By combing situation logic with the conventional knowledge representation system in AI, we can get more expressiveness power. For example, the domain knowledge represented in the knowledge base can be" @default.
- W820320177 created "2016-06-24" @default.
- W820320177 creator A5058166292 @default.
- W820320177 creator A5079040274 @default.
- W820320177 date "1988-01-01" @default.
- W820320177 modified "2023-09-26" @default.
- W820320177 title "Computational Considerations on Interpreting Even If Conditionals" @default.
- W820320177 cites W1860592703 @default.
- W820320177 cites W1935274614 @default.
- W820320177 cites W2001722583 @default.
- W820320177 cites W2011851756 @default.
- W820320177 cites W2155322595 @default.
- W820320177 cites W2157368609 @default.
- W820320177 cites W2159525276 @default.
- W820320177 cites W2163851465 @default.
- W820320177 cites W61101914 @default.
- W820320177 cites W81485047 @default.
- W820320177 hasPublicationYear "1988" @default.
- W820320177 type Work @default.
- W820320177 sameAs 820320177 @default.
- W820320177 citedByCount "0" @default.
- W820320177 crossrefType "journal-article" @default.
- W820320177 hasAuthorship W820320177A5058166292 @default.
- W820320177 hasAuthorship W820320177A5079040274 @default.
- W820320177 hasConcept C128838566 @default.
- W820320177 hasConcept C154945302 @default.
- W820320177 hasConcept C161301231 @default.
- W820320177 hasConcept C184337299 @default.
- W820320177 hasConcept C199360897 @default.
- W820320177 hasConcept C204321447 @default.
- W820320177 hasConcept C41008148 @default.
- W820320177 hasConcept C4554734 @default.
- W820320177 hasConcept C80444323 @default.
- W820320177 hasConcept C81721847 @default.
- W820320177 hasConceptScore W820320177C128838566 @default.
- W820320177 hasConceptScore W820320177C154945302 @default.
- W820320177 hasConceptScore W820320177C161301231 @default.
- W820320177 hasConceptScore W820320177C184337299 @default.
- W820320177 hasConceptScore W820320177C199360897 @default.
- W820320177 hasConceptScore W820320177C204321447 @default.
- W820320177 hasConceptScore W820320177C41008148 @default.
- W820320177 hasConceptScore W820320177C4554734 @default.
- W820320177 hasConceptScore W820320177C80444323 @default.
- W820320177 hasConceptScore W820320177C81721847 @default.
- W820320177 hasLocation W8203201771 @default.
- W820320177 hasOpenAccess W820320177 @default.
- W820320177 hasPrimaryLocation W8203201771 @default.
- W820320177 hasRelatedWork W1221003807 @default.
- W820320177 hasRelatedWork W1488342169 @default.
- W820320177 hasRelatedWork W1681511886 @default.
- W820320177 hasRelatedWork W1740315750 @default.
- W820320177 hasRelatedWork W2031620409 @default.
- W820320177 hasRelatedWork W2111545607 @default.
- W820320177 hasRelatedWork W2124958952 @default.
- W820320177 hasRelatedWork W2139567403 @default.
- W820320177 hasRelatedWork W2143466442 @default.
- W820320177 hasRelatedWork W2145092234 @default.
- W820320177 hasRelatedWork W2157676069 @default.
- W820320177 hasRelatedWork W2270016360 @default.
- W820320177 hasRelatedWork W2293486410 @default.
- W820320177 hasRelatedWork W2408428217 @default.
- W820320177 hasRelatedWork W2616003072 @default.
- W820320177 hasRelatedWork W2791120317 @default.
- W820320177 hasRelatedWork W2982527968 @default.
- W820320177 hasRelatedWork W33188510 @default.
- W820320177 hasRelatedWork W37999767 @default.
- W820320177 hasRelatedWork W69444051 @default.
- W820320177 isParatext "false" @default.
- W820320177 isRetracted "false" @default.
- W820320177 magId "820320177" @default.
- W820320177 workType "article" @default.