
Accession Number : ADA303390
Title : Planning in KIDS.
Descriptive Note : Final rept. FebDec 94,
Corporate Author : CALSPAN UB RESEARCH CENTER BUFFALO NY
Personal Author(s) : Gomes, Carla
PDF Url : ADA303390
Report Date : OCT 1995
Pagination or Media Count : 58
Abstract : This report gives an overview of KIDS (Kestrel Interactive Development System). We describe a program derived with KIDS to solve the Missionaries and Cannibals problem (MC PROBLEM), a classical AI planning problem. Our interest in this problem arose as the result of some difficulties we experienced trying to use the AI planners OPlan2 and SIPE2 to solve it. We were curious as to how one could solve a planning problem such as the MC PROBLEM using KIDS. We also wanted to evaluate how difficult it would be for someone to formalize and derive a program with KIDS. We derived a program for the KMC PROBLEM that would reach the solution for the 3MC PROBLEM in 108 msecs (real time) and 0 msec (cpu time). For the same problem, on the same machine, SIPE2 takes 26.l9 secs (real time) and 0.15 secs (cpu time). We were able to get the solution for 100 problems, the KMC PROBLEM (k=1,2,. . .100), in 225.009 secs (real time) and 11.467 secs (cpu time) using KIDS. SIPE2 could not solve problems for k > 45 in less than 20 minutes real time. (AN)
Descriptors : *SOFTWARE ENGINEERING, *ARTIFICIAL INTELLIGENCE, COMPUTER PROGRAM DOCUMENTATION, MATHEMATICAL MODELS, ALGORITHMS, OPTIMIZATION, REAL TIME, REASONING, COMPUTER PROGRAMMING, MATHEMATICAL LOGIC, LEARNING MACHINES, INPUT OUTPUT PROCESSING, PROBLEM SOLVING, FINITE DIFFERENCE THEORY, NONLINEAR SYSTEMS, PLANNING, HEURISTIC METHODS, KNOWLEDGE BASED SYSTEMS.
Subject Categories : Computer Programming and Software
Cybernetics
Distribution Statement : APPROVED FOR PUBLIC RELEASE