Lecture: Knowledge Representation meets Software Engineering and Databases: A two-way street?

Su Mo Tu We Th Fr Sa
27 28 29 30 1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31
Date/Time:Thursday, 22 Oct 2009 at 3:30 pm
Location:Auditorium, How Hall
Cost:free
Phone:515-294-6516
Channel:College of Liberal Arts and Sciences
Categories:Lectures
Actions:Download iCal/vCal | Email Reminder
Alexander Borgida, Rutgers University, New Brunswick, NJ.

This talk surveys a selection of research projects I have been involved in that addressed problems in Software Engineering and Databases. These include conceptual modeling, software knowledge bases, exceptions to database schemas, description of Corba/web-service semantics, and specification of methods in object-oriented systems. In each case I consider the corresponding Knowledge Representation and Reasoning technique connected to its solution (semantic networks, description logics, the frame problem, default logic), and reflect on the extent to which the KR&R ideas provided ready-made solutions to original problems (rarely), and how often the new solutions proposed were relevant to KR&R itself (sometimes). At a high-level, the talk could be viewed in part as a meditation on what is involved in doing inter-subdisciplinary research in Computer Science.

Dr. Alexander Borgida holds a PhD degree from the University of Toronto, and is a Professor of Computer Science at Rutgers University in New Brunswick, NJ. His research generally concerns knowledge representation and its applications. He has published over 100 papers in a variety of areas including Artificial Intelligence (description logics, explanation), Databases (exceptions, data mapping, data quality), and Software Engineering (requirements modeling, software specification). Among others, he was co-recipient of the Most Influential Paper Award presented at the 1994 International Conference on Software Engineering, and contributed at Bell Laboratories to the design and implementation of the Classic description logic, which was used in a number of industrial applications at AT&T.