- Propositional logic proofs using truth tables and resolution.
- Translate statements into first-order logic with clear vocabulary.
- Interpret and evaluate first-order logic formulas based on a given scene.
- Logical inference: prove or disprove conclusions from premises.
- Validate first-order logic formulas and prove using resolution.
- Find most general unifiers for given formula pairs.
- Model political party statements in first-order logic and prove properties using resolution.
- Use Horn clauses and backward chaining to answer queries (Prolog optional).
- Convert formulas to CNF and prove with theorem prover Prover9.
- Represent a relational database and query it using Datalog with forward chaining.
-
Notifications
You must be signed in to change notification settings - Fork 0
Vicky-Christofilopoulou/Logic
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
This assignment covers key topics in logic, theorem proving, and knowledge representation relevant to Artificial Intelligence.
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published