[[hekate:cases:hekate_case_thermostat:start]]
Show pagesource
Recent ChangesSitemap

AIwiki

Dla Studentów

Zima / Winter 2021:

Old specialized AI courses

SMaDA/SMaIDA/AIDA

1. semester:

2. semester:

Informatyka (EAIiIB)

1. rok:

2. i 3. rok:

4. rok:

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

HeKatE

This is an old revision of the document!

Table of Contents

HeKatE Case: Thermostat

Description

The system is a simple temperature controller. The basic idea is to set the temperature in an office based on time and working hours.

The case has been originally taken from a textbook by Michael Negnevitsky, Artificial Intelligence. A Guide to Intelligent Systems, 1st ed., Addison-Wesley, 2002.

The case has been the first HeKatE case to be modelled. It has been described in several papers FIXME.

Conceptualization

Vocabulary

Concepts: day, today, time, operation, month, season, thermostat_setting.

Relations: day → today, time → operation, month → season, season → thermostat_setting, operation → thermostat_setting.

→ Read more...

Conceptual design

→ Read more...

Attribute Specification

→ Read more...

Formal Analysis

Physical Design

Integration

HMR file with callbacks definitions

Callback screen

Callback screen

hekate/cases/hekate_case_thermostat/start.1248778230.txt.gz · Last modified: 2019/06/27 16:00 (external edit)
Show pagesourceOld revisions
Media ManagerBack to top
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0