Prolog programming for artificial intelligence /
Bratko, Ivan
Prolog programming for artificial intelligence / Ivan Bratko - Harlow : Pearson, 1986 - 673 páginas ; ilustraciones ; 24 cm.
Incluye bibliografía.
The prolog languaje - Introduction to prolog - Syntax and meaning of prolog programs - Lists, operators, arithmetic - Programming examples - Controlling backtracking - Built-in predicates - Constraint logic programming - Programming style and technique - Operations on data structures - Balanced trees - Prolog in artificial intelligence - Problem-solving as search - Heuristic search and the A*algorithm - Best-first search: minimizing time and space - Problem decomposition and AND/OR graphs - Knowledge representation and expert systems - Probabilistic reasoning with bayesian networks - Planning - Partial order planning and graphplan - Scheduling, simulation and control with CLP - Machine learning - Inductive logic programming - Qualitative reasoning - Languaje processing with grammar ruler - Game playing - Meta-programming.
No identificado
Lenguajes de programación (Computadores electrónicos).
Inteligencia artificial.
006.3 / B824p
Prolog programming for artificial intelligence / Ivan Bratko - Harlow : Pearson, 1986 - 673 páginas ; ilustraciones ; 24 cm.
Incluye bibliografía.
The prolog languaje - Introduction to prolog - Syntax and meaning of prolog programs - Lists, operators, arithmetic - Programming examples - Controlling backtracking - Built-in predicates - Constraint logic programming - Programming style and technique - Operations on data structures - Balanced trees - Prolog in artificial intelligence - Problem-solving as search - Heuristic search and the A*algorithm - Best-first search: minimizing time and space - Problem decomposition and AND/OR graphs - Knowledge representation and expert systems - Probabilistic reasoning with bayesian networks - Planning - Partial order planning and graphplan - Scheduling, simulation and control with CLP - Machine learning - Inductive logic programming - Qualitative reasoning - Languaje processing with grammar ruler - Game playing - Meta-programming.
No identificado
Lenguajes de programación (Computadores electrónicos).
Inteligencia artificial.
006.3 / B824p