Description
This is an introduction to robotics with a focus on autonomous mobile robots. The two major issues dealt with are: (1) cognitive behavior, and (2) motion. Cognitive behavior addresses problem solving using sensory inputs and desired goals. Motion deals with aspects of movement from simple robotic arm movement to autonomous rovers in unknown environments.

Description
The objectives of this course are (1) To explore and study the AI techniques, systems, and concepts relevant to the WWW (2) Develop the skills for understanding research, thinking critically, and contributing to the subject through research projects and surveys (3) Develop the art of preparing and delivering fluid, concise, and effective talks and presentations.
Project
Personalized News Service Using Naive Bayes Classifiers

Description
One or more central problems in the philosophy of mind such as the mind-body problem, intentionality, and metal causation.

Description
An in-depth introduction to machine learning methods and an exploration of research problems in machine learning and its applications which may lead to work on a project or a dissertation.
Project
Reinforcement Learning in Resource Allocation Games

Description
Human language from a computational point of view; algorithms and techniques for computer understanding of human-language input.

Description
Topics such as formal and ordinary languages, meaning, reference, truth, definition, analyticity, ambiguity, metaphor, symbolism, and the uses of language.

An in-depth introduction to evolutionary computation methods and an exploration of research problems in evolutionary computation and its applications which may lead to work on a project or a dissertation.

The artificial intelligence approach to modeling cognitive processes. Topics include an introduction to heuristic methods, problem representation and search methods, classic AI techniques, and a review of the controversial issues of the AI paradigm of cognition as computation.

Symbolic-mathematical logic, examining the propositional and predicate calculi, with emphasis on problems in translation and formalization and topics in the philosophy of logic and mathematics.

Programming in LISP and PROLOG, with emphasis on artificial intelligence techniques. Other languages used for artificial intelligence work will be presented more briefly.

A thorough introduction of the research and application of techniques for coordination of multiple, autonomous agents sharing common resources and/or goals. Students will work in groups on a final research project.

Second of two-course sequence in software engineering. Involvement in actual requirements analysis, design, and implementation of a non-trivial software project. Emphasis on social and ethical implications of computing and software development, and on customer and team relations. Results of projects presented in writing. Oral presentations before staff and students required throughout semester.

Finite automata. Regular languages and grammars. Properties of regular languages. Context free languages and grammars. Pushdown automata. Properties of context free languages. Chomsky hierarchy. Turing machines. Limits of algorithmic computation.

Comprehensive survey of computational mechanisms that allow autonomous agents to acquire knowledge and expertise, improving performance on a given set of tasks from experience. Covers symbolic and sub-symbolic schemes; supervised, reinforcement, and unsupervised learning; single agent and multiagent systems; robot learning; learning information agents; practical applications. Group work on final research project.

First of a two-course sequence in software engineering. Formal and semi-formal methods of specification and design will be used to describe the various requirements of a non-trivial software system.

Thorough introduction to theory and practice of database systems. Emphasis on theoretical considerations involved in modeling data and designing easy to use, efficient database systems. Also covers practical issues of query languages and optimization, transaction processing, concurrency control and recovery techniques as well as embedding structured queries in high-level language.

Electronic commerce technology, models and issues. Principles and case studies of electronic commerce. Introduction to security architectures for electronic commerce including digital signatures, certificates, and public key infrastructure (PKI). Legal and national policy electronic commerce issues.

Comprehensive introduction to the principles and techniques of artificial intelligence (AI). Emphasis on scientific and technological motivations for AI. In-depth coverage of agents and environments, search techniques, game playing, knowledge representation, rule-based reasoning, logic, planning, learning, reasoning under uncertainty. Programming in LISP and rule-based languages.

Foundations of computer network design: requirements, architecture, and software. Layering and protocols. OSI and Internet architecture. Direct link networks: building blocks, encoding, framing, error detection, reliable transmission and media access control.

Algebraic language syntax and semantic definition. Languages, grammars and parsing algorithms. Semantics processing. Attribute grammars and syntax-directed translation. Declarations processing, type-checking, storage allocation, code generation.

Introduction to operating system design. Views of operating system as a computer resource manager and as coordinator of competing processes. Process synchronization and deadlock avoidance. UNIX as a standard example. Comparison of several current operating systems.

An introduction to Internet visual programming and applications. Major topics include objectoriented concepts, graphical user interfaces,visual design, event driven programming and actions, exception handling, threads, and animations. Students implement interactive applications that run on the Internet.

Basic concepts of data, lists, strings, arrays, B trees, AVL trees, hashing, and algorithm analysis. Representation of trees and graphs, storage systems and structures, storage allocation. Emphasis on various algorithm techniques. Students will write programs in C++ and Java.

Introduction to computer hardware organization, instruction execution, and the relationships between higher-level programming languages and machine language. Information flow and control. Instruction and data representation. Assembly language features including control and communication with simple I/O devices and interfaces between assembly programs and high level languages. Survey of modern computer and microprocessor organization.

Continuation of CS 1043. Further development of a disciplined approach to design, coding, and testing of programs written in an object-oriented language. Various implementations of abstract data types, including lists, stacks, queues and introduction to trees. Introduction to algorithm analysis, sorting and searching.

Detailed analysis of the concepts and constructs of modern programming languages. Comparative study of programming languages. Emphasis on imperative languages; discussion of functional, object-oriented and logical programming languages.

Introduction to a disciplined approach to problem-solving methods and algorithm development using procedural and data abstraction. Coding, debugging, testing, and documentation, using an object-oriented development environment. Programming language is Java.