CSE 642, Spring 2001, ANDOR

CSE 642, Spring 2001

THE "ANDOR" CONNECTIVE

In general, "andor(min,max){P1,...,Pn}" is a connective that takes two integers as parameters ("min" and "max"), and a set of propositions as arguments.

Its semantic interpretation is: At least "min" and at most "max" of P1,...Pn are true.

For example:

andor(0,0){P} = not P
andor(1,2){P,Q} = P or Q
andor(2,2){P,Q} = P & Q
andor(1,1){P,Q} = P xor Q
andor(0,0){P,Q} = P nor Q
andor(0,1){P,Q} = P nand Q

For more details, see:

Shapiro, Stuart C. (1979), "Using Non-Standard Connectives and Quantifiers for Representing Deduction Rules in a Semantic Network", invited paper presented at Current Aspects of AI Research, a seminar held at the Electrotechnical Laboratory, Tokyo.
Martins, João P. & Shapiro, Stuart C. (1988), "A Model for Belief Revision", Artificial Intelligence, 35(1): 25-79.