New Bulgarian University > Center for Cognitive Science > Preparatory Program > Course Description

COG401 Symbolic Modelling

  1. Aims:


  2. Objectives:
    On completion of the course students should be able to:


  3. Learning strategies:


  4. Overall duration and format:
    A one semester (15 weeks) course with 2 hours lectures and 1 hour seminar. Two types of seminars are organized:


  5. Credit hours: 3.

  6. Lecturer: Boicho Kokinov.

  7. Literature:
    [FOUND] Posner (ed.),

    [CC] Pylyshin, Z.,

    [HAND] Barr, Feigenbaum (eds.),

    [APPR] Ringland, D.,

    [FK] Delgrange, Mylopolous,

    [KS] Galambos, Abelson, Black,

    [KS] Galambos, Abelson, Black,

    [ACT*] Anderson,

    [SOAR] Newell,


  8. Course outline:
    The course is divided into the following sections:


  9. Main Topics:

    Introduction

    Topic 1: Basic concepts: Model, Modelling, Theory, Approach, Symbol, Physical Symbol System Hypothesis
    Seminar: Discussion: What is a symbol?

    Knowledge Representation

    Topic 2: Informal introduction: historical lines of development of the idea of knowledge representation, types of information in human memory, what is representation and description, knowledge use (retrieval, reasoning, acquisition). Informal introduction of the main knowledge representation schemes by presenting examples in various domains.
    Seminar: Discussion: Why do we need representation? Do we need just knowledge?

    Topic 3: Formal introduction: Formal theory. Knowledge representation formalism vs. schema: syntactic rules, semantic theory, inference rules, axioms and alphabet vs. data structures and procedural operations over them. Organizational aspects. Basic operations (matching, marker passing, subsumption). Control.
    Seminar: Discussion: Formalism vs. schema: similarities, differences, relations.

    Required readings:


    Topic 4: Logics - Propositional Calculus and First-order Logic, idea for modal logic, higher-order logic, and nonmonotonic logic.
    Seminar: Developing representation examples.

    Required readings:


    Topic 5: Production Systems
    Seminar: Developing representation examples.

    Required readings:


    Topic 6: Semantic Networks
    Seminar: Developing representation examples.

    Required readings:


    Topic 7: Frames
    Seminar: Developing representation examples.

    Required readings:


    Topic 8:Properties of real-world knowledge and how to deal with them: incom-pleteness, nonmonotonity, inconsistency, inaccuracy, relativity, uncer-tainty, imprecision, etc.
    Seminar: Discussion: Comparative analysis of the knowledge representation schemas.

    Required reading:


    Cognitive Architectures

    Topic 9: Cognitive architectures, computer architectures, symbolic architectures, functional requirements.
    Seminar: Discussion: Modularity of mind vs. Unified Architectures.

    Required reading:


    Additional readings:


    Topic 10: Production systems architectures: ACT* and SOAR.
    Seminar: Discussion: Pros and Cons of ACT* and SOAR.

    Required reading:


    Additional readings:


    Topic 11: Schema-based architectures.
    Seminar: Discussion: Pros and Cons of Schema-based Architectures.

    Cognitive Models

    Topic 12: Problem solving (PS): Knowledge-lean PS (state space, search), knowl-edge-rich PS (schema-based models).
    Seminar: Discussion: Experts vs. Novices.

    Required reading:


    Topic 13:Vision - David Marr's approach to human vision.
    Seminar: Discussion: Top-down vs. bottom-up approaches to vision.

    Required reading:


    Topic 14:Learning models - concept formation, skill acquisition, inductive and analogical reasoning.
    Seminar: Discussion: Where to start from?

    Required reading:


    Concluding Discussion

    Topic 15: Cognitive Representation of Emotions and Social Interaction. Verification of symbolic models, pros and cons of the symbolic approach, the symbolic/connectionist debate.
    Seminar: Discussion: Do we need symbols and symbolic models?

    Required reading:


    Additional reading:


  10. Assessment:
    The knowledge obtained will be evaluated by:


    Grading procedure:


  11. Prerequisites:
    Course COG400 "Foundations of Cognitive Science" is required. The course will be relatively intuitive and informal. Knowledge of LISP (INF431, INF531) will be useful.

New Bulgarian University Center for Cognitive Science

[ Department ][ Center ][ Research ][ Programs ][ Events ][ Faculty ][ Staff ][ Students ][ Mail ]


Last updated on 2000.01.31, 08:00; please report errors to webadmin