AI & Logic Flashcards
An agent passes a Turing test if
a human interrogator, after posing some written questions, cannot tell whether the written responses come from a person or from a computer
Dall-E’s ability to generate an appropriate fill-in around a picture is called
outpainting
AlphaFold predict
Protein Folding
Rationality
An alternative approach in AI to mimicking human intelligence
Machine learning
an alternative approach to symbolic AI for prediction is about techniques to train from data to predict classes of new instances
Two primary Types of semantics in First-order Predicate
Model
Proof
the domain
The set of object in the environment that are important for your application in logic
The Unique Name Assumption
Φ(t) = t (where Φ is the pre-interpretation)
AI is
A. the simulation of human intelligence by machines.
B. automated reasoning for problem solving.
C. computation to achieve goals in the world.
D. the design of algorithms designed to make decisions.
Percept
is something an agent perceives about the environment
Declarative programming paradigm
States what the program is meant to do, but not how to do it.
How does Prolog evaluates?
rules from top to bottom, goals from left to right.
Query
Is a question or request for information based on certain conditions or criteria
Proof by refutation
Is a type of proof by contradiction
Tail recursion
Is when the predicate of the atom in the head of the clause only appears at the end of the body of the clause
