[图书][B] Базы знаний интеллектуальных систем

ТА Гаврилова, ВФ Хорошевский - 2000 - elibrary.ru
Учебник для технических вузов по входящим в различные дисциплины вопросам
разработки интеллектуальных систем–развивающейся области информатики …

Artificial Intelligence: A New Synthesis

NJ Nilsson - Morgan Kafmann, 1998 - books.google.com
Intelligent agents are employed as the central characters in this new introductory text.
Beginning with elementary reactive agents, Nilsson gradually increases their cognitive …

[图书][B] Non-functional requirements in software engineering

L Chung, BA Nixon, E Yu, J Mylopoulos - 2012 - books.google.com
Non-Functional Requirements in Software Engineering presents a systematic and pragmatic
approach tobuilding quality into'software systems. Systems must exhibit software quality …

Diagnosing multiple faults

J De Kleer, BC Williams - Artificial intelligence, 1987 - Elsevier
Diagnostic tasks require determining the differences between a model of an artifact and the
artifact itself. The differences between the manifested behavior of the artifact and the …

[PDF][PDF] Representing and using nonfunctional requirements: A process-oriented approach

J Mylopoulos, L Chung, B Nixon - IEEE Transactions on software …, 1992 - academia.edu
The paper proposes a comprehensive framework for representing and using nonfunctional
requirements during the development process. The framework consists of five basic …

[图书][B] Foundations of constraint satisfaction: the classic text

E Tsang - 2014 - books.google.com
This seminal text of Computer Science, the most cited book on the subject, is now available
for the first time in paperback. Constraint satisfaction is a decision problem that involves …

Algorithms for constraint-satisfaction problems: A survey

V Kumar - AI magazine, 1992 - ojs.aaai.org
A large number of problems in AI and other areas of computer science can be viewed as
special cases of the constraint-satisfaction problem. Some examples are machine vision …

An assumption-based TMS

J De Kleer - Artificial intelligence, 1986 - Elsevier
This paper presents a new view of problem solving motivated by a new kind of truth
maintenance system. Unlike previous truth maintenance systems which were based on …

[图书][B] Belief revision

P Gärdenfors - 2003 - books.google.com
Belief revision is a topic of much interest in theoretical computer science and logic, and it
forms a central problem in research into artificial intelligence. In simple terms: how do you …

[图书][B] Intelligent systems for engineers and scientists: a practical guide to artificial intelligence

AA Hopgood - 2021 - taylorfrancis.com
The fourth edition of this bestselling textbook explains the principles of artificial intelligence
(AI) and its practical applications. Using clear and concise language, it provides a solid …