Matches in SemOpenAlex for { <https://semopenalex.org/work/W3088388210> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3088388210 abstract "From self-driving cars to AlphaGo, artificial intelligence (AI) is progressing rapidly. Artificial intelligence makes our lives more convenient, but it also may bring us dangers. Just like Russia’s president Vladimir Putin said: “Artificial intelligence is the future, not only for Russia, but for all humankind. It comes with enormous opportunities, but also threats that are difficult to predict. Whoever becomes the leader in this sphere will become the ruler of the world.” So we should have a very convincing argument for its safety before applying an advanced intelligent system. How can we realize that argument is rigorously correct? Dijkstra said: “The only effective way to raise the confidence level of a program significantly is to give a convincing proof of its correctness” [8]. The answer is a mathematical proof. This is the reason why we need formal methods in AI. Formal methods are used to describe and analyze systems with a set of symbols and operations; depend on some mathematical methods and theories, such as algebra, logical, graph theory, or automata; and enhance the quality and safety of systems, so we call it formal." @default.
- W3088388210 created "2020-10-01" @default.
- W3088388210 creator A5034269057 @default.
- W3088388210 creator A5044729368 @default.
- W3088388210 date "2020-09-25" @default.
- W3088388210 modified "2023-10-16" @default.
- W3088388210 title "Formal Verification, Testing, and Inspection for Intelligent Services" @default.
- W3088388210 cites W120333500 @default.
- W3088388210 cites W1489391022 @default.
- W3088388210 cites W2002128397 @default.
- W3088388210 cites W2004306067 @default.
- W3088388210 cites W2061438988 @default.
- W3088388210 cites W2080267935 @default.
- W3088388210 cites W2112320167 @default.
- W3088388210 cites W2121519505 @default.
- W3088388210 cites W2124209077 @default.
- W3088388210 cites W2912904668 @default.
- W3088388210 cites W4240126131 @default.
- W3088388210 cites W4249538237 @default.
- W3088388210 cites W4300021588 @default.
- W3088388210 doi "https://doi.org/10.1007/978-3-030-50184-6_3" @default.
- W3088388210 hasPublicationYear "2020" @default.
- W3088388210 type Work @default.
- W3088388210 sameAs 3088388210 @default.
- W3088388210 citedByCount "0" @default.
- W3088388210 crossrefType "book-chapter" @default.
- W3088388210 hasAuthorship W3088388210A5034269057 @default.
- W3088388210 hasAuthorship W3088388210A5044729368 @default.
- W3088388210 hasConcept C108710211 @default.
- W3088388210 hasConcept C11413529 @default.
- W3088388210 hasConcept C115903868 @default.
- W3088388210 hasConcept C121332964 @default.
- W3088388210 hasConcept C154945302 @default.
- W3088388210 hasConcept C165743212 @default.
- W3088388210 hasConcept C177264268 @default.
- W3088388210 hasConcept C185592680 @default.
- W3088388210 hasConcept C199360897 @default.
- W3088388210 hasConcept C2524010 @default.
- W3088388210 hasConcept C33923547 @default.
- W3088388210 hasConcept C41008148 @default.
- W3088388210 hasConcept C55439883 @default.
- W3088388210 hasConcept C55493867 @default.
- W3088388210 hasConcept C62520636 @default.
- W3088388210 hasConcept C75606506 @default.
- W3088388210 hasConcept C80444323 @default.
- W3088388210 hasConcept C94461902 @default.
- W3088388210 hasConcept C98184364 @default.
- W3088388210 hasConceptScore W3088388210C108710211 @default.
- W3088388210 hasConceptScore W3088388210C11413529 @default.
- W3088388210 hasConceptScore W3088388210C115903868 @default.
- W3088388210 hasConceptScore W3088388210C121332964 @default.
- W3088388210 hasConceptScore W3088388210C154945302 @default.
- W3088388210 hasConceptScore W3088388210C165743212 @default.
- W3088388210 hasConceptScore W3088388210C177264268 @default.
- W3088388210 hasConceptScore W3088388210C185592680 @default.
- W3088388210 hasConceptScore W3088388210C199360897 @default.
- W3088388210 hasConceptScore W3088388210C2524010 @default.
- W3088388210 hasConceptScore W3088388210C33923547 @default.
- W3088388210 hasConceptScore W3088388210C41008148 @default.
- W3088388210 hasConceptScore W3088388210C55439883 @default.
- W3088388210 hasConceptScore W3088388210C55493867 @default.
- W3088388210 hasConceptScore W3088388210C62520636 @default.
- W3088388210 hasConceptScore W3088388210C75606506 @default.
- W3088388210 hasConceptScore W3088388210C80444323 @default.
- W3088388210 hasConceptScore W3088388210C94461902 @default.
- W3088388210 hasConceptScore W3088388210C98184364 @default.
- W3088388210 hasLocation W30883882101 @default.
- W3088388210 hasOpenAccess W3088388210 @default.
- W3088388210 hasPrimaryLocation W30883882101 @default.
- W3088388210 hasRelatedWork W11838848 @default.
- W3088388210 hasRelatedWork W12290988 @default.
- W3088388210 hasRelatedWork W14187095 @default.
- W3088388210 hasRelatedWork W1448639 @default.
- W3088388210 hasRelatedWork W1864419 @default.
- W3088388210 hasRelatedWork W5651039 @default.
- W3088388210 hasRelatedWork W8534063 @default.
- W3088388210 hasRelatedWork W8925976 @default.
- W3088388210 hasRelatedWork W9584637 @default.
- W3088388210 hasRelatedWork W10042895 @default.
- W3088388210 isParatext "false" @default.
- W3088388210 isRetracted "false" @default.
- W3088388210 magId "3088388210" @default.
- W3088388210 workType "book-chapter" @default.