This is a past event
Abstract:
Attempto Controlled English (ACE) is a logic-based knowledge representation language that uses the syntax of a subset of English. RACE is a first-order reasoner for ACE that can show the consistency of a set of ACE axioms and deduce ACE theorems and ACE queries from ACE axioms. In my talk I will present various forms of non-monotonic reasoning including a simple version of abduction.
Bio:
After several years in industry (IBM, Siemens, Mettler) I joined the Department of Informatics of the University of Zurich. I worked on logic programming, requirements engineering and executable specifications before starting the project Attempto. In the project Attempto we have developed the controlled natural language ACE and its tools – among them the parser for ACE and several reasoners. I was partner of three international projects that adopted ACE as their controlled language: the EU Network of Excellence REWERSE (Reasoning on the Web with Semantics and Rules), the Yale project ERGO (Authoring Clinical Practice Guidelines), and the EU project MOLTO (Multilingual Online Translation). In 2009 I started on the Sicilian island Marettimo the series of workshops CNL dedicated to controlled languages. The fifth instance of CNL took place this year in Aberdeen. After my retirement I have remained Senior Research Fellow of the Department of Informatics and the Institute of Computational Linguistics of the University of Zurich.
- Speaker
- Norbert Fuchs
- Hosted by
- Wamberto Vasconcelos
- Venue
- Meston 311