Matches in SemOpenAlex for { <https://semopenalex.org/work/W1588085199> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1588085199 abstract "When we work with information from multiple sources, the formats of the knowledge bases may not be uniform. It is desirable to be able to combine a knowledge base of default rules with one containing autoepistemic formulas. “Cooperative combination” refers to the integration of knowledge bases in different formats, in a way that retains as much of the individual characteristics of the component formalisms as possible. Previous work on relating default logic and autoepistemic logic mostly imposes some constraints on autoepistemic logic, and thus is not suitable for combining the two logics. We first present a fixed point formulation of autoepistemic logic analogous to that of default logic. Then we introduce a possible world framework with a partition structure, which corresponds to our intuitive notion of accessibility as linking alternate “possible” worlds. We show that both default logic and autoepistemic logic can be characterized using this common framework, which is important for developing a semantics applicable to the two logics, both separately and combined. We show one way of cooperatively integrating the two logics, and provide both a syntactic fixed point and a semantic possible partition sequence characterization." @default.
- W1588085199 created "2016-06-24" @default.
- W1588085199 creator A5074012754 @default.
- W1588085199 date "1998-01-01" @default.
- W1588085199 modified "2023-09-27" @default.
- W1588085199 title "Cooperative combination of default logic and autoepistemic logic" @default.
- W1588085199 cites W1966552757 @default.
- W1588085199 cites W1966761138 @default.
- W1588085199 cites W2067326626 @default.
- W1588085199 cites W2155322595 @default.
- W1588085199 cites W4253414862 @default.
- W1588085199 doi "https://doi.org/10.1007/3-540-64413-x_42" @default.
- W1588085199 hasPublicationYear "1998" @default.
- W1588085199 type Work @default.
- W1588085199 sameAs 1588085199 @default.
- W1588085199 citedByCount "0" @default.
- W1588085199 crossrefType "book-chapter" @default.
- W1588085199 hasAuthorship W1588085199A5074012754 @default.
- W1588085199 hasConcept C102993220 @default.
- W1588085199 hasConcept C154945302 @default.
- W1588085199 hasConcept C159032336 @default.
- W1588085199 hasConcept C160236029 @default.
- W1588085199 hasConcept C171018156 @default.
- W1588085199 hasConcept C18998212 @default.
- W1588085199 hasConcept C203659156 @default.
- W1588085199 hasConcept C2524010 @default.
- W1588085199 hasConcept C33923547 @default.
- W1588085199 hasConcept C3845977 @default.
- W1588085199 hasConcept C41008148 @default.
- W1588085199 hasConcept C80444323 @default.
- W1588085199 hasConceptScore W1588085199C102993220 @default.
- W1588085199 hasConceptScore W1588085199C154945302 @default.
- W1588085199 hasConceptScore W1588085199C159032336 @default.
- W1588085199 hasConceptScore W1588085199C160236029 @default.
- W1588085199 hasConceptScore W1588085199C171018156 @default.
- W1588085199 hasConceptScore W1588085199C18998212 @default.
- W1588085199 hasConceptScore W1588085199C203659156 @default.
- W1588085199 hasConceptScore W1588085199C2524010 @default.
- W1588085199 hasConceptScore W1588085199C33923547 @default.
- W1588085199 hasConceptScore W1588085199C3845977 @default.
- W1588085199 hasConceptScore W1588085199C41008148 @default.
- W1588085199 hasConceptScore W1588085199C80444323 @default.
- W1588085199 hasLocation W15880851991 @default.
- W1588085199 hasOpenAccess W1588085199 @default.
- W1588085199 hasPrimaryLocation W15880851991 @default.
- W1588085199 hasRelatedWork W1488300076 @default.
- W1588085199 hasRelatedWork W1549614001 @default.
- W1588085199 hasRelatedWork W1567741961 @default.
- W1588085199 hasRelatedWork W1575110518 @default.
- W1588085199 hasRelatedWork W1749135959 @default.
- W1588085199 hasRelatedWork W1804336763 @default.
- W1588085199 hasRelatedWork W1974174939 @default.
- W1588085199 hasRelatedWork W1974241855 @default.
- W1588085199 hasRelatedWork W2041912923 @default.
- W1588085199 hasRelatedWork W2087561262 @default.
- W1588085199 hasRelatedWork W2119887426 @default.
- W1588085199 hasRelatedWork W2295099510 @default.
- W1588085199 hasRelatedWork W2510221240 @default.
- W1588085199 hasRelatedWork W2563126189 @default.
- W1588085199 hasRelatedWork W2989222890 @default.
- W1588085199 hasRelatedWork W2989366559 @default.
- W1588085199 hasRelatedWork W61757047 @default.
- W1588085199 hasRelatedWork W64378593 @default.
- W1588085199 hasRelatedWork W68551149 @default.
- W1588085199 hasRelatedWork W879526 @default.
- W1588085199 isParatext "false" @default.
- W1588085199 isRetracted "false" @default.
- W1588085199 magId "1588085199" @default.
- W1588085199 workType "book-chapter" @default.