Problem-Solving Methods : Understanding, Description, Development and Resue : Understanding, Description, Development and Resue - Dieter Fensel

Instant online reading.
Don't wait for delivery!
Go digital and save!

Problem-Solving Methods : Understanding, Description, Development and Resue

Understanding, Description, Development and Resue

By: Dieter Fensel

Write A Review

Paperback | 1 October 2000

At a Glance

Paperback
172 Pages

Dimensions(cm)
22.86 x 14.61 x 0.64

Paperback

$108.90

or 4 interest-free payments of $27.23 with

Ships in 7 to 10 business days

Researchers in Artificial Intelligence have traditionally been classified into two categories: the "neaties" and the "scruffies". According to the scruffies, the neaties concentrate on building elegant formal frameworks, whose properties are beautifully expressed by means of definitions, lemmas, and theorems, but which are of little or no use when tackling real-world problems. The scruffies are described (by the neaties) as those researchers who build superficially impressive systems that may perform extremely well on one particular case study, but whose properties and underlying theories are hidden in their implementation, if they exist at all. As a life-long, non-card-carrying scruffy, I was naturally a bit suspicious when I first started collaborating with Dieter Fensel, whose work bears all the formal hallmarks of a true neaty. Even more alarming, his primary research goal was to provide sound, formal foundations to the area of knowledge-based systems, a traditional stronghold of the scruffies - one of whom had famously declared it "an art", thus attempting to place it outside the range of the neaties (and to a large extent succeeding in doing so).

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Reference, Information & Interdisciplinary Subjects Research & Information Decision Theory Computing & I.T.Computer Science Artificial Intelligence Expert Systems & Knowledge-Based Systems Medicine Medicine in General Computer Programming & Software Development Software Engineering

Introduction	p. 1
What Are Problem-Solving Methods
Making Assumptions for Efficiency Reasons	p. 7
A Definition of a Task	p. 10
A Non-efficient Problem Solver	p. 11
An Efficient Problem Solver	p. 13
Summary of the Case Study	p. 17
The Twofold Role of Assumptions	p. 19
How Deal Other Approaches with Assumptions and Efficiency	p. 22
An Empirical Survey of Assumptions	p. 26
Assumptions Necessary to Define the Task	p. 27
Identifying Abnormalities	p. 27
Identifying Causes	p. 27
Defining Hypotheses	p. 29
Defining Diagnoses	p. 29
Summary	p. 30
Assumptions Necessary to Define an Efficient Problem Solver	p. 33
Reducing the Worst-Case Complexity	p. 34
Reducing the Average-Case Behavior	p. 35
Search Guidance	p. 36
Summary	p. 37
Assumptions in System-Environment Interaction	p. 38
Summary	p. 39
How to Describe Problem-Solving Methods
A Four Component Architecture for Knowledge-Based Systems	p. 43
The Entire Framework	p. 44
The Main Elements of a Specification	p. 44
The Main Proof Obligations	p. 48
Task	p. 49
Problem-Solving Method	p. 50
The Black Box Description: Competence and Requirements	p. 51
The Operational Specification	p. 51
Domain Model	p. 54
Adapters	p. 56
Connecting Task and Problem-Solving Method	p. 57
Connecting with the Domain Model	p. 58
Related Work	p. 58
Logics for Knowledge-Based Systems: MLPM and MCL	p. 61
Specification Languages for Knowledge-Based Systems	p. 62
(ML)²	p. 62
KARL	p. 66
Design Rationales for a Logic of Dynamics	p. 67
Logics for the Dynamics of Knowledge-Based Systems	p. 71
Modal Logic of Predicate Modification (MLPM)	p. 71
Modal Change Logic (MCL)	p. 73
Modeling MLPM with MCL	p. 73
Formalizing Other Approaches	p. 74
Formalizing KADS Languages	p. 74
Using MCL to Formalize Abstract State Machines	p. 75
Approaches Using Different Paradigms	p. 76
A Verification Framework for Knowledge-Based Systems	p. 78
The Architecture in KIV	p. 79
Formalizing a Task	p. 79
Formalizing a Problem-Solving Method	p. 81
Proving Total Correctness of the Problem-Solving Method	p. 84
Adapter: Connecting Task and Problem-Solving Method	p. 87
A Specific Pattern in Specifying Architectures of Knowledge-Based Systems	p. 88
Future Work	p. 90
How to Develop and Reuse Problem-Solving Methods
Methods for Context Explication and Adaptation	p. 95
Inverse Verification of Problem-Solving Methods	p. 98
First Example: A Local Search Method	p. 100
Second Example: Finding an Abductive Explanation	p. 103
Heuristic Assumptions	p. 105
Related Work	p. 108
Stepwise Adaptation of Problem-Solving Methods	p. 109
Local Search	p. 110
Hill-Climbing	p. 110
Set-Minimizer	p. 111
Abductive Diagnosis	p. 113
Generalization and Limitation of Refinement with Adapters	p. 114
Organizing a Library of Problem-Solving Methods	p. 116
The Three Dimensions in Method Organization	p. 117
Deriving Task-Specific Problem-Solving Methods	p. 119
Problem Type Design	p. 121
Local Search	p. 121
Local Search as Design Problem Solving	p. 122
Problem Type Parametric Design	p. 122
Local Search as Parametric Design Problem Solving	p. 123
Variating the Problem-Solving Paradigm	p. 123
Derive Successor Candidates	p. 124
Select the Design Model that Is to Be Expanded Next	p. 126
Update the Set of Future Candidates	p. 126
Conclusions	p. 127
Conclusions and Future Work	p. 129
References	p. 133
Table of Contents provided by Publisher. All Rights Reserved.

Problem-Solving Methods : Understanding, Description, Development and Resue

Understanding, Description, Development and Resue

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

A Brief History of Information Networks from the Stone Age to AI

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

Human-Centered Solutions through Human-Computer Interaction

From Healthcare to Smart Environments

Agentic AI For Dummies

For Dummies (Computer/Tech)

AI in Business For Dummies

For Dummies (Business & Personal Finance)

Artificial Intelligence Powered Sustainable Development of Business 4.0

Intelligent Data-Driven Systems and Artificial Intelligence

Digital Wisdom

Searching for Agency in the Age of AI

Digital Wisdom

Searching for Agency in the Age of AI

What Art Is Now

Creativity in the Age of AI

AI Powered B2B Marketing

Develop AI Enabled Strategies and Practices for Maximum Impact

Determining Provenance from Compositional Data

Elements in Current Archaeological Tools and Techniques

The human Spark - Beyond AI

The Human Spark - Beyond AI

Python Workout, Second Edition

200 ten-minute exercises

The Human Spark - Beyond AI

What It Means to Be Human When Machines Do the Thinking

The Ultimate ChatGPT Prompt Book

750+ Expert Prompts to Boost Productivity, Unlock Creative Potential, and Simplify Tasks

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

REVOLUTIONIZING DRUG DEVELOPMENT

HARNESSING AI AND COMPUTATIONAL BIOLOGY

Bandit Convex Optimisation

This product is categorised by