Natural language understanding and logic programming
Logic programming has been used in many natural language understanding applications, mainly in the areas of analysis, metagrammatical formalisms, logical treatment of linguistic problems, and meaning representations for naturla language. The particular methods and formal systems developed in this context usually exhibit attractive features of logic while remaining in the more pragmatic area of programming: conciseness, modularity, a declarative meaning that is independent from machine behaviour, and logical inference. All of these features, common to logic programming and to logic metagrammars, have been made possible through a chaining of various fundamental ideas. Outstanding among these are the resolution principle. Prolog itself; and interpretation of logic as a programming language. The machines of a relatively near future are likely to incorporate many related capabilities while increasing their speed manyfold. The Japanese Fifth Generation Computer project has triggered efforts towards future generations of computer systems based on these concepts. The potential in understanding natural language through logic programming is growing rapidly, and it might be wise to integrate the various theoretical and practical aspects involved, rather than yielding to the temptation of using all the extra power for programming ad-hoc systems. This conference is an effort toward such an integration.
- OSTI ID:
- 6689318
- Country of Publication:
- United States
- Language:
- English
Similar Records
Global optimization of logic programs
Design of the CONSUL programming language. Technical report
Related Subjects
ARTIFICIAL INTELLIGENCE
MEETINGS
NATURAL LANGUAGE
PROGRAMMING
SUPERCOMPUTERS
EXPERT SYSTEMS
FRANCE
JAPAN
LEADING ABSTRACT
MATHEMATICAL LOGIC
PROLOG
ABSTRACTS
ASIA
COMPUTERS
DIGITAL COMPUTERS
DOCUMENT TYPES
EUROPE
PROGRAMMING LANGUAGES
WESTERN EUROPE
990200* - Mathematics & Computers