Jump to navigation

The University of Arizona Wordmark Line Logo White
College of Engineering
Home
  • Home
  • Give Today
  • Contact Us

Search form

  • About
    • Welcome
    • Advisory Board
    • Contact Us
  • Undergrad Programs
    • Admissions
    • Degrees
    • Courses
    • Advising
    • Scholarships & Financial Aid
    • Research & Internships
    • Student Clubs & Organizations
    • ABET Accreditation
  • Grad Programs
    • Admissions
    • On-Campus Degrees
    • Online Degrees
    • Courses
    • Advising
    • Research Focus Areas
    • Funding
  • Research
    • Focus Areas
    • Centers
    • Inventions
  • Faculty & Staff
    • Faculty Directory
    • Staff Directory
    • Faculty Videos
    • Employee Resources
    • Open Positions
  • Alumni
    • Give Today
  • News & Events
    • ECE News Archive
    • Events
Undergraduate Programs
Home / Undergraduate Programs / Courses / Knowledge-System Engineering

ECE 466

Knowledge-System Engineering

Spring
Required Course:
No

Course Level

Undergraduate

Units

3

Instructor(s)

Michael Marefat, Associate Professor

Prerequisite(s)

Major: ECE. Advanced Standing: Engineering.

Schedule

Three 50-minute lectures per week, MWF 11:00 AM - 11:50 AM.

Course Description

Specific Course Information:
2021-2022 Catalog Data: 
Offered every two years. Knowledge systems are intelligent systems that totally or partially involve computational representation and processing of knowledge. This class introduces the principles and techniques for engineering and development of knowledge systems. Alternative computational structures for knowledge representation, procedures and algorithms for computational processing, automated reasoning and inference from knowledge, learning new knowledge, handling uncertainty in information, knowledge-based decision networks, distributed knowledge systems, alternative system architectures and engines.

Learning Outcomes

Specific Goals for the Course:
Outcomes of Instructions:
By the end of this course, the student will be able to:

  1. Understand propositional and first-order logic.
  2. Represent information in first-order logical formulas, and perform formula unification/matching.
  3. Understand forward and backward automated inference.
  4. Formulate problems as state-space search.
  5. Develop programs for breadth-first, depth-first, heuristic, and hill-climbing searches.
  6. Represent information in semantic networks.
  7. Understand constraint networks, constraint satisfaction, and develop programs for constraint satisfaction.
  8. Understand genetic operators, genetic optimization and genetic learning, and write programs for this purpose.
  9. Understand Bayes rules, Bayesian belief networks, and evidence accumulation.

Course Topics

Brief list of topics to be covered:

  • Knowledge representation in first-order logic, matching and unification of first-order logic formulae (2 lectures).
  • Rule-based expert systems, rule firing, forward and backward chaining (2 lectures).
  • Automated planning and problem-solving, total-order problem solvers, least-commitment planning, hierarchical problem solving (4 lectures).
  • Search methods, depth-first search, breadth-first search, heuristic search, greedy search, A* algorithms, hill climbing (2 lectures).
  • Structured knowledge representation; representing knowledge using frames, objects and semantic networks; first-order logic correspondence; matching; inheritance; defaults; and automated inference (2 lectures).
  • Constraints, constraint networks, constraint satisfaction, node and arc consistency, compound labeling, constraint satisfaction algorithms, problem reduction, back jumping, interval constraints, interval calculus, algorithms for interval constraint satisfaction (4 lectures.
  • Genetic algorithms, genetic representation of knowledge, fitness functions, genetic operators, genetic search and optimization, genetic learning (2 lectures).
  • Bayesian probabilistic networks, fundamentals of probability theory, likelihood vectors and conditional probability matrices, hierarchical propagation of evidence, computational algorithms for general networks (5 lectures).
  • Dempster-Shafer theory of evidence, belief interval representations for uncertainty, evidence accumulation and propagation (2 lectures).
  • Knowledge-based decision systems, utility theory, utility functions, decision networks, decision-theoretic knowledge systems, sequential decision problems, value iteration (3 lectures).

Relationship to Student Outcomes

ECE 466 contributes directly to the following specific electrical and computer engineering student outcomes of the ECE department:

1. An ability to identify, formulate, and solve complex engineering problems by applying principles of engineering, science, and mathematics.
2. An ability to apply engineering design to produce solutions that meet specified needs with consideration of public health, safety, and welfare, as well as global, cultural, social, environmental, and economic factors

Syllabus Prepared By

Syllabus updated on 3/29/2022
  • UNDERGRAD PROGRAMS
  • Admissions
  • Degrees
  • Courses
  • Advising
  • Scholarships & Financial Aid
  • Research & Internships
  • Student Clubs & Organizations
  • ABET Accreditation
undergradadvisor@ece.arizona.edu
  • Cadence University Program Member
  • Employee Resources
The University of Arizona
Department of Electrical & Computer Engineering
1230 E. Speedway Blvd.
P.O. Box 210104
Tucson, AZ 85721-0104
520.621.6193

Facebook YouTube LinkedIn


University Privacy Statement

© 2023 The Arizona Board of Regents on behalf of The University of Arizona.