Welcome to the "AI Probabilistic Reasoning Exercise" repository! This repository contains solutions and documentation for an artificial intelligence exercise focusing on probabilistic reasoning and logic.
This repository is dedicated to solving and documenting a series of problems related to probabilistic reasoning and logical inference in the field of artificial intelligence. The exercise covers topics such as constructing knowledge bases, logical inference, model checking, resolution, and probability calculations.
- Course Name: Artificial Intelligence (CPSC 481)
- Course Section: 05 (Fall 2023)
- Instructor: Professor Kenytt Avery
- University: California State University, Fullerton
- Semester: Fall 2023
The exercise is part of a course in artificial intelligence and consists of several problems that require solving and documenting. These problems encompass various aspects of AI, including knowledge representation, logical reasoning, and probabilistic modeling.
- Knowledge Base Construction
- Logical Inference
- Model Checking
- Resolution
- Probabilistic Reasoning
Contributions to this repository are not expected since it's primarily intended for educational purposes. However, if you have suggestions or improvements, feel free to open an issue or fork the repository and create a pull request.
This repository is provided under the MIT License. You are free to use the code and documentation for educational purposes, but please review the license for more details.
For any questions or inquiries, please contact the repository owner.
Happy learning!
https://docs.google.com/document/d/1S8hvun3KNY5IJ7u1Gmoue04DOHB28sjY6SN9H3zXJtY/edit?usp=sharing