Constraint-Based Design of Embedded Intelligent Systems

被引：6
|
作者：
Mackworth A.K. [1 ]
机构：
[1] Lab. for Computational Intelligence, Department of Computer Science, University of British Columbia, Vancouver
来源：
Constraints | 1997年 / 2卷 / 1期
基金：
加拿大自然科学与工程研究理事会;
关键词：
Constraint net; Constraint satisfaction; Dynamic systems; Hybrid systems; Intelligent systems; Robot soccer; Robotics;
D O I：
10.1023/A:1009705224515
中图分类号：
学科分类号：
摘要：
Substantial progress has been achieved using the standard Constraint Satisfaction Problem framework. However, there is a major unsolved challenge confronting the constraint research community: the constraint-based design of embedded intelligent systems. This requires a new online model of constraint satisfaction and new computational tools for specifying, modeling, verifying and implementing constraint-based, hybrid, intelligent systems, such as robots. The Constraint Net model of Zhang and Mackworth allows the design of hybrid intelligent systems as situated robots: modeling the robot and the environment symmetrically as dynamic systems. If the robot's perceptual and control systems are designed as constraint-satisfying devices then the total robotic system, consisting of the robot symmetrically coupled to the environment, can be proven correct. Some theoretical and practical advances based on this model are described, including experiments with the constraint-based design of robot soccer players.
引用
收藏
页码：83 / 86
页数：3
相关论文
共 50 条
  • [1] Constraint-based design of optical transmission systems
    Alicherry, M
    Nagesh, H
    Poosala, V
    [J]. JOURNAL OF LIGHTWAVE TECHNOLOGY, 2003, 21 (11) : 2499 - 2510
  • [2] Implementation of constraint-based distributed intelligent system for conceptual design
    Xu, Y
    Sun, S
    Pan, Y
    [J]. COMPUTER-AIDED PRODUCTION ENGINEERING, 2001, : 135 - 138
  • [3] Applications of Data Mining in Constraint-based Intelligent Tutoring Systems
    Nilakant, Karthik
    Mitrovic, Antonija
    [J]. ARTIFICIAL INTELLIGENCE IN EDUCATION: SUPPORTING LEARNING THROUGH INTELLIGENT AND SOCIALLY INFORMED TECHNOLOGY, 2005, 125 : 896 - 898
  • [4] A Knowledge Acquisition System for Constraint-based Intelligent Tutoring Systems
    Suraweera, Pramuditha
    Mitrovic, Antonija
    Martin, Brent
    [J]. ARTIFICIAL INTELLIGENCE IN EDUCATION: SUPPORTING LEARNING THROUGH INTELLIGENT AND SOCIALLY INFORMED TECHNOLOGY, 2005, 125 : 638 - 645
  • [5] A constraint-based approach to the design and optimisation of mechanism systems
    Medland, AJ
    Mullineux, G
    Twyman, BR
    Rentoul, AH
    [J]. IUTAM SYMPOSIUM ON OPTIMIZATION OF MECHANICAL SYSTEMS, 1996, 43 : 205 - 212
  • [6] Constraint-based distributed intelligent conceptual design environment and system model
    Xu, YR
    Sun, SQ
    Pan, YH
    [J]. IECON'01: 27TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, 2001, : 2105 - 2110
  • [7] A CONSTRAINT-BASED APPROACH TO INTELLIGENT SUPPORT OF NUCLEAR-REACTOR DESIGN
    FURUTA, K
    [J]. NUCLEAR ENGINEERING AND DESIGN, 1993, 144 (02) : 353 - 359
  • [8] CONSTRAINT-BASED DESIGN OF PARTS
    FENG, CX
    KUSIAK, A
    [J]. COMPUTER-AIDED DESIGN, 1995, 27 (05) : 343 - 352
  • [9] Constraint-based collaborative design
    Rong, Zhijun
    Li, Peigen
    Shao, Xinyu
    Chen, Kuisheng
    [J]. 2006 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PROCEEDINGS, VOLS 1 AND 2, 2006, : 290 - 295
  • [10] Negotiation in constraint-based design
    Kusiak, A
    Wang, J
    He, DW
    [J]. JOURNAL OF MECHANICAL DESIGN, 1996, 118 (04) : 470 - 477
12345