New Bulgarian University > | Center for Cognitive Science > | Preparatory Program > | Course Description |
COG401 Symbolic Modelling
Foundations of Cognitive Science, MIT Press, 1989.
[CC] Pylyshin, Z.,
Computation and Cognition: Toward a Foundation of Cognitive Science, MIT Press, Cambridge, MA, 1984.
[HAND] Barr, Feigenbaum (eds.),
Handbook of Artificial Intelligence, vol. 1-3.
[APPR] Ringland, D.,
Approaches to Knowledge Representation, John Wiley, New York, 1988.
[FK] Delgrange, Mylopolous,
Knowledge Representation: Features of Knowledge, In: Bibel, Jorrand (eds.) Fundamentals of Artificial Intelligence. Springer, Berlin, 1987.
[KS] Galambos, Abelson, Black,
Knowledge Structures, Lawrence Erlbaum, Hillsdale, NJ, 1986.
[KS] Galambos, Abelson, Black,
Knowledge Structures.
[ACT*] Anderson,
The Architecture of Cognition, Harvard Univ. Press, Cambridge, MA, 1983.
[SOAR] Newell,
Unified Theories of Cognition, Harvard Univ. Press, Cambridge, MA, 1990.
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:
Grading procedure: