This guide is specifically curated for university students appearing for BCA, MCA, B.Tech, and B.Sc. Computer Science practical lab examinations and oral viva-voce assessments. University examiners evaluate your conceptual clarity, ability to state concise definitions, understanding of algorithm complexity, and knowledge of classical vs modern AI paradigms.
| Concept / Term | 1-Sentence Formal Definition for Viva | Key Formula / Characteristic |
|---|---|---|
| Artificial Intelligence | The branch of computer science focused on building computational systems capable of performing tasks that typically require human intelligence, such as visual perception, natural language understanding, reasoning, and learning. | Defined by Stuart Russell as the study of Rational Agents. |
| Turing Test | An operational test of machine intelligence proposed by Alan Turing in 1950, where a human interrogator must determine which of two hidden conversational partners is a human and which is a computer. | Passes if interrogator cannot reliably tell computer apart after 5 minutes. |
| PEAS Framework | A formal specification framework used to define an intelligent agent's complete task environment: Performance measure, Environment, Actuators, and Sensors. | PEAS: ( P, E, A, S ). |
| Heuristic Function | An informed, problem-specific evaluation function ( h(n) ) that estimates the remaining cost from node ( n ) to the nearest goal state. | Admissible if ( 0 le h(n) le h^*(n) ) (never overestimates). |
| A* Algorithm | An informed search algorithm that evaluates nodes using ( f(n) = g(n) + h(n) ), guaranteed to find the optimal path if ( h(n) ) is admissible. | ( f(n) = g(n) + h(n) ). |
| Alpha-Beta Pruning | An optimization technique for the minimax game tree search that eliminates branches that cannot possibly influence the final decision, reducing effective branching factor to ( sqrt{b} ). | Prunes whenever ( alpha ge eta ). |
| Arc Consistency (AC-3) | A constraint propagation algorithm ensuring that for every legal value of variable ( X ), there exists some compatible legal value in neighbor variable ( Y ). | Prunes domains in ( O(c cdot d^3) ) time. |
| Unification | The algorithmic procedure in First-Order Logic that finds a variable substitution ( heta ) that makes two distinct logical expressions syntactically identical. | ( ext{UNIFY}(P, Q) = heta ). |
| Resolution Refutation | A complete proof-by-contradiction inference rule in Clausal Normal Form that repeatedly resolves complementary literals until the empty clause (( Box )) is derived. | ( (A ee B) wedge ( eg B ee C) models (A ee C) ). |
| Supervised Learning | A machine learning paradigm where the algorithm learns a mapping function from input features ( X ) to ground-truth labeled targets ( y ) provided in the training data. | ( mathcal{D} = {(x_i, y_i)}_{i=1}^N ). |
| Confusion Matrix | A ( 2 imes 2 ) table recording True Positives, True Negatives, False Positives, and False Negatives produced by a classification model. | Basis for Precision, Recall, Specificity, and F1-Score. |
| Perceptron | The simplest artificial neural network consisting of a single neuron computing a weighted linear sum followed by a step or threshold activation function. | ( y = ext{step}(mathbf{w}^T mathbf{x} + b) ). |
| Backpropagation | The algorithm used to train neural networks by computing the partial derivatives of the loss function with respect to every weight parameter using the multivariable calculus chain rule. | ( rac{partial mathcal{L}}{partial mathbf{W}} = oldsymbol{delta} mathbf{a}^T ). |
| Transformer | A deep neural network architecture introduced in 2017 that discards recurrence in favor of the Self-Attention mechanism, processing all tokens in parallel. | ( ext{Attention}(Q, K, V) = ext{softmax}left(rac{QK^T}{sqrt{d_k}} ight)V ). |
Be prepared to sketch the following diagrams on paper for the viva examiner:
Broaden your foundational and advanced AI knowledge across our curriculum:
Advanced technical interview answers extending basic university viva concepts.
BCA/MCA lab assignment code samples with full explanation.
One-page revision sheet for algorithms, search trees, and neural nets.
Return to the comprehensive curriculum syllabus and learning pathway.