In (INFOB3IS), I explored intelligent systems through the lens of logical reasoning and automation, using Prolog-based assignments, assessed via two exams and five programming tasks. Below is a breakdown of the topics covered:
Rational Agents: Studied autonomous, goal-directed systems.
Propositional Logic: Learned syntax, semantics, and inference rules.
First-Order Logic (FOL): Explored predicates, quantifiers, and semantics.
FOL Inference: Studying automated reasoning with resolution.
Prolog Basics: Covered terms, unification, and recursion for logic programming.
Prolog Advanced: Worked with lists, arithmetic, and operators.
Knowledge Representation: Represented structured knowledge using logic.
Automated Planning: Designed goal-oriented plans with FOL.
Prolog Planning: Implemented planning algorithms in Prolog.
Logic of Learning: Studied how agents learn from experience.
Game Theory: Explored strategic reasoning in regular and inverse forms.
PR1: Propositional Logic Solver: Built a tool to automate propositional inference, testing logical consequence.
PR2: FOL Reasoning: Implemented a first-order logic reasoner with unification and resolution.
PR3: Knowledge Base: Created a Prolog-based knowledge representation system for querying.
PR4: Planning System: Developed an automated planner using Prolog to solve goal-directed tasks.
PR5: Learning Agent: Designed an adaptive agent that learns new rules from data.