|
Raciocínio Automático e Representação do Conhecimento
Simbólico 2009.1 (IN1122) |
|
.: General Information :. Who: Fred Freitas
(fred @cin.ufpe.br) When: Tuesdays This page:
www.cin.ufpe.br/~in1122/2011/ .: Evaluation :. - Individual
Exams: 40% - Team Project
(common with that of ESOA IN1111): 60% .: Bibliography :. 1. Knowledge
Representation and Reasoning, Brachman,
R. and Levesque, H. Morgan Kaufmann, 2004. 2. Logic,
Programming and Prolog (2nd Ed). Nilsson, U. & Maluszynski.
Wiley. 2000. Site, including free download : http://www.ida.liu.se/~ulfni/lpp/ 3.
Introduction to Logic, Michal Walicki 4. The
Description Logic Handbook, Baader, F., McGuiness,
D., Nardi, D. & Patel-Schneider, P. 5. Symbolic Logic
and Mechanical Theorem Proving, C. Chang, R. Lee, Academic Press, 1973 6. Inteligência Artificial, Ferramentas e
Teoria, Bitencourt, G. 7. Deduction –
Automated Logic, Bibel, W. 1993 8. Handbook of
Knowledge representation, Lifschitz, W., van Harmelen, F., 2008 9. Knowledge
Representation, Sowa, J., 2000. .:
Roster :. - Georgia Aline,
gege.aline@gmail.com, Mestrado, Fred, indefinida - Joyce Vitor, joycevteixeira@gmail.com, Mestrado, Tsang, CESAR - Tulio Caraciolo,
tulio.caraciolo@gmail.com, Doutorado, Geber, Joy Street - Adriana Góis, acg@cin.ufpe.br, Mestrado, Tsang - Hilario Tomaz, hilariotomaz@gmail.com,
Mestrado, Fred, Capital Login - Werbeth de Sousa, werbethsousa@yahoo.com.br,
Mestrado, Geber - Filipe Calegário, filipe.calegario@gmail.com, Mestrado,
Geber 8 horas - horário de aulas .: Calendar :. .:
Overview of Knowledge Representation
(15/03) - Chapter 1 of Sowa - Chapters 1, 3 of Brachman & Levesque .: Expert Systems :. Sistemas
Especialistas.ppt(22/03) .: Rule-Based Reasoning
:. Lecture 22, 23, 24
Overview of Rule-Based Reasoning: RBR.ppt () - Production Systems and Rewrite Systems - Chapters 7 of Brachman & Levesque Lectures 21
Object-Oriented Production Rules: JESS.ppt () Exercise (in Lab) .: Deduction :. - Chapter 1 of Walicki Deduction in
Propositional Logic PL.ppt () - Sections 7.5-7.8
of Russell & Norvig Deduction in
Classical First-Order Logic: () HerbrandsTheoremUnification.ppt DPLL Tableaux.ppt Matrices, connections, matings and reasoning.ppt Implementation: ()
.: Structured Knowledge
Representation :. Semantic Networks
and Frames SemNetsFrames.ppt () .: Non-Monotonic
Reasoning :. Lecture 32
Overview of Non-Monotonic Reasoning: NMR.ppt () - Sections 10.3-10.4,
10.7-10.8 of Russell & Norvig - pp. 1-20, 24-26
of Belief Revision: A Survey Default logc Autoepistemic logic Circumscription Conceptual graphs Lecture 16:
Description Logics DL.ppt () - Chapter 1 of Baader et al. - Chapter 9 of Brachman & Levesque .: Knowledge Reuse :. Ontologies Ontologies.ppt () Deduction in
Description Logic – Tableaux, hypertableaux - Optimizations – resolution
approaches – An ALC
connection method Knowledge
engineering Qualitative reasoning Handbook of KR, Brachman-Levesque Seminars: Modal logic and
reasoning Event calculus Situation calculus Temporal logic Physical reasoning Knowledge and
Belief Lecture 33 Default
Reasoning and Negation As Failure DRNAF.ppt () - Chapters 11 of Brachman & Levesque - Chapters 3, 4 of Nilsson & Maluszynski Lectures 34, 35 Abduction abduction.ppt () - pp. 1-19, 61-64
of The Role of Abduction in Logic Programming
- 17/07 Review, Exam and Correction on material from lectures 29-35 Final Exam: 24/07 Final project presentation: 29/07
|
|
|