Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Updates to glossary.md #38

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions glossary.md
Original file line number Diff line number Diff line change
Expand Up @@ -126,6 +126,8 @@ In propositional logic, conjunction elimination (also called and elimination,

## AND-parallelism

In parallel logic programming, AND-parallelism is one of the two types of of parallelism. In AND-parallelism, the portions of conjunctive goal are pursued in parallel.

## angelic nondeterminism

A notional ability always to choose the most favorable option, in constant time. With angelic non-determinism, any problem in NP would be solvable in polynomial time.
Expand Down Expand Up @@ -282,13 +284,19 @@ Beam search is a heuristic search algorithm that explores a graph by expanding t
Benchmarking is to measure the quality of something for the purposes of comparison or evaluation.

## best-first search

Best-first search is a search technique of combining the advantages of both depth-first and breadth-first into a single search.

## biconditional
## binary constraint
## binary resolution
## binding list
## binocular stereopsis
## biological naturalism
## blocks world

Blocks world is an example domainin which there is a flat surface on which blocks can be placed .There are anumber of square blocks, all of same size. They can be stacked upon one another. There is a robotic arm that can manipulate the blocks.

## bluff
## body
## boid
Expand Down