
	(C)1993 Institute for New Generation Computer Technology
		Read COPYRIGHT for detailed information.


1. What is Dynamical Constraint Programming System (DCP-System) ?

Dynamical Constraint Programming System (DCP-System) is a system which
processes the program based on an analogue estimation called
`spreading activation.'  The program is described by the first-order
logic.  Generally, characteristics of the logic programming or
constraint programming are declarative, that is, the programmer does
not explicitly specify the control of processing and leaves it to the
system.  However, because there is no efficient control method which
can be applied in every case, present systems take only two
approaches: one is fixed control like Prolog, the other is heuristics
which uses the number of the instantiated variables and failures and
so forth.  Although DCP-System controls processing by heuristics, it
does not use single heuristics but employs integrated heuristics based
on the concept of activation values of literals and the potential
energy of constraint.


2. The environment DCP-System works.

DCP-System can be compiled and executed by gcc, bison, and X window
system on UNIX systems.  See the INSTALL document included in this
archive in case gcc or bison is not available.


3. List of files.

There is a manual in English under the directory `dcp/document.'
(`Manual.tex' is a LaTeX formatted file and `Manual.ps' is a
Postscript file.)  INSTALL.j and README.j contain Kanji code.

chanel:mya-u% ls -R dcp
INSTALL		README		document
INSTALL.j	README.j	program

dcp/document:
Manual.tex	sample5.eps	sample8.eps	wd2.eps		wd5.eps
backA.eps	sample6.eps	wd0.eps		wd3.eps
backD.eps	sample7.eps	wd1.eps		wd4.eps

dcp/program:
Imakefile	PlainMakefiles	Sample		main		unix

dcp/program/PlainMakefiles:
Makefile	main		unix

dcp/program/PlainMakefiles/main:
Makefile

dcp/program/PlainMakefiles/unix:
Makefile

dcp/program/Sample:
TegamiKaita.dcp		hearer.dcp		sample.dcp
TegamiKaita1.ltc	parse.dcp		speaker.dcp
TegamiKaita2.ltc	request.dcp

dcp/program/main:
Imakefile	config.h	feature.c	main.c		spread.c
absorb.c	control.c	formula.c	pressure.c	subsume.c
allocate.c	copy.c		global.h	print.c		typedef.h
backp.c		debug.c		grammar.y	probe.c		vdummy.c
binding.c	debug.h		info.c		proto.h		vnode.h
clause.c	define.h	link.c		special.c
command.c	delete.c	literallist.c	speech.c
command.h	expression.c	loop.c		speech.h

dcp/program/unix:
Imakefile	callback.c	draw2.c		mark.c		visual.c
button.c	draw1.c		draw3.c		proto.h		visual.h
chanel:mya-u% 


4. How to install.

First, execute `xmkmf' under the directory `dcp/program' to generate
Makefile for installation. Second, execute `make Makefiles' and `make
Makefile' in the same directory to create Makefiles for compilation
and linking. Finally, execute `make all' to build up DCP-System. (The
object file name is `dcp.')


5. References

@InProceedings{Hasida92,
  title = 	"Dynamics of Symbol Systems: An Integrated
		 Architecture of Cognition",
  author = 	"HASIDA, K\^oiti",
  year = 	1992,
  booktitle = 	"Proceedings of {FGCS}\,'92",
  pages =	"1141--1148",
  organization = 	"{ICOT}",
  month = 	"June",
  address = 	"Tokyo"
}

@InProceedings{Hasida93,
  title = 	"Joint Utterance: Intrasentential Speaker/Hearer Switch
		 as an Emergent Phenomenon",
  author = 	"HASIDA, K\^oiti and NAGAO, Katashi and MIYATA, Takashi",
  booktitle = 	"Proceedings of {IJCAI}\,'93",
  year = 	1993,
  pages = 	"1193--1199"
}

@InProceedings{Nagao93,
  title = 	"Understanding Spoken Natural Language with
		 Omni-Directional Information Flow",
  author = 	"NAGAO, Katashi and HASIDA, K\^oiti and MIYATA, Takashi",
  booktitle = 	"Proceedings of {IJCAI}\,'93",
  year = 	1993,
  pages = 	"1268--1274"
}

@InProceedings{Miyata93,
  author = 	"MIYATA, Takashi and HASIDA, K\^{o}iti and YONEZAWA, Akinori",
  title = 	"Plan Inferences in Dialogue under Dynamical
		 Constraint Programming",
  booktitle = 	"Proceedings of {NLULP}\,4",
  year = 	1993,
  pages = 	"129--145",
  month = 	"September--October",
}

@Article{Hasida92-J,
  author = 	"HASIDA, K\^{o}iti",
  title = 	"Integration of Parsing and Generation in Natural Language",
  journal = 	"Journal of Information Processing Society of Japan",
  year = 	1992,
  volume = 	33,
  month = 	"July",
  note =	"(in Japanese)"
}

@InProceedings{Hasida93-J,
  author = 	"HASIDA, K\^oiti and MIYATA, Takashi and NAGAO, Katashi",
  title = 	"Dynamics-Based Distributed Logical Inference",
  booktitle = 	"{SWoPP}\,'93",
  year = 	1993,
  organization = 	"Information Processing Society of Japan",
  month = 	"August",
  note =	"(in Japanese)"
}
