Matches in SemOpenAlex for { <https://semopenalex.org/work/W2353335216> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2353335216 abstract "Open Logic is a formal system for modeling the growing and updating of knowledge and the dynamics of formal theories. It serves as a logical foundation for knowledge maintenance and software evolution. Open Logic has many similarities with belief revision theory, however, there are three essential differences between them. firstly, reconstruction in Open Logic does not need to operate on a logical closed set, nor does its output; secondly, reconstruction is not a function because its output does not need to be unique; thirdly, the limit theorem of cognitive process is given in Open Logic while this is not considered in belief revision theory. In this paper, a new kind of open logic called Open Logic based a complete preorder is proposed. Firstly, A new notion of reconstruction and the method to revise the complete preorder are given, the basic idea is that the change of the epistemic state of the agent must be as minimal as possible when the new knowledge is learned. It is then shown that the cognitive process newly defined will converge, which means that the evolution of the epistemic state can lead the knowledge of agent evolve to an ideal state. Finally, the method given in this paper is compared and contrasted with related works in the literature. The result given in this paper provide an extension to the basic Open Logic and is more suitable to the situations in which the belief degrees of the epistemic agents are different." @default.
- W2353335216 created "2016-06-24" @default.
- W2353335216 creator A5042170464 @default.
- W2353335216 date "2002-01-01" @default.
- W2353335216 modified "2023-09-25" @default.
- W2353335216 title "Open Logic Based on a Complete Preorder" @default.
- W2353335216 hasPublicationYear "2002" @default.
- W2353335216 type Work @default.
- W2353335216 sameAs 2353335216 @default.
- W2353335216 citedByCount "0" @default.
- W2353335216 crossrefType "journal-article" @default.
- W2353335216 hasAuthorship W2353335216A5042170464 @default.
- W2353335216 hasConcept C102993220 @default.
- W2353335216 hasConcept C107247716 @default.
- W2353335216 hasConcept C11413529 @default.
- W2353335216 hasConcept C118615104 @default.
- W2353335216 hasConcept C121332964 @default.
- W2353335216 hasConcept C14036430 @default.
- W2353335216 hasConcept C154945302 @default.
- W2353335216 hasConcept C165801399 @default.
- W2353335216 hasConcept C172385210 @default.
- W2353335216 hasConcept C199360897 @default.
- W2353335216 hasConcept C203659156 @default.
- W2353335216 hasConcept C2333172 @default.
- W2353335216 hasConcept C2777796570 @default.
- W2353335216 hasConcept C2780432614 @default.
- W2353335216 hasConcept C33923547 @default.
- W2353335216 hasConcept C41008148 @default.
- W2353335216 hasConcept C62520636 @default.
- W2353335216 hasConcept C78458016 @default.
- W2353335216 hasConcept C80444323 @default.
- W2353335216 hasConcept C86803240 @default.
- W2353335216 hasConceptScore W2353335216C102993220 @default.
- W2353335216 hasConceptScore W2353335216C107247716 @default.
- W2353335216 hasConceptScore W2353335216C11413529 @default.
- W2353335216 hasConceptScore W2353335216C118615104 @default.
- W2353335216 hasConceptScore W2353335216C121332964 @default.
- W2353335216 hasConceptScore W2353335216C14036430 @default.
- W2353335216 hasConceptScore W2353335216C154945302 @default.
- W2353335216 hasConceptScore W2353335216C165801399 @default.
- W2353335216 hasConceptScore W2353335216C172385210 @default.
- W2353335216 hasConceptScore W2353335216C199360897 @default.
- W2353335216 hasConceptScore W2353335216C203659156 @default.
- W2353335216 hasConceptScore W2353335216C2333172 @default.
- W2353335216 hasConceptScore W2353335216C2777796570 @default.
- W2353335216 hasConceptScore W2353335216C2780432614 @default.
- W2353335216 hasConceptScore W2353335216C33923547 @default.
- W2353335216 hasConceptScore W2353335216C41008148 @default.
- W2353335216 hasConceptScore W2353335216C62520636 @default.
- W2353335216 hasConceptScore W2353335216C78458016 @default.
- W2353335216 hasConceptScore W2353335216C80444323 @default.
- W2353335216 hasConceptScore W2353335216C86803240 @default.
- W2353335216 hasLocation W23533352161 @default.
- W2353335216 hasOpenAccess W2353335216 @default.
- W2353335216 hasPrimaryLocation W23533352161 @default.
- W2353335216 hasRelatedWork W1216305310 @default.
- W2353335216 hasRelatedWork W1498338141 @default.
- W2353335216 hasRelatedWork W1507198272 @default.
- W2353335216 hasRelatedWork W1526741392 @default.
- W2353335216 hasRelatedWork W1549420241 @default.
- W2353335216 hasRelatedWork W156832481 @default.
- W2353335216 hasRelatedWork W1605744611 @default.
- W2353335216 hasRelatedWork W1755487133 @default.
- W2353335216 hasRelatedWork W1966063923 @default.
- W2353335216 hasRelatedWork W2009400517 @default.
- W2353335216 hasRelatedWork W2037932558 @default.
- W2353335216 hasRelatedWork W2100831881 @default.
- W2353335216 hasRelatedWork W2140198764 @default.
- W2353335216 hasRelatedWork W2378356490 @default.
- W2353335216 hasRelatedWork W2508720778 @default.
- W2353335216 hasRelatedWork W2604807150 @default.
- W2353335216 hasRelatedWork W2904621793 @default.
- W2353335216 hasRelatedWork W3005851148 @default.
- W2353335216 hasRelatedWork W7088583 @default.
- W2353335216 hasRelatedWork W89737504 @default.
- W2353335216 isParatext "false" @default.
- W2353335216 isRetracted "false" @default.
- W2353335216 magId "2353335216" @default.
- W2353335216 workType "article" @default.