This volume contains papers selected for presentation at the Seventh International Symposium on Methodologies for Intelligent Systems (ISMIS '93), held at the Norwegian Institute of Technology, Trondheim, Norway, in June 1993. The volume includes six invited talks and 43 contributed papers organized under the following headings: logic for artificial intelligence, expert systems, intelligent databases, approximate reasoning, constraint programming, learning and adaptive systems, methodologies, knowledge representation, and manufacturing. Theinvited talks are: "On extended disjunctive logic programs" (J. Minker, C. Ruiz), "Towards intelligent databases" (F. Bry), "Methodologies for knowledge-based software engineering" (M. Lowry), "Modelling of industrial systems" (L. Ljung), "The many faces of inductive logic programming" (L. De Raedt, N. Lavrac), and "Systematic assessment of temporal reasoning methods for use in autonomous agents" (E. Sandewall).
Author(s): Jack Minker, Carolina Ruiz (auth.), Jan Komorowski, Zbigniew W. Raś (eds.)
Series: Lecture Notes in Computer Science 689 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1993
Language: English
Pages: 662
Tags: Artificial Intelligence (incl. Robotics)
On extended disjunctive logic programs....Pages 1-18
Model finding strategies in semantically guided instance-based theorem proving....Pages 19-28
An expressive three-valued logic with two negations....Pages 29-38
Compiling proof search in semantic tableaux....Pages 39-48
Short CNF in finitely-valued logics....Pages 49-58
Defining variants of default logic: A modal approach....Pages 59-68
An admissible heuristic search algorithm....Pages 69-75
Building an expert system language interpreter with the rule network technique....Pages 76-85
Input-driven control of rule-based expert systems....Pages 86-95
Case-based planning for medical diagnosis....Pages 96-105
MethoDex: A methodology for Expert Systems development....Pages 106-115
Towards intelligent databases....Pages 116-131
Combining classification and nonmonotonic inheritance reasoning: A first step....Pages 132-141
Mechanical proof systems for logic II, consensus programs and their processing....Pages 142-151
The logic of only knowing as a unified framework for non-monotonic reasoning....Pages 152-161
Terminological logic involving time and evolution: A preliminary report....Pages 162-171
Knowledge management by example....Pages 172-185
System reorganization and load balancing of parallel database rule processing....Pages 186-197
Using semantic information for processing negation and disjunction in logic programs....Pages 198-208
On the interpretation of set-oriented fuzzy quantified queries and their evaluation in a database management system....Pages 209-218
Methodologies for knowledge-based software engineering....Pages 219-234
Updating logic programs....Pages 235-244
Expressing program requirements using refinement lattices....Pages 245-254
Finding logical consequences using unskolemization....Pages 255-264
Controlled explanation systems....Pages 265-274
Signed formulas: A liftable meta-logic for multiple-valued logics....Pages 275-284
New design concepts for the FLINS-Fuzzy Lingual System: Text-based and Fuzzy-Centered architectures....Pages 285-294
Boolean reasoning for decision rules generation....Pages 295-305
Upper and lower entropies of belief functions using compatible probability functions....Pages 306-315
Reasoning about higher order uncertainty in possibilistic logic....Pages 316-325
Approximation methods for knowledge representation systems....Pages 326-337
Modelling of industrial systems....Pages 338-349
On the satisfiability of symmetrical constrained satisfaction problems....Pages 350-361
A logical reconstruction of constraint relaxation hierarchies in logic programming....Pages 362-374
A performance evaluation of backtrack-bounded search methods for N-ary constraint networks....Pages 375-384
Finite domain consistency techniques: Their combination and application in computer-aided process planning....Pages 385-394
Should decision trees be learned from examples or from decision rules?....Pages 395-404
Integrating machine-learning techniques in knowledge-based systems verification....Pages 405-414
Automatic theorem generation in plane geometry....Pages 415-424
Learning simple recursive theories....Pages 425-434
The many faces of inductive logic programming....Pages 435-449
CONSENSUS: A method for the development of distributed intelligent systems....Pages 450-465
Script and frame: Mixed natural language understanding system with default theory....Pages 466-475
Constructive matching methodology: Formally creative or Intelligent inductive theorem proving?....Pages 476-485
Representing the knowledge used during the Requirement engineering activity with generic structures....Pages 486-495
Development of a programming environment for intelligent robotics....Pages 496-507
On the complexity of the instance checking problem in concept languages with existential quantification....Pages 508-517
Mutual knowledge....Pages 518-527
Expressive extensions to inheritance networks....Pages 528-537
A connectionist-symbolic cognitive model....Pages 538-547
Multi-Context systems as a tool to model temporal evolution....Pages 548-557
Systematic assessment of temporal reasoning methods for use in autonomous agents....Pages 558-570
GGD: Graph Grammar Developer for features in CAD/CAM....Pages 571-580
A knowledge-Based approach to group analysis in automated manufacturing systems....Pages 581-590
CENTER: A system architecture for matching design and manufacturing....Pages 591-600
Knowledge-based system integration in a concurrent engineering environment....Pages 601-611
A reflective strategic problem solving model....Pages 612-621
On the learning of rule uncertainties and their integration into probabilistic knowledge bases....Pages 622-631
Recognition of functional dependencies in data....Pages 632-641
Rough set learning of preferential attitude in multi-criteria decision making....Pages 642-651
