Matches in SemOpenAlex for { <https://semopenalex.org/work/W2087433068> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2087433068 abstract "Reasoning in propositional logic is a key element in software engineering; it is applied in different domains, e.g: specification validation, code checking, theorem proving, etc. Since reasoning is a basic component in the analysis and verification of different critical systems, significant efforts have been dedicated to improve its efficiency in terms of time complexity, correctness and generalization to new problems support (e.g., SAT- Problem, Inference-Rules, inconsistency detection, etc.). We propose a new Conceptual Reasoning Method for an inference engine in which such improvements will be achieved by the combination of the semantic interpretations of a logical formula and the formal concept analysis mathematical background. In fact, each logical formula is mapped into a truth table formal context and any logical deduction is obtained by Galois connection. More particularly, we combine all truth tables into a global one which has the advantage of containing the complete knowledge of all deducible rules or, possibly, an eventual inconsistency in the whole system. A first version of the new reasoning system was implemented and applied for medical data. Efficiency in conflicts resolutions as well as in knowledge expressiveness and reasoning were shown. Serious challenges related with time complexity have been faced out and still more improvements are under investigation. Acknowledgement: This publication was made possible by a grant from the Qatar National Research Fund NPRP04-1109-1-174. Its contents are solely the responsibility of the authors and do not necessarily represent the official views of the QNRF." @default.
- W2087433068 created "2016-06-24" @default.
- W2087433068 creator A5019888601 @default.
- W2087433068 date "2013-01-01" @default.
- W2087433068 modified "2023-09-25" @default.
- W2087433068 title "Conceptual reasoning for consistency insurance in logical deduction and application for critical systems" @default.
- W2087433068 doi "https://doi.org/10.5339/qfarf.2013.ictp-063" @default.
- W2087433068 hasPublicationYear "2013" @default.
- W2087433068 type Work @default.
- W2087433068 sameAs 2087433068 @default.
- W2087433068 citedByCount "0" @default.
- W2087433068 crossrefType "proceedings-article" @default.
- W2087433068 hasAuthorship W2087433068A5019888601 @default.
- W2087433068 hasConcept C11413529 @default.
- W2087433068 hasConcept C151730666 @default.
- W2087433068 hasConcept C159032336 @default.
- W2087433068 hasConcept C194989596 @default.
- W2087433068 hasConcept C195344581 @default.
- W2087433068 hasConcept C199360897 @default.
- W2087433068 hasConcept C2779343474 @default.
- W2087433068 hasConcept C3746660 @default.
- W2087433068 hasConcept C41008148 @default.
- W2087433068 hasConcept C55439883 @default.
- W2087433068 hasConcept C56949724 @default.
- W2087433068 hasConcept C69562738 @default.
- W2087433068 hasConcept C80444323 @default.
- W2087433068 hasConcept C86803240 @default.
- W2087433068 hasConcept C89288958 @default.
- W2087433068 hasConceptScore W2087433068C11413529 @default.
- W2087433068 hasConceptScore W2087433068C151730666 @default.
- W2087433068 hasConceptScore W2087433068C159032336 @default.
- W2087433068 hasConceptScore W2087433068C194989596 @default.
- W2087433068 hasConceptScore W2087433068C195344581 @default.
- W2087433068 hasConceptScore W2087433068C199360897 @default.
- W2087433068 hasConceptScore W2087433068C2779343474 @default.
- W2087433068 hasConceptScore W2087433068C3746660 @default.
- W2087433068 hasConceptScore W2087433068C41008148 @default.
- W2087433068 hasConceptScore W2087433068C55439883 @default.
- W2087433068 hasConceptScore W2087433068C56949724 @default.
- W2087433068 hasConceptScore W2087433068C69562738 @default.
- W2087433068 hasConceptScore W2087433068C80444323 @default.
- W2087433068 hasConceptScore W2087433068C86803240 @default.
- W2087433068 hasConceptScore W2087433068C89288958 @default.
- W2087433068 hasLocation W20874330681 @default.
- W2087433068 hasOpenAccess W2087433068 @default.
- W2087433068 hasPrimaryLocation W20874330681 @default.
- W2087433068 hasRelatedWork W1557741300 @default.
- W2087433068 hasRelatedWork W2016320528 @default.
- W2087433068 hasRelatedWork W2082633414 @default.
- W2087433068 hasRelatedWork W2087433068 @default.
- W2087433068 hasRelatedWork W2091253598 @default.
- W2087433068 hasRelatedWork W2116619085 @default.
- W2087433068 hasRelatedWork W2153207794 @default.
- W2087433068 hasRelatedWork W2163446573 @default.
- W2087433068 hasRelatedWork W2343361378 @default.
- W2087433068 hasRelatedWork W3101582038 @default.
- W2087433068 isParatext "false" @default.
- W2087433068 isRetracted "false" @default.
- W2087433068 magId "2087433068" @default.
- W2087433068 workType "article" @default.