Advanced Information and Knowledge Processing

A Guide to Using Logic to Represent Informal Methods and Support Reasoning

By: Yun-Heh Chen-Burger, Dave Robertson

Write A Review

Hardcover | 3 February 2005

At a Glance

Hardcover
344 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning their businesses. The resulting product, an enterprise model, is commonly used as a blueprint for reconstructing organizations and such effort is often a part of business process re-engineering and improvement initiatives. Automating Business Modelling describes different techniques of providing automated support for enterprise modelling methods and introduces universally used approaches. A running example of a business modelling method is included; providing a framework and detailed explanation as to how to construct automated support for modelling, allowing readers to follow the method to create similar support. Suitable for senior undergraduates and postgraduates of Business Studies, Computer Science and Artificial Intelligence, practitioners in the fields of Knowledge Management, Enterprise Modelling and Software Engineering, this book offers insight and know-how to both student and professional.

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 $89.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 Business & Management Business Mathematics & Systems Economics Microeconomics Management & Management Techniques Management Decision Making Computing & I.T.Computer Science Artificial Intelligence Human-Computer Interaction Information Architecture

Operational Research Databases Data Capture & Analysis Management of Specific Areas Production of Quality Control Management Business Applications

Other Editions and Formats

Paperback

Published: 22nd October 2010

View Product

Preface	p. vii
List of Figures	p. xv
Introduction	p. 1
The Wider Context: Enterprise Modelling Methods	p. 1
The Focus: Business System Development Method (BSDM)	p. 3
The Aim: A Different Type of Modelling Support	p. 4
Modelling Context and the Support Framework	p. 4
Formal Approach and KBST-BM	p. 6
The Use of KBST-BM	p. 7
Organisation of the Book	p. 8
Background Knowledge	p. 9
Why Enterprise Modelling?	p. 9
Enterprise Modelling Methods	p. 10
Introducing the Business System Development Method (BSDM)	p. 13
Business Modelling	p. 13
BSDM Compared with SE	p. 14
Introducing Business Process Models	p. 15
Review of Existing Enterprise Modelling Tools	p. 19
Exercises	p. 21
Problems and Overview of Approach	p. 23
Introduction	p. 23
Business Model and Software Engineering	p. 23
Software Systems Development Cycle	p. 23
Software System Seeks Real Goal	p. 25
Support for Enterprise Modelling Methods	p. 26
Problems with Enterprise Modelling Methods	p. 26
BSDM's Business Modelling	p. 29
Providing a Quality Assurance Life Cycle	p. 29
A Logic-Based Formal Method	p. 32
Lightweight Logical Method	p. 32
A Layered Framework	p. 33
Modelling Support Overview of KBST-BM	p. 34
Exercises	p. 36
Logic	p. 37
Introduction	p. 37
Propositional Logic	p. 38
The Notation: Well-Formed Formulae	p. 38
Analysing the Structure of Formulae in Propositional Logic	p. 39
Representing Real World Problems in PL	p. 40
Determining the Truth of Formulae by Analysis of their Structure	p. 43
First Order Predicate Logic	p. 46
The Notation: Well-Formed Formulae	p. 47
Representing Real World Problems in FOPL	p. 49
Unification	p. 51
Natural Deduction Proofs	p. 52
Resolution: A Simplified Proof Mechanism	p. 57
Normal Forms	p. 58
Resolution	p. 62
Prolog	p. 65
Problems	p. 67
Ambiguity	p. 68
Search Problems	p. 68
Representational limitations	p. 70
Exercises	p. 72
Formal Support for Data Modelling	p. 75
Defining a Formal Language: DefBM	p. 77
Entity Model	p. 81
Representing the Entity Model	p. 82
Representing the Life Cycle Diagram	p. 84
Representing Domain Knowledge	p. 86
Inference	p. 88
Model Verification Consultation Example	p. 90
Conclusion	p. 93
Exercises	p. 93
Advanced Exercises	p. 94
Formal Support for Process Modelling	p. 95
Process Model and Process-Entity Matrix	p. 95
Representing the Process Model	p. 98
Representing the Life Status of a Process	p. 99
Representing User-Defined Attribute Rules	p. 100
Predicate for User-Defined Attribute Rules	p. 101
Grammar for User-Defined Attribute Rules	p. 101
Representing Domain Knowledge	p. 108
Inference	p. 112
Process Model Consultation Example	p. 113
Conclusion	p. 115
Exercises	p. 115
Advanced Exercises	p. 116
Reasoning on and Executing Processes	p. 117
Introducing the Procedural Model	p. 117
Representing Dynamic Business Models	p. 120
Representing the Procedural Model	p. 121
Example Procedural Model and Representation	p. 123
Representing Domain Knowledge	p. 125
Actions, Effects and Temporal Relations	p. 125
Process Dependencies and Partial Execution Order	p. 127
Simulation Algorithm	p. 130
Inference	p. 132
Process Execution Sequence Constructor	p. 132
Process Conflict Detector	p. 137
Business Model Simulator	p. 137
Example Inference and State Transition Diagram	p. 138
Conclusion	p. 140
Exercises	p. 141
Advanced Exercises	p. 142
Knowledge Sharing and Reuse of Models	p. 143
Introduction	p. 143
Intelligent Assistance for the Business Modeller	p. 143
Case-Based Reasoning (CBR)	p. 145
GMA System Architecture	p. 146
Indexing and Domain Knowledge Representation	p. 148
Generic Model Library (GML)	p. 150
Presentation and Representation Issues	p. 152
Entity Conceptual Hierarchy (ECH)	p. 153
Algorithm for Case Retrieving	p. 156
Similarity Assessment	p. 158
Matching Models	p. 158
Discriminating Criteria	p. 160
Heuristic Similarity Assessment	p. 160
User-Definable Similarity Assessment	p. 162
Report Generation and Retaining New Cases	p. 163
Example Use of GMA	p. 164
Conclusion	p. 167
Exercises	p. 169
Advanced Exercises	p. 169
Use of KBST-BM	p. 171
Description of DAI Case	p. 172
Developing a Business Model	p. 172
Overview of using KBST-BM	p. 172
Workflow for Developing a Business Model	p. 174
Reuse, Verification and Validation Life Cycle	p. 176
Developing an Entity Model	p. 176
Developing a Process Model	p. 179
Developing a Procedural Model	p. 181
Conclusion	p. 187
Exercises	p. 187
Advanced Exercises	p. 187
Evaluation of System	p. 189
Introduction	p. 189
Evaluation of Support for Method	p. 190
Completeness Assessment	p. 190
Model Verification Support Assessment	p. 194
BSDM Development Process Support Assessment	p. 199
Knowledge Integration and Sharing: An Evaluation of GMA	p. 204
Comparison with Other Support Tools	p. 212
Rose Business Process Link and Rose Planner Link	p. 213
AI0 WIN	p. 214
Conclusion	p. 216
Exercises	p. 216
Advanced Exercises	p. 216
Conclusion	p. 219
A Formal Approach	p. 221
The System: KBST-BM	p. 222
Evaluation of KBST-BM	p. 224
Exercises	p. 227
Generic Business Models	p. 229
Example Business Models	p. 233
An Industrial Model	p. 235
A Model for Family Restaurants	p. 241
A Model for Academic Environments	p. 249
The Formal Operators in DefBM	p. 253
Notation and Language Conventions	p. 253
Entity Model Rules and Guidelines	p. 255
Entity Model Rules	p. 255
Entity Model Guidelines	p. 261
Process Model Rules and Guidelines	p. 265
Process Model Rules	p. 265
Process Model Guidelines	p. 270
An Interpreter for User-Defined Rules	p. 279
Model Rules and Guidelines by Category	p. 285
Entity Model Rules	p. 286
Entity Model Guidelines	p. 286
Process Model Rules	p. 287
Process Model Guidelines	p. 288
Test Results of Model Rules and Guidelines	p. 289
Test Results of Entity Model Rules	p. 289
Test Results of Entity Model Guidelines	p. 290
Test Results of Process Model Rules	p. 291
Test Results of Process Model Guidelines	p. 292
Example Use of GMA	p. 293
Input User Model	p. 293
Representation of the User Model	p. 294
Dialogue using GMA	p. 295
Statistical Summary of All Explored Matches	p. 302
Example Use of Simulator	p. 305
References	p. 313
Index	p. 321
Table of Contents provided by Publisher. All Rights Reserved.

Advanced Information and Knowledge Processing

A Guide to Using Logic to Represent Informal Methods and Support Reasoning

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Business Applications

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Microsoft Planner For Dummies

Statistics and Data Handling for Biologists

A Student's Guide

Statistics and Data Handling for Biologists

A Student's Guide

SPSS Statistics

5th Edition - A Practical Guide

Machine Learning for Spatial Environmental Data

Theory, Applications and Software

Proceedings of the 6th International Conference on Research in Management & Technovation

ICRMAT-2025

Introduction and Applications of Machine Learning in Geotechnics

Learning Generative AI Tools for Excel

Speed Up Your Everyday Tasks with Microsoft Excel, Copilot, ChatGPT, and Beyond

The Visual MBA

A Quick Guide to Everything You'll Learn in Two Years of Business School

Hands-On Programming with R

Write Your Own Functions and Simulations

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Statistical Rethinking

2nd Edition - A Bayesian Course with Examples in R and STAN

Microsoft 365 Excel VBA Programming For Dummies

For Dummies (Computer/Tech)

MYOB For Dummies

9th Edition

Adobe Photoshop Lightroom Classic For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Access For Dummies

Access for Dummies

Financial Analysis with Microsoft Excel

9th edition

The Value of People Analytics

Using HR Data to Drive Business Results

Microsoft Excel 365 Bible

Bible

Microsoft 365 PowerPoint For Dummies

Powerpoint for Dummies

Microsoft 365 Office All-in-One For Dummies

For Dummies (Computer/Tech)

Photoshop Elements 2025 For Dummies

For Dummies (Computer/Tech)

This product is categorised by