Matches in SemOpenAlex for { <https://semopenalex.org/work/W88334346> ?p ?o ?g. }
- W88334346 endingPage "118" @default.
- W88334346 startingPage "105" @default.
- W88334346 abstract "The frame problem is about the things that stay the same and not the things that change. The two are not equivalent. The frame problem is more general than the situation calculus. It seems to appear in just about any temporal notation. When it does appear, it puts a severe strain on the inferential resources available in a deductive framework, even when deduction is extended non-monotonically. On the other hand, it is not obvious that the frame problem is a serious issue outside the context of logic. This chapter discusses inertia problem and ramification problem. The ramification problem is dealt with by selecting a model of the current situation and using it to make inferences. The inertia problem has always looked like an excellent opportunity to apply non-monotonic logic which, as everyone knows by now, is the name given to logical systems in which adding axioms can cause proofs to disappear. Most AI practitioners confront and solve the inertia problem without even noticing it. It would be different if theorem proving played a large role in problem solving, but it does not. The inertia problem is of interest mainly to a fringe group, those who believe that logical analyses are relevant to building knowledge representations. Logic is valuable as a tool for organizing the semantics of knowledge representations. If the inertia problem needs to be solved, then model theory may well prove indispensable to its solution." @default.
- W88334346 created "2016-06-24" @default.
- W88334346 creator A5016161592 @default.
- W88334346 date "1987-01-01" @default.
- W88334346 modified "2023-10-16" @default.
- W88334346 title "AI, Logic, and the Frame Problem" @default.
- W88334346 cites W122836976 @default.
- W88334346 cites W1497201281 @default.
- W88334346 cites W1521838877 @default.
- W88334346 cites W1766332311 @default.
- W88334346 cites W1784061619 @default.
- W88334346 cites W1986896321 @default.
- W88334346 cites W1996347293 @default.
- W88334346 cites W1998363560 @default.
- W88334346 cites W1998668381 @default.
- W88334346 cites W2039358567 @default.
- W88334346 cites W2053190303 @default.
- W88334346 cites W2104351678 @default.
- W88334346 cites W2119409989 @default.
- W88334346 cites W2120465900 @default.
- W88334346 cites W2122540544 @default.
- W88334346 cites W2132950849 @default.
- W88334346 cites W2138162238 @default.
- W88334346 cites W2155322595 @default.
- W88334346 cites W2337392266 @default.
- W88334346 cites W2912848477 @default.
- W88334346 cites W2945259913 @default.
- W88334346 cites W68877015 @default.
- W88334346 cites W1596846951 @default.
- W88334346 doi "https://doi.org/10.1016/b978-0-934613-32-3.50013-7" @default.
- W88334346 hasPublicationYear "1987" @default.
- W88334346 type Work @default.
- W88334346 sameAs 88334346 @default.
- W88334346 citedByCount "13" @default.
- W88334346 crossrefType "book-chapter" @default.
- W88334346 hasAuthorship W88334346A5016161592 @default.
- W88334346 hasConcept C108710211 @default.
- W88334346 hasConcept C110407247 @default.
- W88334346 hasConcept C121332964 @default.
- W88334346 hasConcept C126042441 @default.
- W88334346 hasConcept C134306372 @default.
- W88334346 hasConcept C136119220 @default.
- W88334346 hasConcept C151730666 @default.
- W88334346 hasConcept C154945302 @default.
- W88334346 hasConcept C167729594 @default.
- W88334346 hasConcept C199343813 @default.
- W88334346 hasConcept C202444582 @default.
- W88334346 hasConcept C2524010 @default.
- W88334346 hasConcept C2777686260 @default.
- W88334346 hasConcept C2779343474 @default.
- W88334346 hasConcept C2780589192 @default.
- W88334346 hasConcept C33923547 @default.
- W88334346 hasConcept C41008148 @default.
- W88334346 hasConcept C45357846 @default.
- W88334346 hasConcept C5065155 @default.
- W88334346 hasConcept C71924100 @default.
- W88334346 hasConcept C72169020 @default.
- W88334346 hasConcept C74650414 @default.
- W88334346 hasConcept C76155785 @default.
- W88334346 hasConcept C86803240 @default.
- W88334346 hasConcept C94375191 @default.
- W88334346 hasConceptScore W88334346C108710211 @default.
- W88334346 hasConceptScore W88334346C110407247 @default.
- W88334346 hasConceptScore W88334346C121332964 @default.
- W88334346 hasConceptScore W88334346C126042441 @default.
- W88334346 hasConceptScore W88334346C134306372 @default.
- W88334346 hasConceptScore W88334346C136119220 @default.
- W88334346 hasConceptScore W88334346C151730666 @default.
- W88334346 hasConceptScore W88334346C154945302 @default.
- W88334346 hasConceptScore W88334346C167729594 @default.
- W88334346 hasConceptScore W88334346C199343813 @default.
- W88334346 hasConceptScore W88334346C202444582 @default.
- W88334346 hasConceptScore W88334346C2524010 @default.
- W88334346 hasConceptScore W88334346C2777686260 @default.
- W88334346 hasConceptScore W88334346C2779343474 @default.
- W88334346 hasConceptScore W88334346C2780589192 @default.
- W88334346 hasConceptScore W88334346C33923547 @default.
- W88334346 hasConceptScore W88334346C41008148 @default.
- W88334346 hasConceptScore W88334346C45357846 @default.
- W88334346 hasConceptScore W88334346C5065155 @default.
- W88334346 hasConceptScore W88334346C71924100 @default.
- W88334346 hasConceptScore W88334346C72169020 @default.
- W88334346 hasConceptScore W88334346C74650414 @default.
- W88334346 hasConceptScore W88334346C76155785 @default.
- W88334346 hasConceptScore W88334346C86803240 @default.
- W88334346 hasConceptScore W88334346C94375191 @default.
- W88334346 hasLocation W883343461 @default.
- W88334346 hasOpenAccess W88334346 @default.
- W88334346 hasPrimaryLocation W883343461 @default.
- W88334346 hasRelatedWork W153061534 @default.
- W88334346 hasRelatedWork W1589167839 @default.
- W88334346 hasRelatedWork W1597503360 @default.
- W88334346 hasRelatedWork W2006738574 @default.
- W88334346 hasRelatedWork W2537513979 @default.
- W88334346 hasRelatedWork W2763181606 @default.
- W88334346 hasRelatedWork W2889185941 @default.
- W88334346 hasRelatedWork W2962698192 @default.
- W88334346 hasRelatedWork W4293319383 @default.