Under construction
CSU44060 Knowledge Representation & Automata
(Semester 2, Jan-Apr 2024)
News
Homework 2
(submit to Blackboard by March 28, Thu)
Homework 1 (submit to Blackboard by Feb 21, Wed):
nTm in Prolog option
(
sample runs
)
XOR
finite automata in Python option
Syllabus
,
SWISH Prolog
,
Log
Notes/slides
Introduction:
1
,
2
,
3
[
example
]
Non-determinism
search
[
subset construction
from
Stanford web
,
rudiments of finite automata
]
Turing machines
concise NFAs & exponential blow-up
(
Prolog code
)
SAT
(
Prolog code
)
Individuals, predicates, attributes, frames & concepts
Datalog
from PM chapter 15
Flexible representations
from PM chap 16 (14 in 2017 edition)
Inheritance
:
lab
,
code
frames & DFAs: derivatives
soundness, completeness & Herbrand interpretations
Description Logics
(
Brachman & Levesque
)
Transducers & change over strings
Finite-state transducers & regular relations
(
fst in Prolog
)
Monadic Second-Order Logic over strings
Trakhtenbrot's & Fagin's theorems
Entropy (cross, relative, conditional)
Textbooks
PM:
Artificial Intelligence: Foundations of Computational Agents
, David Poole & Alan Mackworth (3rd ed, 2023)
KRR:
Knowledge Representation & Reasoning
, Ronald Brachman & Hector Levesque (hardcopies in Hamilton library)
Elements of Finite Model Theory
, Leonid Libkin
Algorithmic Model Theory
:
chapter 1
,
chapter 3
, Erich Grädel
Logicomix
by Apostolos Doxiadis, Christos H. Papadimitriou, Alecos Papadatos, Annie Di Donna
Last modified: 26 March 2024