UWTV Program: Knowledge Representation and Reasoning: Controlled Natural Language
Note: Selected programs are available for streaming download per agreement with the original media source.
Sponsored by:
Knowledge Representation and Reasoning: Controlled Natural Language
In this Turing Center Distinguished Lecture, Norbert Fuchs presents Attempto Controlled English (ACE). ACE is a controlled natural language, a precisely defined, tractable subset of full English that can be automatically and unambiguously translated into first-order logic. ACE seems completely natural, but is actually a formal language; concretely it is a first-order logic language with the syntax of a subset of English. Thus ACE is human and machine understandable.

Windows Media
 * Help?
QuickTime
 * Help?
Series Title:CSE Colloquia - 2006
Speaker(s): Norbert Fuchs, University of Zurich
Production Date: 12/06/2005
Runtime: 00:53:46
Support for UWTV is provided by:

San Jose State @ UW
Watch 9/3 at 8 p.m.
Original Game: 11/16/96

Kansas State @ UW
Watch 9/6 at 7 p.m.
Original Game: 9/28/91

Contact Us | Help | Where to Watch UWTV | Retransmission | UWTV Production | uw2.tv
Email us with comments or questions or call 888-616-UWTV

Copyright © University of Washington, 1997-2010. All Rights Reserved.