Titlebook: Current Trends in SNePS - Semantic Network Processing System; First Annual SNePS W D. Kumar Conference proceedings 1990 Springer-Verlag Ber

使尴尬

政府

威胁你

Kinds of opacity and their representations,ocus has obscured the fact that there are a number of other kinds of sentences in which the logic-linguistic phenomenon of referential opacity occurs. This paper distinguishes two main kinds of referential opacity and offers distinct representations of their logical forms.

步兵

牛马之尿

978-3-540-52626-1Springer-Verlag Berlin Heidelberg 1990

凹室

和平主义

彩色

outskirts

craving

An integrated model of acting and inference,t introduces the notions of a .. A transformer is a representation that specifies a belief/act transformation under the influence of a transforming procedure. We will look at forward and backward transforming procedures. Under this scheme a reasoning rule in SNePS is a belief-belief transformer, i.e