The Resource Vivid logic : knowledge-based reasoning with two kinds of negation, Gerd Wagner

Vivid logic : knowledge-based reasoning with two kinds of negation, Gerd Wagner

Label
Vivid logic : knowledge-based reasoning with two kinds of negation
Title
Vivid logic
Title remainder
knowledge-based reasoning with two kinds of negation
Statement of responsibility
Gerd Wagner
Creator
Subject
Language
eng
Summary
"Knowledge representation research is not only formal, it is also descriptiveand normative. Its aim is to implement a formal system which captures a practically relevant body of cognitive faculties employed by humans and capitalizes on its technical strength to extend human knowledge representation and reasoning capabilities. In this monograph, the author develops formalisms for his own notion of a vivid knowledge representation and reasoning system, characterized by the presence of two kinds of negation (weak and strong) and the requirements of restricted reflexivity, constructivity, and non-explosiveness. The book is based on work carried out within an interdisciplinary research project at the Free University of Berlin."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
http://library.link/vocab/creatorDate
1957-
http://library.link/vocab/creatorName
Wagner, G.
Illustrations
illustrations
Index
index present
LC call number
QA76.76.E95
LC item number
W33 1994
Literary form
non fiction
Nature of contents
bibliography
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
764.
http://library.link/vocab/subjectName
  • Expert systems (Computer science)
  • Logic, Symbolic and mathematical
  • programmation en logique
  • négation
  • raisonnement base connaissance
  • logique
  • Logique symbolique et mathématique
  • Systèmes experts (Informatique)
  • Expert systems (Computer science)
  • Logic, Symbolic and mathematical
  • Redeneren
  • Kennissystemen
  • Systèmes experts (informatique)
  • Représentation des connaissances (Théorie de l'information)
  • Logique mathématique
Label
Vivid logic : knowledge-based reasoning with two kinds of negation, Gerd Wagner
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. [137]-143) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. General Introduction -- 2. Vivid Knowledge Representation and Reasoning -- 3. Partiality, Paraconsistency and Constructivity -- 4. Vivid Reasoning on the Basis of Facts -- 5. Lindenbaum-Algebraic Semantics of Logic Programs -- 6. Logic Programming with Strong Negation and Inexact Predicates -- 7. Vivid Reasoning on the Basis of Rules -- 8. Further Topics, Open Problems -- An Interpreter for VL in Prolog
Dimensions
24 cm.
Extent
xii, 148 pages
Isbn
9780387576046
Lccn
93046747
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
  • (OCoLC)29518481
  • (OCoLC)ocm29518481
Label
Vivid logic : knowledge-based reasoning with two kinds of negation, Gerd Wagner
Publication
Bibliography note
Includes bibliographical references (p. [137]-143) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. General Introduction -- 2. Vivid Knowledge Representation and Reasoning -- 3. Partiality, Paraconsistency and Constructivity -- 4. Vivid Reasoning on the Basis of Facts -- 5. Lindenbaum-Algebraic Semantics of Logic Programs -- 6. Logic Programming with Strong Negation and Inexact Predicates -- 7. Vivid Reasoning on the Basis of Rules -- 8. Further Topics, Open Problems -- An Interpreter for VL in Prolog
Dimensions
24 cm.
Extent
xii, 148 pages
Isbn
9780387576046
Lccn
93046747
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
  • (OCoLC)29518481
  • (OCoLC)ocm29518481

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...