(40) Linguistic Knowledge Description Language

	Machine:     PSI-II
	Environment: SIMPOS
	Language:    ESP
	Source Code: 2.5 MB
	Documents:   Operation Manual, Installation Note (Japanese)

Overview

This system offers a programming system and its development support environment for a Prolog-based language for natural language processing.

Configuration

Coordinator:
Controls the followings tools.
Installer:
Supports installation for this system.
Workspace:
Excutes programs.
Tracer:
Traces execution process of programs.
Inspector:
Analyzes data structures.
Graphic Inspector:
Displays data structures graphically.
Editor:
Used for editting programs and compiling programs.
Browser:
Displays Informations about programs.: Controls the followings tools.
Installer:
Supports installation for this system.
Workspace:
Excutes programs.
Tracer:
Traces execution process of programs.
Inspector:
Analyzes data structures.
Graphic Inspector:
Displays data structures graphically.
Editor:
Used for editting programs and compiling programs.
Browser:
Displays Informations about programs.: Supports installation for this system.
Workspace:
Excutes programs.
Tracer:
Traces execution process of programs.
Inspector:
Analyzes data structures.
Graphic Inspector:
Displays data structures graphically.
Editor:
Used for editting programs and compiling programs.
Browser:
Displays Informations about programs.: Excutes programs.
Tracer:
Traces execution process of programs.
Inspector:
Analyzes data structures.
Graphic Inspector:
Displays data structures graphically.
Editor:
Used for editting programs and compiling programs.
Browser:
Displays Informations about programs.: Traces execution process of programs.
Inspector:
Analyzes data structures.
Graphic Inspector:
Displays data structures graphically.
Editor:
Used for editting programs and compiling programs.
Browser:
Displays Informations about programs.: Analyzes data structures.
Graphic Inspector:
Displays data structures graphically.
Editor:
Used for editting programs and compiling programs.
Browser:
Displays Informations about programs.: Displays data structures graphically.
Editor:
Used for editting programs and compiling programs.
Browser:
Displays Informations about programs.: Used for editting programs and compiling programs.
Browser:
Displays Informations about programs.: Displays Informations about programs.

Function

This system is a programming system a prolog-based language that enables ones to describe objects with complex structures and constraints between them. This function is crucial to describe natural language processing system based on situation semantics,or grammatical theories like GPSG or LFG.

This system supports a Prolog-based programming language with two additional features, PST (Partial Specified Terms) and lazy evaluation. PST enables description of knowledge and semantics,and lazy evaluation enables constraint description.

This system also presents tools for program development. They are designed to work independently.

Example

This is an example of partially specified term and lazy evaluation. By running this example, each PST is unified. As a result,"A" is bound 25,then this value is printed on the screen.


  X = {name/taro,age/A},
  print(A?),
  .....
  X = {age/25,weight/80}.

FTP

Linguistic Knowledge Description Language [986K]

www-admin@icot.or.jp