|Website:||website containing additional information|
|Period:||period 4 (week 17 through 26, i.e., 23-4-2018 through 29-6-2018; retake week 28)
|Participants:||up till now 2 subscriptions|
|Schedule:||Official schedule representation can be found in Osiris|
|week: 26||Tue 26-6-2018||13.30-16.30 uur||room: EDUC-ALFA|
|week: 28||Tue 10-7-2018||13.30-16.30 uur||room: BBG-209||retake exam|
|Note:||No up-to-date course description available.|
Text below is from year 2016/2017
|Contents:||This course is about the theory of so-called intelligent agents, pieces of software that display some degree of autonomy, realised by incorporating `high-level cognitive / mental attitudes' into the modelling of this kind of software. These mental attitudes comprise 'informational' and 'motivational' ones and are often of the so-called BDI kind, dealing with 'beliefs', 'desires' and 'intentions' of agents. The agent concept calls for an integration of several topics in artificial intelligence, such as knowledge representation and reasoning (in particular reasoning about action and change) and planning.
Agent technology, as the field is generally called, has a great potential of applications, ranging from intelligent personal assistants to e-commerce and robotics (where in the latter case often the term 'cognitive robotics' is used).
The course is devoted mainly to the philosophical and theoretical (mostly logical) foundations of the area of intelligent agents, both focusing on single agents and on multi-agentsystems.
Collection of articles.
|Course form:||Lectures and exercise classes (`werkcolleges')|
|Exam form:||Written exam.
|Minimum effort to qualify for 2nd chance exam:||To qualify for the retake exam, the grade of the original must be at least 4.|
|Description:||Overview in brief:
* introduction "What are intelligent agents?"
* philosophical background: Aristotle, Dennett, Bratman
* logical foundations of actions and single agents: modal, temporal and dynamic logicc, BDI logic, KARO logic
* reasoning about actions: frame problem, situation calculus, planning
* reasoning about multi-agent systems|