Popis předmětu - B4M36LUP

Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
B4M36LUP Logické usuzování a programování
Role:PO Rozsah výuky:2P+2C
Katedra:13136 Jazyk výuky:CS
Garanti:Železný F. Zakončení:Z,ZK
Přednášející:Chvalovský K., Kuželka O. Kreditů:6
Cvičící:Černoch R., Chvalovský K. Semestr:Z

Anotace:

The course's aim is to explain selected significant methods of computational logic. These include algorithms for propositional satisfiability checking, logical programming in Prolog, and first-order theorem proving and model-finding. Time permitting, we will also discuss some complexity and decidability issues pertaining to the said methods.

Osnovy přednášek:

1Introduction and propositional logic (recap) 2SAT solving—resolution, DPLL, and CDCL 3SAT solving (cont'd) and introduction to SMT 4Satisfiability modulo theories (SMT) 5Introduction to Prolog 6Recursion, lists 7SLD trees, cut, negation 8Search in Prolog 9Answer set programming 10First-order logic 11First-order resolution 12Equality and model finding 13Proof assistants

Osnovy cvičení:

Literatura:

Bundy, A.: The Computational Modelling of Mathematical Reasoning, Academic Press 1983 (Bundy). Clarke, E.M. Jr., Grumberg, O. and Peled, D. A.: Model Checking, The MIT Press, 1999, Fourth Printing 2002. Newborn, M.: Automated Theorem Proving: Theory and Practice Robinson, J.A., Voronkov, A. (Eds.): Handbook of Automated Reasoning (in 2 volumes). Elsevier and MIT Press 2001 Weidenbach, Ch.: SPASS: Combining Superposition, Sorts and Splitting (1999) Wos, L. and Pieper, G.W.: A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning Flach P.: Simply Logical ? Intelligent Reasoning by Example, John Wiley, 1998 Bratko I.: Prolog Programming for Artificial Intelligence, Addison-Wesley, 2011

Požadavky:

Webová stránka:

https://cw.fel.cvut.cz/b201/courses/lup/start

Předmět je zahrnut do těchto studijních plánů:

Plán Obor Role Dop. semestr
MPOI7_2016 Umělá inteligence PO 3
MPOI7_2018 Umělá inteligence PO 3


Stránka vytvořena 24.9.2021 19:50:52, semestry: L/2021-2, L/2020-1, Z,L/2022-3, Z/2021-2, připomínky k informační náplni zasílejte správci studijních plánů Návrh a realizace: I. Halaška (K336), J. Novák (K336)