IS THERE AN ALTERNATIVE TO PARSIMONIOUS SEMANTICS

被引：3

作者：

LOZINSKII, EL ^{[1
]}

机构：

[1] HEBREW UNIV JERUSALEM,INST COMP SCI,IL-91904 JERUSALEM,ISRAEL

来源：

JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE | 1995年 / 7卷 / 04期

关键词：

PARSIMONIOUS SEMANTICS; MAJORITY OF MODELS; TYPICAL MODEL;

D O I：

10.1080/09528139508953817

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

It is well known that a parsimonious semantics (along with its elegance) may lead to counterintuitive beliefs. This paper presents a semantics of majority of models, SMJ, that suggests an affirmative answer to the question in the title. Numerous observations show a common-sense plausibility of SMJ and provide it with a probabilistic justification. Computational aspects of SMJ are considered.

引用

页码：361 / 378

页数：18

共 25 条

[1]

APT KR, 1989, FDN DEDUCTIVE DATABA, P89

[2]

BIDOIT N, 1986, P ACM SIGACT SIGMOD, P123

[3]

Clark K. L., 1978, Logic and data bases, P293

[4]

EITER T, 1993, P 13 INT JOINT C ART, P634

[5]

Hanks S., 1986, Proceedings AAAI-86: Fifth National Conference on Artificial Intelligence, P328

[6]

KYBURG HE, 1970, PROBABILITY INDUCTIV

[7] ON THE SATISFIABILITY OF CIRCUMSCRIPTION [J].

LIFSCHITZ, V .

ARTIFICIAL INTELLIGENCE, 1986, 28 (01) :17-27

[8]

Lifshitz V., 1985, P 9 INT JOINT C ARTI, P121

[9] APPROXIMATE INCLUSION-EXCLUSION [J].

LINIAL, N ;

NISAN, N .

COMBINATORICA, 1990, 10 (04) :349-365

[10] COUNTING PROPOSITIONAL MODELS [J].

LOZINSKII, EL .

INFORMATION PROCESSING LETTERS, 1992, 41 (06) :327-332

← 1 2 3 →