Download presentation

Presentation is loading. Please wait.

Published byJoey Bridgham Modified over 2 years ago

1
Stan Lovric CSc214 Fall 2002 Victorian Symbolic Logic John Swartz Victorian Symbolic Logic Paper by John Swartz Presentation by Stan Lovric

2
Stan Lovric CSc214 Fall 2002 Victorian Symbolic Logic John Swartz Problem Definition CLIPS implementation of a syllogism proving system Based on “Symbolic logic” published by Lewis Carroll in 1896. The system solves two kinds of syllogisms. (1) given two premises and a conclusion, it checks the correctness of the conclusion and (2) given only two premises, it derives a conclusion if there is one. Syllogism: Some holidays are rainy. Rainy days are tiresome. Some holidays are tiresome.

3
Stan Lovric CSc214 Fall 2002 Victorian Symbolic Logic John Swartz Motivation Feasibility study of natural language processing system (NLP). Use layers of abstraction to implement a complex system. Begin with CLIPS as the lowest level of abstraction. To solve the problem, the software engineer must implement the intervening abstraction layers.

4
Stan Lovric CSc214 Fall 2002 Victorian Symbolic Logic John Swartz Program Output CLIPS> (run) input line value is: >>>> some holidays are rainy: rainy days are tiresome. some holidays are tiresome. The subject syllogism is true!!! and is of type >>> ([figureTwoA]) input line value is: >>>> no m' are x: some m' are y'. The subject syllogism implies the following conclusion >>> some x' are y' input line value is: >>>> all x are m: no y are m'. no y are x'. The subject syllogism is false!!! () input line value is: >>>> EOF Thus endeth the input file CLIPS> (exit)

5
Stan Lovric CSc214 Fall 2002 Victorian Symbolic Logic John Swartz Conclusion The author wanted to show a possible path to the general solution of the NLP problem. Interesting approach, but no information about the outcome of the effort.

Similar presentations

Presentation is loading. Please wait....

OK

Chapter 2: Modularization

Chapter 2: Modularization

© 2018 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on standing order act packets Ppt on reported speech in english grammar Ppt on obesity management services Ppt on job rotation meaning Ppt on master slave jk flip flop Ppt on testing of turbo generators manufacturers Ppt on p&g products promotion Ppt on girl child infanticide Ppt on tool condition monitoring Animated ppt on magnetism and electricity