Matches in SemOpenAlex for { <https://semopenalex.org/work/W2161586357> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2161586357 endingPage "172" @default.
- W2161586357 startingPage "155" @default.
- W2161586357 abstract "In this paper we present contributions towards a logical theory of diagnosis for systems that can be affected by the actions of agents. Specifically, we examine the task of conjecturing diagnoses to explain what happened to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We characterize what happened by introducing the notion of explanatory diagnosis in the language of the situation calculus. Explanatory diagnoses conjecture sequences of actions to account for a change in system behaviour. As such, we show that determining an explanatory diagnosis is analogous to classical AI planning with state constraints and incomplete knowledge. The representation scheme we employ provides an axiomatic solution to the frame, ramification and qualification problems for a syntactically restricted class of state constraints. Exploiting this representation, we show that determining an explanatory diagnosis can be achieved by regression followed by theorem proving in the database describing what is known of the initial state of our system. Further, we show that by exploiting features inherent to diagnosis problems, we can simplify the diagnosis task." @default.
- W2161586357 created "2016-06-24" @default.
- W2161586357 creator A5041982650 @default.
- W2161586357 date "1999-01-01" @default.
- W2161586357 modified "2023-09-23" @default.
- W2161586357 title "Explanatory Diagnosis: Conjecturing Actions to Explain Observations" @default.
- W2161586357 cites W1489545711 @default.
- W2161586357 cites W1527767420 @default.
- W2161586357 cites W1979472512 @default.
- W2161586357 cites W1989492347 @default.
- W2161586357 cites W1993842818 @default.
- W2161586357 cites W2003116861 @default.
- W2161586357 cites W2003956828 @default.
- W2161586357 cites W2005473008 @default.
- W2161586357 cites W2027462800 @default.
- W2161586357 cites W2045474169 @default.
- W2161586357 cites W2108309071 @default.
- W2161586357 cites W2337392266 @default.
- W2161586357 cites W4206370914 @default.
- W2161586357 cites W80128650 @default.
- W2161586357 cites W81942528 @default.
- W2161586357 doi "https://doi.org/10.1007/978-3-642-60211-5_13" @default.
- W2161586357 hasPublicationYear "1999" @default.
- W2161586357 type Work @default.
- W2161586357 sameAs 2161586357 @default.
- W2161586357 citedByCount "56" @default.
- W2161586357 countsByYear W21615863572012 @default.
- W2161586357 countsByYear W21615863572013 @default.
- W2161586357 countsByYear W21615863572014 @default.
- W2161586357 countsByYear W21615863572015 @default.
- W2161586357 countsByYear W21615863572016 @default.
- W2161586357 countsByYear W21615863572018 @default.
- W2161586357 countsByYear W21615863572019 @default.
- W2161586357 countsByYear W21615863572020 @default.
- W2161586357 countsByYear W21615863572021 @default.
- W2161586357 crossrefType "book-chapter" @default.
- W2161586357 hasAuthorship W2161586357A5041982650 @default.
- W2161586357 hasConcept C111472728 @default.
- W2161586357 hasConcept C138885662 @default.
- W2161586357 hasConcept C15744967 @default.
- W2161586357 hasConceptScore W2161586357C111472728 @default.
- W2161586357 hasConceptScore W2161586357C138885662 @default.
- W2161586357 hasConceptScore W2161586357C15744967 @default.
- W2161586357 hasLocation W21615863571 @default.
- W2161586357 hasOpenAccess W2161586357 @default.
- W2161586357 hasPrimaryLocation W21615863571 @default.
- W2161586357 hasRelatedWork W1710126152 @default.
- W2161586357 hasRelatedWork W2039952445 @default.
- W2161586357 hasRelatedWork W2077865380 @default.
- W2161586357 hasRelatedWork W2138503431 @default.
- W2161586357 hasRelatedWork W2748952813 @default.
- W2161586357 hasRelatedWork W2765597752 @default.
- W2161586357 hasRelatedWork W2789488587 @default.
- W2161586357 hasRelatedWork W2899084033 @default.
- W2161586357 hasRelatedWork W2931662336 @default.
- W2161586357 hasRelatedWork W3049356719 @default.
- W2161586357 isParatext "false" @default.
- W2161586357 isRetracted "false" @default.
- W2161586357 magId "2161586357" @default.
- W2161586357 workType "book-chapter" @default.