KALANTARI@RED.RUTGERS.EDU.UUCP (02/05/87)
RUTGERS COMPUTER SCIENCE AND RUTCOR COLLOQUIUM SCHEDULE - SPRING 1987 Computer Science Department Colloquium : DATE: Friday, Feb. 6, 1987 SPEAKER: Wiktor Marek AFFILIATION: University of Kentucky TITLE: "On the logic and combinatorics of rule-based expert systems" TIME: 2:50 (Coffee and Cookies will be setup at 2:30) PLACE: Hill Center, Room 705 We discuss some basic issues of rule-based expert systems, their logic and the main complexity issues related to the algorithms of deciding the consistency and completeness of such systems. In addition we study the connections to the theory of non-first normal form relational databases and find the applications of our theory to non-first normal form relations. -------