The Logic System of Concept Graphs with Negation
- Indbinding:
- Paperback
- Sideantal:
- 232
- Udgivet:
- 24. november 2003
- Størrelse:
- 155x13x235 mm.
- Vægt:
- 359 g.
- 8-11 hverdage.
- 7. december 2024
På lager
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af The Logic System of Concept Graphs with Negation
The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of concepts, judgements, and conclusions. Concepts are mathematized using Formal Concept Analysis (FCA), while an approach to the formalization of judgements and conclusions is conceptual graphs, based on Peirce's existential graphs. Combining FCA and a mathematization of conceptual graphs yields so-called concept graphs, which offer a formal and diagrammatic theory of elementary logic. Expressing negation in contextual logic is a difficult task. Based on the author's dissertation, this book shows how negation on the level of judgements can be implemented. To do so, cuts (syntactical devices used to express negation) are added to concept graphs. As we can express relations between objects, conjunction and negation in judgements, and existential quantification, the author demonstrates that concept graphs with cuts have the expressive power of first-order predicate logic. While doing so, the author distinguishes between syntax and semantics, and provides a sound and complete calculus for concept graphs with cuts. The author's treatment is mathematically thorough and consistent, and the book gives the necessary background on existential and conceptual graphs.
Brugerbedømmelser af The Logic System of Concept Graphs with Negation
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen The Logic System of Concept Graphs with Negation findes i følgende kategorier:
- Business og læring > Computer og IT
- Business og læring > Videnskab
- Reference, information og tværfaglige emner
- Lægevidenskab og sygepleje
- Matematik og naturvidenskab > Matematik > Matematikkens fundament > Matematisk logik
- Matematik og naturvidenskab > Matematik > Diskret matematik
- Databehandling og informationsteknologi > Informatik > Matematisk datateori > Matematik til informatikfag
- Databehandling og informationsteknologi > Informatik > Kunstig intelligens
© 2024 Pling BØGER Registered company number: DK43351621