Matches in SemOpenAlex for { <https://semopenalex.org/work/W2563126189> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2563126189 abstract "When we work with information from multiple sources, the formats of the knowledge bases may not be uniform. It would be desirable to be able to combine a knowledge base of default rules with one containing autoepistemic formulas. Previous works on relating default logic and autoepistemic logic mostly impose some constraints on autoepistemic logic, and thus are 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 framework, and the constraints imposed on the possible world structures correspond to the requirements in the fixed point formulations. Casting both default logic and autoepistemic logic in a common framework is important for developing a semantics applicable to the two logics, both separately and combined." @default.
- W2563126189 created "2017-01-06" @default.
- W2563126189 creator A5031385671 @default.
- W2563126189 date "1996-10-01" @default.
- W2563126189 modified "2023-09-27" @default.
- W2563126189 title "Default Logic and Autoepistemic Logic: Fixed Points and Common Semantic Framework" @default.
- W2563126189 hasPublicationYear "1996" @default.
- W2563126189 type Work @default.
- W2563126189 sameAs 2563126189 @default.
- W2563126189 citedByCount "0" @default.
- W2563126189 crossrefType "journal-article" @default.
- W2563126189 hasAuthorship W2563126189A5031385671 @default.
- W2563126189 hasConcept C102993220 @default.
- W2563126189 hasConcept C150889026 @default.
- W2563126189 hasConcept C159032336 @default.
- W2563126189 hasConcept C160236029 @default.
- W2563126189 hasConcept C18998212 @default.
- W2563126189 hasConcept C203659156 @default.
- W2563126189 hasConcept C33923547 @default.
- W2563126189 hasConcept C3845977 @default.
- W2563126189 hasConcept C41008148 @default.
- W2563126189 hasConcept C80444323 @default.
- W2563126189 hasConceptScore W2563126189C102993220 @default.
- W2563126189 hasConceptScore W2563126189C150889026 @default.
- W2563126189 hasConceptScore W2563126189C159032336 @default.
- W2563126189 hasConceptScore W2563126189C160236029 @default.
- W2563126189 hasConceptScore W2563126189C18998212 @default.
- W2563126189 hasConceptScore W2563126189C203659156 @default.
- W2563126189 hasConceptScore W2563126189C33923547 @default.
- W2563126189 hasConceptScore W2563126189C3845977 @default.
- W2563126189 hasConceptScore W2563126189C41008148 @default.
- W2563126189 hasConceptScore W2563126189C80444323 @default.
- W2563126189 hasLocation W25631261891 @default.
- W2563126189 hasOpenAccess W2563126189 @default.
- W2563126189 hasPrimaryLocation W25631261891 @default.
- W2563126189 hasRelatedWork W1551338644 @default.
- W2563126189 hasRelatedWork W1567741961 @default.
- W2563126189 hasRelatedWork W1575110518 @default.
- W2563126189 hasRelatedWork W1588085199 @default.
- W2563126189 hasRelatedWork W1749135959 @default.
- W2563126189 hasRelatedWork W1804336763 @default.
- W2563126189 hasRelatedWork W1974174939 @default.
- W2563126189 hasRelatedWork W1974241855 @default.
- W2563126189 hasRelatedWork W2030773975 @default.
- W2563126189 hasRelatedWork W2041912923 @default.
- W2563126189 hasRelatedWork W2044503422 @default.
- W2563126189 hasRelatedWork W2087561262 @default.
- W2563126189 hasRelatedWork W2119887426 @default.
- W2563126189 hasRelatedWork W2295099510 @default.
- W2563126189 hasRelatedWork W2510221240 @default.
- W2563126189 hasRelatedWork W2989222890 @default.
- W2563126189 hasRelatedWork W2989366559 @default.
- W2563126189 hasRelatedWork W2998080820 @default.
- W2563126189 hasRelatedWork W61757047 @default.
- W2563126189 hasRelatedWork W68551149 @default.
- W2563126189 isParatext "false" @default.
- W2563126189 isRetracted "false" @default.
- W2563126189 magId "2563126189" @default.
- W2563126189 workType "article" @default.