Welcome to the InfoSci Platform
Reference Hub1
Constructing Galois Lattices as a Commonsense Reasoning Process

Constructing Galois Lattices as a Commonsense Reasoning Process

Xenia Naidenova
Copyright: © 2013 |Pages: 37
ISBN13: 9781466619005|ISBN10: 1466619007|EISBN13: 9781466619012
DOI: 10.4018/978-1-4666-1900-5.ch003
Cite Chapter Cite Chapter

MLA

Naidenova, Xenia. "Constructing Galois Lattices as a Commonsense Reasoning Process." Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems, edited by Xenia Naidenova and Dmitry I. Ignatov, IGI Global, 2013, pp. 34-70. https://doi.org/10.4018/978-1-4666-1900-5.ch003

APA

Naidenova, X. (2013). Constructing Galois Lattices as a Commonsense Reasoning Process. In X. Naidenova & D. Ignatov (Eds.), Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems (pp. 34-70). IGI Global. https://doi.org/10.4018/978-1-4666-1900-5.ch003

Chicago

Naidenova, Xenia. "Constructing Galois Lattices as a Commonsense Reasoning Process." In Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems, edited by Xenia Naidenova and Dmitry I. Ignatov, 34-70. Hershey, PA: IGI Global, 2013. https://doi.org/10.4018/978-1-4666-1900-5.ch003

Export Reference

Mendeley
Favorite

Abstract

The concept of good classification test is used in this chapter as a dual element of the interconnected algebraic lattices. The operations of lattice generation take their interpretations in human mental acts. Inferring the chains of dual lattice elements ordered by the inclusion relation lies in the foundation of generating good classification tests. The concept of an inductive transition from one element of a chain to its nearest element in the lattice is determined. The special reasoning rules for realizing inductive transitions are formed. The concepts of admissible and essential values (objects) are introduced. Searching for admissible and essential values (objects) as a part of reasoning is based on the inductive diagnostic rules. Next, the chapter discusses the relations between constructing good tests and the Formal Concept Analysis (FCA). The decomposition of inferring good classification tests is advanced into two kinds of subtasks that are in accordance with human mental acts. This decomposition allows modeling incremental inductive-deductive inferences. The problems of creating an integrative inductive-deductive model of commonsense reasoning are discussed in the last section of this chapter.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.