Categories
1 results found in 23 ms.
Page 1 of 1
|
Published by: Universidad Politécnica de Madrid | Language: Spanish
Published by: Universidad Politécnica de Madrid | Language: Spanish
Share in:
This course is about the computational part of Mathematical Logic. Here, "computational" refers to what is amenable to be computed by means of an automatic process. In this sense, the goal of Computational Logic is to automatize the operation of proving a fact as a theorem given some prior knowledge (axioms or premises).
Author(s):
Tag(s):
- ciencia de la computación e inteligencia artificial
- demostración automática
- lógica computacional
- programación lógica
- resolución
Similar courses
-
Description:The course on Automated planning introduces the Artificial Intelligence approach to the planning task. Automated planning is a computational task that, given a domain description (in terms of available actions), an initial state and a set of goals, generates a plan that allows to achieve the goals from the initial state by executing the plan actions.
-
Description:The course on Automated planning introduces the Artificial Intelligence approach to the planning task. Automated planning is a computational task that, given a domain description (in terms of available actions), an initial state and a set of goals, generates a plan that allows to achieve the goals from the initial state by executing the plan actions.
-
Description:The course on Automated planning introduces the Artificial Intelligence approach to the planning task. Automated planning is a computational task that, given a domain description (in terms of available actions), an initial state and a set of goals, generates a plan that allows to achieve the goals from the initial state by executing the plan actions.
1 results found.
Page 1 of 1