Arrow Research search

Author name cluster

Pasquale Rullo

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

4 papers
2 author rows

Possible papers

4

AIJ Journal 2012 Journal Article

GAMoN: Discovering M-of- N { ¬, ∨ } hypotheses for text classification by a lattice-based Genetic Algorithm

  • Veronica L. Policicchio
  • Adriana Pietramala
  • Pasquale Rullo

While there has been a long history of rule-based text classifiers, to the best of our knowledge no M-of-N-based approach for text categorization has so far been proposed. In this paper we argue that M-of-N hypotheses are particularly suitable to model the text classification task because of the so-called “family resemblance” metaphor: “the members (i. e. , documents) of a family (i. e. , category) share some small number of features, yet there is no common feature among all of them. Nevertheless, they resemble each other”. Starting from this conjecture, we provide a sound extension of the M-of-N approach with negation and disjunction, called M-of- N { ¬, ∨ }, which enables to best fit the true structure of the data. Based on a thorough theoretical study, we show that the M-of- N { ¬, ∨ } hypothesis space has two partial orders that form complete lattices. GAMoN is the task-specific Genetic Algorithm (GA) which, by exploiting the lattice-based structure of the hypothesis space, efficiently induces accurate M-of- N { ¬, ∨ } hypotheses. Benchmarking was performed over 13 real-world text data sets, by using four rule induction algorithms: two GAs, namely, BioHEL and OlexGA, and two non-evolutionary algorithms, namely, C4. 5 and Ripper. Further, we included in our study linear SVM, as it is reported to be among the best methods for text categorization. Experimental results demonstrate that GAMoN delivers state-of-the-art classification performance, providing a good balance between accuracy and model complexity. Further, they show that GAMoN can scale up to large and realistic real-world domains better than both C4. 5 and Ripper.

JELIA Conference 2004 Conference Paper

OLEX - A Reasoning-Based Text Classifier

  • Chiara Cumbo
  • Salvatore Iiritano
  • Pasquale Rullo

Abstract This paper describes OLEX, a prototypical system for text classification. The main characteristics of OLEX are: using ontologies for the formal representation of the domain knowledge; employing the pre-processing technologies for a symbolic representation of text features; exploiting the expressive power of logic programming to extract concepts from documents. The proposed approach allows us to perform a high-precision document classification.

I&C Journal 1997 Journal Article

Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation

  • Nicola Leone
  • Pasquale Rullo
  • Francesco Scarcello

Disjunctive logic programs have become a powerful tool in knowledge representation and commonsense reasoning. This paper focuses on stable model semantics, currently the most widely acknowledged semantics for disjunctive logic programs. After presenting a new notion of unfounded sets for disjunctive logic programs, we provide two declarative characterizations of stable models in terms of unfounded sets. One shows that the set of stable models coincides with the family of unfounded-free models (i. e. , a model is stable iff it contains no unfounded atoms). The other proves that stable models can be defined equivalently by a property of their false literals, as a model is stable iff the set of its false literals coincides with its greatest unfounded set. We then generalize the well-founded W P operator to disjunctive logic programs, give a fixpoint semantics for disjunctive stable models and present an algorithm for computing the stable models of function-free programs. The algorithm's soundness and completeness are proved and some complexity issues are discussed.

v2026.09.13