A note on the representation of quantified statements in terms of the implication operation

A note on the representation of quantified statements in terms of the implication operation

0.00 Avg rating—0 Votes
Article ID: iaor1988192
Country: Switzerland
Volume: 12
Start Page Number: 297
End Page Number: 314
Publication Date: Dec 1988
Journal: Annals of Operations Research
Authors:
Keywords: artificial intelligence, artificial intelligence: expert systems
Abstract:

We first review Zadeh’s theory for representing and reasoning with quantified statements of the form QA’s are B. We then suggest an equivalent representation in terms of QX’s are (A⇒B). We briefly look at some implications of this new representation.

Reviews

Required fields are marked *. Your email address will not be published.