Logic-based knowledge representation

Logic-based knowledge representation

by Jackson, Peter

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Logic-based knowledge representation / Peter Jackson, Han Reichgelt, Frank van Harmelen.

Edition Statements

  • Publication Date:1989.

Publication Statements

  • Publisher(s):MIT Press
  • Place of Publication:Cambridge, Mass
  • Language:eng
  • Publication Date:1989.

The Physical Object

  • Description:ix, 255 pages : : illustrations

Edition Identifiers

  • ISBN:026210038X, 9780262100380
  • oclc:ocn299415390
  • LC Classification:QA76.76E95
  • Dewey Decimal:006.3/3

Table of Contents

An abstract architecture for building Expert systems -- A classification of meta-level architectures -- The architecture of Socrates -- Applications of Socrates -- Further research in representation and control -- The limitations of partial evaluation -- Assertion-time inference in logic-based systems -- A comparison of first order and modal logics of time -- A general proof method for modal predicate logic -- A modal proof method for doxastic reasoning.

Read More ↓

Subjects

Architecture calcul prédicat Conception Connaissance construction système expert Controle expert Expert Systems Expert systems (Computer science) Inference Informatique Logic programming Logique Matériel didactique Métaconnaissance Programmation programmation en logique Programmation logique Representation représentation connaissance

Writers

Jackson, Peter Reichgelt, Han Van Harmelen, Frank

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Logic-based knowledge representation -- (.djvu)

    DJVU · 2.2 MB · updated
    Login →