AI and formal methods: summary questions

In Problem 1, each student is randomly assigned at least one correct option, usually several. For a partially correct answer Plussa gives incorrect, but the problem is accepted when the score is 12 or higher and the points are shown on a yellow background. Point accumulation begins only when more than half of the choices in the problem are correct. The score cannot be used to directly determine whether an individual choice is correct or not.

Select the correct statements. You may select one or more options.

Question 1

AI can automate complex attack processes, such as phishing.

The use of AI in cybersecurity eliminates ethical and security challenges.

AI can generate convincing scam messages that make social engineering attacks harder to detect.

AI-based systems are unable to analyse large volumes of data in real time.

AI can help to identify copyright infringements by automatically scanning online content.

The cybersecurity of AI solutions is less important than the security of traditional information systems.

AI can help train users to recognise social engineering attacks by simulating different attack scenarios.

AI algorithms can produce text, images, music, and videos that resemble art created by humans.

AI-based systems can predict and prevent denial-of-service attacks by analysing behavioural patterns and network traffic.

There are no automatic tools for detecting so-called deep fake videos.

AI systems are protected against cyber attacks without additional measures.

AI blurs the boundaries of reality.

The data used by AI can be distorted not only unintentionally, but also as a result of an attack.

The development of machine intelligence and automated reasoning began fairly soon after the construction of the first computers.

It is easier to cause harm using AI systems than using formal methods.

AI and formal methods are based on a similar neural network whose operation cannot be traced.

The language models used in AI represent the most recent stage in the development of formal methods.

Posting submission...