Skip to main content

Recently Updated Pages

Def-Use

SE2 - Software Engineering 2 WE1

Identify every time a variable is defined (modified) and used with that version, for example: 1 i...

Updated 2 years ago by Paolo Basso

Constraint Propagation: Inference in CSPs

FAI - Foundations of Artificial Intelli... Constraint Satisfaction Problems

A CSP algorithm has choices. It can generate successors by choosing a new variable assignment, or...

Updated 2 years ago by Paolo Basso

Monte Carlo Tree Search

FAI - Foundations of Artificial Intelli... Adversarial Search

The basic MCTS strategy does not use a heuristic evaluation function. Instead, the value of a sta...

Updated 2 years ago by Paolo Basso

Classical Planning and PDDL

FAI - Foundations of Artificial Intelli... Planning

Classical planning is defined as the task of finding a sequence of actions to accomplish a goal i...

Updated 2 years ago by Paolo Basso

Theorem proving

FAI - Foundations of Artificial Intelli... Logical Agents

Other than model checking entailment can be done by theorem proving—applying rules of inference d...

Updated 2 years ago by Paolo Basso

Algorithms for Classical Planning

FAI - Foundations of Artificial Intelli... Planning

The description of a planning problem provides an obvious way to search from the initial state th...

Updated 2 years ago by Paolo Basso

SATPlan

FAI - Foundations of Artificial Intelli... Planning

Starting from a PDDL representation of the agent’s knowledge base KB (specifying the initial stat...

Updated 2 years ago by Paolo Basso

Model checking

FAI - Foundations of Artificial Intelli... Logical Agents

Our goal now is to decide whether $KB \models \alpha$ for some sentence $\alpha$. Reasoning with ...

Updated 2 years ago by Paolo Basso

alpha-beta pruning

FAI - Foundations of Artificial Intelli... Adversarial Search

Reduces the complexity of the minimax search by not considering branches of the game tree that ca...

Updated 2 years ago by Paolo Basso

Propositional Logic

FAI - Foundations of Artificial Intelli... Logical Agents

Syntax The syntax of propositional logic defines the allowable sentences. The atomic sentences co...

Updated 2 years ago by Paolo Basso

First order logic

FAI - Foundations of Artificial Intelli... Logical Agents

Whereas propositional logic assumes the world contains statements, first-order logic (like natura...

Updated 2 years ago by Paolo Basso

Search problems

FAI - Foundations of Artificial Intelli... Problem Solving by Search

A search problem can be defined formally as follows: A set of possible states that the environme...

Updated 2 years ago by Paolo Basso

Exam questions

SMBUD - Systems and Methods for Big and... 07 Document Databases

2021 06 22 Q2 (6 points) A dedicated online review and social networking system tracks the activi...

Updated 2 years ago by Paolo Basso

Exam Questions

SMBUD - Systems and Methods for Big and... 06 Graph Stores

2021 06 22 Q1 (8 points) A dedicated online review and social networking system tracks the activi...

Updated 2 years ago by Paolo Basso

02 Elasticsearch

SMBUD - Systems and Methods for Big and... 10 IR Based Databases - ELK

Elasticsearch stores data structures in JSON documents which are distributed and can be accessed ...

Updated 2 years ago by Paolo Basso

Exam questions on design

SMBUD - Systems and Methods for Big and...

2021 01 15 Q1 (10 points) Suppose you need to design the data model that supports the structure a...

Updated 2 years ago by Paolo Basso

Exam questions

SMBUD - Systems and Methods for Big and... 08 Key-value Databases

2021 02 04 Q1 A maintenance and service management company supports public administrations in the...

Updated 2 years ago by Paolo Basso

01 NoSQL General Concepts

SMBUD - Systems and Methods for Big and... 05 NoSQL introduction

Differences with the traditional data model Schema Less Approach This new types of data model re...

Updated 2 years ago by Paolo Basso

03 Data-driven decisions

SMBUD - Systems and Methods for Big and... 01-02 Big Data and data-driven decisions

Using data decisions no longer have to be made in the dark or based on gut instinct; they can be ...

Updated 2 years ago by Paolo Basso

02 What is Big Data and new ways to solve problems

SMBUD - Systems and Methods for Big and... 01-02 Big Data and data-driven decisions

Definition of the four Vs Volume (Data at scale): terabytes to hexabyte of data cumulated on ch...

Updated 2 years ago by Paolo Basso