AIwiki

Strona Główna

Dla Studentów

Zima / Winter 2021:

Computer Science: Introduction to AI
ISI: Podstawy Sztucznej Inteligencji

Old specialized AI courses

SMaDA/SMaIDA/AIDA

1. semester:

2. semester:

WSHOP -- Development Workshop

Informatyka (EAIiIB)

1. rok:

2. i 3. rok:

4. rok:

Systemy i technologie wirtualizacji

Studia Dr

HeKatE

Public

The KESE workshop (EN only)
Mindstorms (archive)

To jest stara wersja strony!

Spis treści

RIF i Minicases

RIF i Minicases

restrictive behavior

Reguła: if X > 2 then Y = X

Podobną strukturę przedstawiłem ostatnio.

restrictive behavior and multiple values

Opis

Póki co nie udało mi się zapisać kompletnej reguły. Część pierwsza, czyli wyliczenie ilości ocen 2 jest proste w realizaji, w regule używam predykatu count dla wyliczenia. Potem pogę dla wszystkich zmiennych wykonać jakąś operację używając Exists. Zastanawia mnie natomiast możliwość wywołania dwóch operacji na raz i póki co nie widze takiej możliwości.

Zapis za pomocą RIF