Titlebook: Logics in AI; European Workshop JE J. Eijck Conference proceedings 1991 Springer-Verlag Berlin Heidelberg 1991 Automat.artificial intellige

GERM

書目名稱Logics in AI影響因子(影響力)




書目名稱Logics in AI影響因子(影響力)學(xué)科排名




書目名稱Logics in AI網(wǎng)絡(luò)公開度




書目名稱Logics in AI網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Logics in AI被引頻次




書目名稱Logics in AI被引頻次學(xué)科排名




書目名稱Logics in AI年度引用




書目名稱Logics in AI年度引用學(xué)科排名




書目名稱Logics in AI讀者反饋




書目名稱Logics in AI讀者反饋學(xué)科排名

陳舊

Commonsense entailment: A modal theory of nonmonotonic reasoning, developed here extends that of Asher and Morreau (1991). That theory enables specific information to prevail over more general information by using techniques familiar from prioritized circumscription; this theory uses a constraint on modal frames to achieve the same effect.

Macronutrients

使隔離

, — A methodology for inductive theorem proving,illustrate its explanatory character. In particular, we try to show that our method provides explanations, as much as possible, in terms of the original problem, which makes them understandable for the user and suitable for the system..The paper uses the vocabulary presented in [10].

handle

Extending resolution for model construction,ced, in order to extend resolution, are essentially new. Their necessity in constructing models is proved. A brief comparison with existing methods which bear similarity with ours, . in the use of constraints (a particular case of equational problems) . in the search of a model, shows the originality of our proposal.

謙虛的人

Gobble

,NM3 — A three-valued cumulative non-monotonic formalism,xpoint semantics for the default operator. The semantics is based on the notion of ., where a set of sentences Γ preferentially entails a sentence ., if and only if a preferred set of the models of Γ are models of .. We also show that the logic belongs to the class of cumulative non-monotonic formalisms which are a subject of current interest.

不透氣

Wallow

Conference proceedings 19911990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics

繁重

Two theories of dynamic semantics,ompared, viz. ., and .. In section 1 a general characterization of the idea of a dynamic semantics for natural language is given which subsumes these two theories. Sections 2 and 3 are devoted to short expositions of each of them. In the final section 4 a comparison is made.