Reasoning and revision in hybrid representation systems
著者
書誌事項
Reasoning and revision in hybrid representation systems
（Lecture notes in computer science, 422 . Lecture notes in artificial intelligence）
Springer Verlag, c1990
- : gw
- : us
大学図書館所蔵 件 / 全50件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Originally presented as the author's thesis (Saarland) 1989
Includes bibliographical references
内容説明・目次
目次
Representation and management of knowledge.- A hybrid representation formalism.- Reasoning in the formalism.- Terminological cycles.- Belief revision.- The revision in terminological systems.- Terminological reason maintenance.- Summary and outlook.- The universal term-forming formalism U.- Overview of formalism and systems.
「Nielsen BookData」 より