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影响因子(影响力)学科排名




书目名称Logics in AI网络公开度




书目名称Logics in AI网络公开度学科排名




书目名称Logics in AI被引频次




书目名称Logics in AI被引频次学科排名




书目名称Logics in AI年度引用




书目名称Logics in AI年度引用学科排名




书目名称Logics in AI读者反馈




书目名称Logics in AI读者反馈学科排名

陈旧

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.