FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2015250277> ?p ?o ?g. }

• W2015250277 endingPage "155" @default.
• W2015250277 startingPage "129" @default.
• W2015250277 abstract "Chapman's paper, “Planning for conjunctive goals”, has been widely acknowledged for its contribution toward understanding the nature of partial-order planning, and it has been one of the bases of later work by others—but it is not free of problems. This paper addresses some problems involving modal truth and the modal truth criterion (MTC). Our results are as follows: (i) Even though modal duality is a fundamental property of classical modal logics, it does not hold for modal truth in Chapman's plans; i.e., “necessarily p ” is not equivalent to “not possibly - p ”. (ii) Although the MTC for necessary truth is correct, the MTC for possible truth is incorrect: it provides necessary but insufficient conditions for ensuring possible truth. Furthermore, even though necessary truth can be determined in polynomial time, possible truth is NP-hard. (iii) If we rewrite the MTC to talk about modal conditional truth (i.e., modal truth conditional on executability) rather than modal truth, then both the MTC for necessary conditional truth and the MTC for possible conditional truth are correct; and both can be computed in polynomial time. (iv) The MTC plays a different role in plan generation than it does in checking the correctness of plans, and this has led to several misconceptions about the MTC. Several researchers have mistakenly attempted to simplify the MTC by eliminating the white-knight declobbering clause from it; and others have used Chapman's results to conjecture that partial-order planning will not scale up to more expressive action representations. We point out that these ideas are misconceptions, and explain why." @default.
• W2015250277 created "2016-06-24" @default.
• W2015250277 creator A5023323170 @default.
• W2015250277 creator A5084686808 @default.
• W2015250277 date "1996-04-01" @default.
• W2015250277 modified "2023-09-29" @default.
• W2015250277 title "On the nature and role of modal truth criteria in planning" @default.
• W2015250277 cites W125130877 @default.
• W2015250277 cites W129916058 @default.
• W2015250277 cites W1483265689 @default.
• W2015250277 cites W1491690797 @default.
• W2015250277 cites W1492581928 @default.
• W2015250277 cites W1555624474 @default.
• W2015250277 cites W1574129634 @default.
• W2015250277 cites W1594805564 @default.
• W2015250277 cites W1597187627 @default.
• W2015250277 cites W1699282338 @default.
• W2015250277 cites W1771957 @default.
• W2015250277 cites W1780207813 @default.
• W2015250277 cites W1819330922 @default.
• W2015250277 cites W1983792103 @default.
• W2015250277 cites W1990430111 @default.
• W2015250277 cites W199051826 @default.
• W2015250277 cites W2011039300 @default.
• W2015250277 cites W2021728282 @default.
• W2015250277 cites W2022090818 @default.
• W2015250277 cites W2037210683 @default.
• W2015250277 cites W2054497239 @default.
• W2015250277 cites W2079138018 @default.
• W2015250277 cites W2086784214 @default.
• W2015250277 cites W2111889273 @default.
• W2015250277 cites W2121136891 @default.
• W2015250277 cites W2125789851 @default.
• W2015250277 cites W2126107263 @default.
• W2015250277 cites W2138202987 @default.
• W2015250277 cites W2166971042 @default.
• W2015250277 cites W2171798962 @default.
• W2015250277 cites W4789806 @default.
• W2015250277 cites W51446513 @default.
• W2015250277 cites W2002252750 @default.
• W2015250277 doi "https://doi.org/10.1016/0004-3702(94)00095-6" @default.
• W2015250277 hasPublicationYear "1996" @default.
• W2015250277 type Work @default.
• W2015250277 sameAs 2015250277 @default.
• W2015250277 citedByCount "15" @default.
• W2015250277 countsByYear W20152502772012 @default.
• W2015250277 countsByYear W20152502772020 @default.
• W2015250277 crossrefType "journal-article" @default.
• W2015250277 hasAuthorship W2015250277A5023323170 @default.
• W2015250277 hasAuthorship W2015250277A5084686808 @default.
• W2015250277 hasBestOaLocation W20152502771 @default.
• W2015250277 hasConcept C111472728 @default.
• W2015250277 hasConcept C11413529 @default.
• W2015250277 hasConcept C118615104 @default.
• W2015250277 hasConcept C138885662 @default.
• W2015250277 hasConcept C146849305 @default.
• W2015250277 hasConcept C154945302 @default.
• W2015250277 hasConcept C185592680 @default.
• W2015250277 hasConcept C188027245 @default.
• W2015250277 hasConcept C199360897 @default.
• W2015250277 hasConcept C2777152325 @default.
• W2015250277 hasConcept C2778023678 @default.
• W2015250277 hasConcept C33923547 @default.
• W2015250277 hasConcept C41008148 @default.
• W2015250277 hasConcept C46274116 @default.
• W2015250277 hasConcept C55439883 @default.
• W2015250277 hasConcept C71139939 @default.
• W2015250277 hasConcept C74727942 @default.
• W2015250277 hasConceptScore W2015250277C111472728 @default.
• W2015250277 hasConceptScore W2015250277C11413529 @default.
• W2015250277 hasConceptScore W2015250277C118615104 @default.
• W2015250277 hasConceptScore W2015250277C138885662 @default.
• W2015250277 hasConceptScore W2015250277C146849305 @default.
• W2015250277 hasConceptScore W2015250277C154945302 @default.
• W2015250277 hasConceptScore W2015250277C185592680 @default.
• W2015250277 hasConceptScore W2015250277C188027245 @default.
• W2015250277 hasConceptScore W2015250277C199360897 @default.
• W2015250277 hasConceptScore W2015250277C2777152325 @default.
• W2015250277 hasConceptScore W2015250277C2778023678 @default.
• W2015250277 hasConceptScore W2015250277C33923547 @default.
• W2015250277 hasConceptScore W2015250277C41008148 @default.
• W2015250277 hasConceptScore W2015250277C46274116 @default.
• W2015250277 hasConceptScore W2015250277C55439883 @default.
• W2015250277 hasConceptScore W2015250277C71139939 @default.
• W2015250277 hasConceptScore W2015250277C74727942 @default.
• W2015250277 hasIssue "1-2" @default.
• W2015250277 hasLocation W20152502771 @default.
• W2015250277 hasLocation W20152502772 @default.
• W2015250277 hasLocation W20152502773 @default.
• W2015250277 hasOpenAccess W2015250277 @default.
• W2015250277 hasPrimaryLocation W20152502771 @default.
• W2015250277 hasRelatedWork W150180408 @default.
• W2015250277 hasRelatedWork W1540581533 @default.
• W2015250277 hasRelatedWork W1929904854 @default.
• W2015250277 hasRelatedWork W2055730779 @default.
• W2015250277 hasRelatedWork W2106381645 @default.
• W2015250277 hasRelatedWork W2349592394 @default.
• W2015250277 hasRelatedWork W2368570364 @default.

• next