		       Dulcinea User Interface

1. Introduction

 This is a manual for Dulcinea user interface on KL1 Listener.
Commands of other interface, that is SIMPOS Window and Motif, are very
similar to KL1 Listener.

2. Start

1) Login to PIMOS and run KL1 listener.
2) set current directory to the directory which 'dulcinea.com' exists.
3) take 'dulcinea.com'.
4) do 'dul::dul:main'.

3. Initialize

Dulcinea takes the file 'dul.init' when the system starts. The command
'init' also takes the file 'dul.init'.

4. Commands

q/quit
	Quit Dulcinea
h/help
	List all commands
init
	Initialize Dulcinea
set(A,B)
	set a system parameter A to B
sset(A,B)
	Same as the 'set(A,B)' but doesn't echo back.
st[(A)]
	Show a value of system parameter A. 
dom(Name)/domain(Name)
	Set an argument domain to 'Name'.
	'Name' must be one of 'house,labor,medicine,sports,traffic,whale,dul'.
gl
	Show goals
gen(Num[,M]): M=rosi,soc1,soc2,sancho
	Do generation for an argument goal number 'Num'. The
	generation stops after execution of a module M. 
goal(Goal[,M])
	Do generation for an argument goal 'Goal'.
exec(M)
	Execute a module M with a data of a previous generation process.
show(D): D=goal,belief,graph,fts,sancho,sout,text
	Show a data of a previous generation process.
normal/verbose
	Set a mode of information.
soc1/soc2/sancho
	Same as 'exec(soc1),exec(soc2),exec(sancho)' respectively.
pd(Dep)
pl(Len)
pdl(Dep,Len)
	Set a depth and a length of a data for display.
para(FLG): FLG=on,off
	Set a flag for parallel execution.
m/me/mad/made
	Set a mode of argument.
	m: Only direct grounds
	me:Direct grounds and examples
	mad:Direct grounds and opposing argument with refutation
	made:All elements of argument
pickn(Num)
	Set a number of Argument Graph to be selected by the module
	'soc1'. Default value is '1'.
order(P,Ord): P=toplev,antid,reason
	Set a order constraint.
	toplev: Order of 'thesis' and 'reason' at the top level.
	antid: Order of 'thesis','reason','anti_t' and 'exampl' in
	'anti_deny' level.
	reason: Order of 'main' and 'anti_deny'.
take(File)
	Take the file 'File'.

5. System parameter

sancho:flush
	Interval of 'flush'
	flush=token: Minimum unit
	flush=phrase: Every phrase
	flush=sentence: Every sentence
	flush=full: At the end of the text
bel:dir
	The directory name of belief database.
soc1:pplev
	Length of a label of FTS when FTS is displayed.
soc1:pmode
	pmode=half: Only FTS is displayed
	pmode=full: FTS ,Order constraint and Gravitational constraint
		are displayed

6. Belief database

'foo.bel' in the directory 'Bel' is a belief database. 
To change content of belief database,
1) edit 'foo.bel'.
2) 'dfp bel ; cd"Bel" ; bcomp:compile("foo.bel").'
3) 'compile("foo.kl1")'
4) 'relink:package ; dfp rosi ; relink:package ; dfp dul ;
	relink:package ; cd"..". '

7. Argument Goal

'foo.goa' in the directory 'Bel' is an argument goals. This file is
read by 'dom(Foo)' command.

8. Parameter set for 'soc2' module

para0: parameter set for good text structure.
para1: parameter set for bad text structure.


