Sierra Santibañez, Maria Josefina
Total activity: 53
University degree
Licenciatura en Ciencias Matemáticas
Research group
LARCA - Laboratory of Relational Algorithmics, Complexity and Learnability
Department
Department of Computer Science
School
Barcelona School of Informatics (FIB)
E-mail
jsierracs.upc.edu
Contact details
UPC directory Open in new window
Orcid
0000-0003-3529-6713 Open in new window
ResearcherID
I-7796-2014 Open in new window
Scopus Author ID
36894029300 Open in new window
Collaborative networks

Graphic summary
  • Show / hide key
  • Information


Scientific and technological production
  •  

1 to 50 of 53 results
  • Access to the full text
    An agent-based model studying the acquisition of a language system of logical constructions  Open access

     Sierra Santibañez, Maria Josefina
    AAAI Conference on Artificial Intelligence
    p. 350-357
    Presentation's date: 2014-07-29
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    This paper presents an agent-based model that studies the emergence and evolution of a language system of logical constructions, i.e. a vocabulary and a set of grammatical constructions that allows the expression of logical combinations of categories. The model assumes the agents have a common vocabulary for basic categories, the ability to construct logical combinations of categories using Boolean functions, and some general purpose cognitive capacities for invention, adoption, induction and adaptation. But it does not assume the agents have a vocabulary for Boolean functions nor grammatical constructions for expressing such logical combinations of categories through language. The results of the experiments we have performed show that a language system of logical constructions emerges as a result of a process of selforganisation of the individual agents’ interactions when these agents adapt their preferences for vocabulary and grammatical constructions to those they observe are used more often by the rest of the population, and that such a language system is transmitted from one generation to the next.

    This paper presents an agent-based model that studies the emergence and evolution of a language system of logical constructions, i.e. a vocabulary and a set of grammatical constructions that allows the expression of logical combinations of categories. The model assumes the agents have a common vocabulary for basic categories, the ability to construct logical combinations of categories using Boolean functions, and some general purpose cognitive capacities for invention, adoption, induction and adaptation. But it does not assume the agents have a vocabulary for Boolean functions nor grammatical constructions for expressing such logical combinations of categories through language. The results of the experiments we have performed show that a language system of logical constructions emerges as a result of a process of selforganisation of the individual agents’ interactions when these agents adapt their preferences for vocabulary and grammatical constructions to those they observe are used more often by the rest of the population, and that such a language system is transmitted from one generation to the next.

  • Access to the full text
    A multi-agent experiment on the acquisition of a language system of logical constructions  Open access

     Sierra Santibañez, Maria Josefina
    Sintelnet WG5 Workshop on Crowd Intelligence: Foundations, Methods, and Practices
    p. 63-75
    Presentation's date: 2014-01-08
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    This paper analyses an experiment which studies the acquisition of the linguistic competence required to communicate logical combinations of categories from the wisdom of the crowds perspective. The acquisition of such competence encompasses both the construction of a set of logical categories by each individual agent and of a shared language by the population. The processes of conceptualisation and language acquisition in each individual agent are based on general purpose cognitive capacities such as discrimination, invention, adoption and induction. The construction of a shared language by the population is achieved using a particular type of linguistic interaction, known as the evaluation game, which gives rise to a shared language system of logical constructions as a result of a process of self-organisation of the individual agents’ interactions, when these agents adapt their languages to the expressions they observe are used more often by other agents.

    This paper analyses an experiment which studies the acquisition of the linguistic competence required to communicate logical combinations of categories from the wisdom of the crowds perspective. The acquisition of such competence encompasses both the construction of a set of logical categories by each individual agent and of a shared language by the population. The processes of conceptualisation and language acquisition in each individual agent are based on general purpose cognitive capacities such as discrimination, invention, adoption and induction. The construction of a shared language by the population is achieved using a particular type of linguistic interaction, known as the evaluation game, which gives rise to a shared language system of logical constructions as a result of a process of self-organisation of the individual agents’ interactions, when these agents adapt their languages to the expressions they observe are used more often by other agents.

    Postprint (author’s final draft)

  • Gestió i Anàlisi de Dades Complexes

     Balcazar Navarro, Jose Luis; Morrill, Glyn Verden; Castro Rabal, Jorge; Delgado Pin, Jordi; Sierra Santibañez, Maria Josefina; Arias Vicente, Marta; Arratia Quesada, Argimiro Alejandro; Baixeries i Juvillà, Jaume; Ferrer Cancho, Ramon; Valentin Fernandez Gallart, Jose Oriol; Hernandez Fernandez, Antonio; Larriba Pey, Josep; Perez Casany, Marta; Prat Perez, Arnau; Guisado Gamez, Joan; Martinez Palau, Xavier; Gavaldà Mestre, Ricard
    Competitive project

     Share

  • MINERIA EN DATOS BIOLOGICOS Y SOCIALES: ALGORITMOS, TEORIA E IMPLEMENTACION

     Morrill, Glyn Verden; Quattoni, Ariadna Julieta; Arratia Quesada, Argimiro Alejandro; De Balle Pigem, Borja; Arias Vicente, Marta; Casas Fernandez, Bernardino; Bifet Figuerol, Albert Carles; Berral Garcia, Josep Lluis; Lopez Herrera, Josefina; Baixeries i Juvillà, Jaume; Delgado Pin, Jordi; Belanche Muñoz, Luis Antonio; Castro Rabal, Jorge; Lozano Bojados, Antoni; Ferrer Cancho, Ramon; Sierra Santibañez, Maria Josefina; Hernandez Fernandez, Antonio; Gavaldà Mestre, Ricard
    Competitive project

     Share

  • A logic programming approach to parsing and production in fluid construction grammar

     Sierra Santibañez, Maria Josefina
    DOI: 10.1007/978-3-642-34120-5
    Date of publication: 2012
    Book chapter

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    This paper presents a Logic Programming approach to parsing and production in Fluid Construction Grammar (FCG) [13] . It builds on previous work on the formalisation of FCG in terms of First Order Logic (FOL) concepts, more specifically on the definition of its core inference operations, unification and merge, in terms of FOL unification and search in the space of a particular set of FOL terms called structure arrangements. An implementation of such inference operations based on Logic Programming and Artificial Intelligence techniques such as unification and heuristic search is outlined.

    This paper presents a Logic Programming approach to parsing and production in Fluid Construction Grammar (FCG). It builds on previous work on the formalisation of FCG in terms of First Order Logic (FOL) concepts, more specifically on the definition of its core inference operations, unification and merge, in terms of FOL unification and search in the space of a particular set of FOL terms called structure arrangements. An implementation of such inference operations based on Logic Programming and Artificial Intelligence techniques such as unification and heuristic search is outlined.

  • First order logic concepts in fluid construction grammar

     Sierra Santibañez, Maria Josefina
    Annual International Conference on Biologically Inspired Cognitive Architectures
    p. 344-350
    Presentation's date: 2011-11-05
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • First order logic concepts in fluid construction grammar

     Sierra Santibañez, Maria Josefina
    Date of publication: 2011
    Book chapter

     Share Reference managers Reference managers Open in new window

  • Lógica para informáticos

     Farre Cirera, Rafael; Nieuwenhuis, Robert Lukas Mario; Nivela Alos, Mª Del Pilar Brigida; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Sierra Santibañez, Maria Josefina
    Date of publication: 2011
    Book

     Share Reference managers Reference managers Open in new window

  • Experiments on the acquisition of the semantics and grammatical constructions required for communicating propositional logic sentences

     Sierra Santibañez, Maria Josefina; Santibáñez Velilla, Josefina
    DOI: 10.1007/978-3-642-11482-3_16
    Date of publication: 2010-02-01
    Book chapter

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    We describe some experiments which simulate a grounded approach to language acquisition in which a population of autonomous agents without prior linguistic knowledge tries to construct at the same time a conceptualisation of its environment and a shared language. The conceptualisation and language acquisition processes in each individual agent are based on general purpose cognitive capacities, such as categorisation, discrimination, evaluation and induction. The emergence of a shared language in the population results from a process of selforganisation of a particular type of linguistic interaction which takes place among the agents in the population. The experiments, which extend previous work by addressing the problem of the acquisition of both the semantics and the syntax of propositional logic, show that at the end of the simulation runs the agents build different conceptualisations and different grammars. However, these conceptualisations and grammars are compatible enough to guarantee the unambiguous communication of propositional logic sentences. Furthermore the categorisers of the perceptually grounded and logical categories built during the conceptualisation and language acquisition processes can be used for some forms of common sense reasoning, such as determining whether a sentence is a tautology, a contradiction, a common sense axiom or a merely satisfiable formula.

  • Experiments on the acquisition of the semantics and grammatical constructions required for communicating propositional logic sentences

     Sierra Santibañez, Maria Josefina; Santibáñez Velilla, Josefina
    Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering (LNICST)
    Vol. 23, p. 236-251
    DOI: 10.1007/978-3-642-11482-3
    Date of publication: 2010-01-13
    Journal article

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Access to the full text
    Propositional logic syntax acquisition using induction and self-organisation  Open access

     Sierra Santibañez, Maria Josefina; Santibáñez Velilla, Josefina
    Date of publication: 2009-12
    Book chapter

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    This paper addresses the problem of the acquisition of the syntax of propositional logic. An approach based on general purpose cognitive capacities such as invention, adoption, parsing, generation and induction is proposed. Self-organisation principles are used to show how a shared set of preferred lexical entries and grammatical constructions, i.e., a language, can emerge in a population of autonomous agents which do not have any initial linguistic knowledge. Experiments in which a population of autonomous agents constructs a grammar that allows communicating the formulas of a propositional logic language are presented. These experiments extend previous work by considering a larger population and a much larger search space of grammar rules. In particular the agents are allowed to order the expressions associated with the constituents of a logical formula in arbitrary order. Previous work assumed that the expressions associated with the connectives should be placed in the first position of the sentence.

    Postprint (author’s final draft)

  • Experiments on the acquisition of cognitive and linguistic competence to communicate propositional logic sentences

     Sierra Santibañez, Maria Josefina; Santibáñez Velilla, Josefina
    AAAI Fall Symposium on Biologically Inspired Cognitive Architectures
    p. 153-158
    Presentation's date: 2009-11-07
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    We describe some experiments which simulate a grounded approach to the acquisition of the cognitive and linguistic competence required to communicate propositional logic sentences. This encompasses both the construction of a conceptualisation of its environment by each individual agent and of a shared language by the population. The processes of conceptualisation and language acquisition in each individual agent are based on general purpose cognitive capacities, such as categorisation, discrimination, invention, adoption and induction. The construction of a shared language by the population is achieved using a particular type of linguistic interaction, known as the evaluation game, which gives rise to a common set of linguistic conventions through a process of self-organisation. This work addresses the problem of the acquisition of both the semantics and the syntax of propositional logic. Trying to learn these two aspects at the same time is more difficult than learning the semantics or the syntax of propositional logic separately. Because the agents must coordinate their linguistic behaviour taking into account only the subset of objects which constitutes the topic of a particular linguistic interaction. This means that a pair of agents can communicate successfully about a particular subset of objects (a topic) even if they use different conceptualisations (formulas) in order to identify the same topic. And this introduces a high degree of ambiguity in the interpretation process the agents have to deal with when they try to construct a shared communication language. In spite of this, the results of the experiments show that at the end of the simulation runs the individual agents build different conceptualisations and grammars, but that the conceptualisations and grammars of the agents in the population are compatible in the sense that they guarantee the unambiguous communication of propositional logic sentences.

  • LARCA

     Lopez Herrera, Josefina; Castro Rabal, Jorge; Bifet Figuerol, Albert Carles; Delgado Pin, Jordi; Morrill, Glyn Verden; Balcazar Navarro, Jose Luis; Sierra Santibañez, Maria Josefina; Baixeries i Juvillà, Jaume; Arias Vicente, Marta; Berral Garcia, Josep Lluis; Quattoni, Ariadna Julieta; Arratia Quesada, Argimiro Alejandro; De Balle Pigem, Borja; Gavaldà Mestre, Ricard
    Competitive project

     Share

  • SECUENCIAS SIMBOLICAS:ANALISIS,APRENDIZAJE,MINERIA Y EVOLUCION - BARCELONA

     Arratia Quesada, Argimiro Alejandro; Sierra Santibañez, Maria Josefina; Berral Garcia, Josep Lluis; Lozano Bojados, Antoni; Baixeries i Juvillà, Jaume; Arias Vicente, Marta; Morrill, Glyn Verden; Bifet Figuerol, Albert Carles; Lopez Herrera, Josefina; Delgado Pin, Jordi; Ferrer Cancho, Ramon; Quattoni, Ariadna Julieta; Gavaldà Mestre, Ricard
    Competitive project

     Share

  • The acquisition of linguistic competence for communicating propositional logic sentences

     Sierra Santibañez, Maria Josefina; Santibáñez Velilla, Josefina
    Lecture notes in computer science
    Vol. 4995, p. 175-192
    DOI: 10.1007/978-3-540-87654-0_9
    Date of publication: 2008-11
    Journal article

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    We describe some experiments which show how a language expressive enough to allow the communication of meanings of the same complexity as propositional logic formulas can emerge in a population of autonomous agents which have no prior linguistic knowledge. We take an approach based on general purpose cognitive capacities, such as invention, adoption and induction, and on self-organisation principles applied to a particular type of linguistic interaction known as a language game. These experiments extend previous work by considering a larger population and a much larger search space of grammar rules. In particular the agents are allowed to order the expressions associated with the constituents of a logical formula in arbitrary order in the sentence. Previous work assumed that the expressions associated with the connectives should be always placed in the first position of the sentence. Another difference is that communication is considered successful in a language game if the meaning interpreted by the hearer is logically equivalent to the meaning the speaker had in mind. In previous experiments the meanings of speaker and hearer were required to be syntactically equal. This allows us to observe how a less strict grammar in terms of word order emerges through the self-organisation process, which minimizes the learning effort of the agents by imposing only those order relations among the components of a sentence that are necessary for language understanding.

  • Grounded language acquisition enables intuitive reasoning

     Sierra Santibañez, Maria Josefina; Santibáñez Velilla, Josefina
    Date of publication: 2008-11
    Book chapter

    Read the abstract Read the abstract  Share Reference managers Reference managers Open in new window

    We describe an experiment which simulates a grounded approach to language acquisition in a population of autonomous agents without prior linguistic knowledge. The idea is to let the agents acquire at the same time a conceptualization of their environment and a number of linguistic conventions (i.e., a shared lexicon and a set of grammar rules) which allow them to express facts about their environment in a way that could be understood by other agents in the population. The approach used to simulate the conceptualization and the language acquisition processes in each individual agent is based on general purpose cognitive capacities, such as visual perception, categorization, discrimination, evaluation, invention, adoption and induction. The emergence of a shared language in the population, and therefore the acquisition of a common set of linguistic conventions by the individual agents, results from a process of self-organization of a particular type of linguistic interaction, known as a language game, that takes place among the agents in the population. By letting the agents acquire a grounded semantics at the same time they jointly construct a shared communication language we allow them not only to communicate facts about their environment, but to understand as well the meanings of such facts in an intuitive way. This enables the agents to reason about such facts in terms of their intuitive understanding of the properties and relationships stated by those facts about the objects in their environment.

  • Horn query learning with multiple refinement

     Sierra Santibañez, Maria Josefina; Santibáñez Velilla, Josefina
    Lecture notes in computer science
    Vol. 5361, p. 503-513
    DOI: 10.1007/978-3-540-89694-4_51
    Date of publication: 2008
    Journal article

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    In this paper we try to understand the heuristics that underlie the decisions made by the Horn query learning algorithm proposed in [1]. We take advantage of our explicit representation of such heuristics in order to present an alternative termination proof for the algorithm, as well as to justify its decisions by showing that they always guarantee that the negative examples in the sequence maintained by the algorithm violate different clauses in the target formula. Finally, we propose a new algorithm that allows multiple refinement when we can prove that such a refinement does not affect the independence of the negative examples in the sequence maintained by the algorithm.

    In this paper we try to understand the heuristics that underlie the decisions made by the Horn query learning algorithm proposed in [1]. We take advantage of our explicit representation of such heuristics in order to present an alternative termination proof for the algorithm, as well as to justify its decisions by showing that they always guarantee that the negative examples in the sequence maintained by the algorithm violate different clauses in the target formula. Finally, we propose a new algorithm that allows multiple refinement when we can prove that such a refinement does not affect the independence of the negative examples in the sequence maintained by the algorithm.

  • Grounded language acquisition enables intuitive reasoning

     Sierra Santibañez, Maria Josefina; Santibáñez Velilla, Josefina
    AAAI Fall Symposium on Biologically Inspired Cognitive Architectures
    p. 174-179
    Presentation's date: 2008
    Presentation of work at congresses

    Read the abstract Read the abstract  Share Reference managers Reference managers Open in new window

    We describe an experiment which simulates a grounded approach to language acquisition in a population of autonomous agents without prior linguistic knowledge. The idea is to let the agents acquire at the same time a conceptualization of their environment and a number of linguistic conventions (i.e., a shared lexicon and a set of grammar rules) which allow them to express facts about their environment in a way that could be understood by other agents in the population. The approach used to simulate the conceptualization and the language acquisition processes in each individual agent is based on general purpose cognitive capacities, such as visual perception, categorization, discrimination, evaluation, invention, adoption and induction. The emergence of a shared language in the population, and therefore the acquisition of a common set of linguistic conventions by the individual agents, results from a process of self-organization of a particular type of linguistic interaction, known as a language game, that takes place among the agents in the population. By letting the agents acquire a grounded semantics at the same time they jointly construct a shared communication language we allow them not only to communicate facts about their environment, but to understand as well the meanings of such facts in an intuitive way. This enables the agents to reason about such facts in terms of their intuitive understanding of the properties and relationships stated by those facts about the objects in their environment.

  • The acquisition of linguistic competence for communicating propositional logic sentences

     Sierra Santibañez, Maria Josefina
    Anual International Workshop on the Engineering Societies in the Agents World
    Presentation's date: 2007-10-22
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • The acquisition of linguistic competence for communicating propositional logic sentences

     Sierra Santibañez, Maria Josefina; Santibáñez Velilla, Josefina
    Anual International Workshop on the Engineering Societies in the Agents World
    p. 97-112
    Presentation of work at congresses

    Read the abstract Read the abstract  Share Reference managers Reference managers Open in new window

    We describe some experiments which show how a language expressive enough to allow the communication of meanings of the same complexity as propositional logic formulas can emerge in a population of autonomous agents which have no prior linguistic knowledge. We take an approach based on general purpose cognitive capacities, such as invention, adoption and induction, and on self-organisation principles applied to a particular type of linguistic interaction known as a language game. These experiments extend previous work by considering a larger population and a much larger search space of grammar rules. In particular the agents are allowed to order the expressions associated with the constituents of a logical formula in arbitrary order in the sentence. Previous work assumed that the expressions associated with the connectives should be always placed in the first position of the sentence. Another difference is that communication is considered successful in a language game if the meaning interpreted by the hearer is logically equivalent to the meaning the speaker had in mind. In previous experiments the meanings of speaker and hearer were required to be syntactically equal. This allows us to observe how a less strict grammar in terms of word order emerges through the self-organisation process, which minimizes the learning effort of the agents by imposing only those order relations among the components of a sentence that are necessary for language understanding.

  • Propositional logic syntax acquisition using induction and self-organisation

     Sierra Santibañez, Maria Josefina
    I Workshop MOISES-TA (MOdelado Individualizado de SEcuencias de Símbolos. Teoría y Aplicaciones
    Presentation's date: 2006-10-05
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Propositional logic syntax acquisition using induction and self-organization

     Sierra Santibañez, Maria Josefina
    Date of publication: 2006-10
    Book chapter

     Share Reference managers Reference managers Open in new window

  • The acquisition of propositional logic syntax: syntactic versus semantic meaning discrimination

     Sierra Santibañez, Maria Josefina
    Pascal Dialogues: Learning
    p. 1-15
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Propositional logic syntax acquisition

     Sierra Santibañez, Maria Josefina
    International Workshop on the Emergence and Evolution of Linguistic Communication
    p. 128-142
    DOI: 10.1007/11880172_11
    Presentation's date: 2006
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    This paper addresses the problem of the acquisition of the syntax of propositional logic. An approach based on general purpose cognitive capacities such as invention, adoption, parsing, generation and induction is proposed. Self-organisation principles are used to show how a shared set of preferred lexical entries and grammatical constructions, i.e., a language, can emerge in a population of autonomous agents which do not have any initial linguistic knowledge. Experiments in which a population of autonomous agents constructs a language that allows communicating the formulas of a propositional language are presented. This language although simple has interesting properties found in natural languages, such as compositionality and recursion.

  • MOISES-BAR

     Gavaldà Mestre, Ricard; Sierra Santibañez, Maria Josefina
    Competitive project

     Share

  • Propositional logic syntax acquisition using induction and self-organisation

     Sierra Santibañez, Maria Josefina
    AAAI Fall Symposium on Interaction and Emergent Phenomena in Societies of Agents
    p. 74-81
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    This paper addresses the problem of the acquisition of the syntax of propositional logic. An approach based on general purpose cognitive capacities such as invention, adoption, parsing, generation and induction is proposed. Self-organisation principles are used to show how a shared set of preferred lexical entries and grammatical constructions, i.e., a language, can emerge in a population of autonomous agents which do not have any initial linguistic knowledge. Experiments in which a population of autonomous agents constructs a grammar that allows communicating the formulas of a propositional language are presented. This grammar although simple has interesting properties found in natural languages, such as compositionality and recursion. These experiments extend previous work by considering a larger population and a search space of grammar rules much larger. In particular the agents are allowed to order the expressions associated with the constituents of a logical formula in arbitrary order. Previous work assumed that the expressions associated with the connectives should be placed in first place in the sentence. The branching factor of the search space of grammar rules considered by each agent is extended thus from one to two in the case of formulas constructed using negation, and from two to six in the case of formulas constructed using binary connectives.

  • Propositional logic syntax acquisition

     Sierra Santibañez, Maria Josefina
    Date of publication: 2006
    Book chapter

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    This paper addresses the problem of the acquisition of the syntax of propositional logic. An approach based on general purpose cognitive capacities such as invention, adoption, parsing, generation and induction is proposed. Self-organisation principles are used to show how a shared set of preferred lexical entries and grammatical constructions, i.e., a language, can emerge in a population of autonomous agents which do not have any initial linguistic knowledge. Experiments in which a population of autonomous agents constructs a language that allows communicating the formulas of a propositional language are presented. This language although simple has interesting properties found in natural languages, such as compositionality and recursion.

  • Heuristic planning: A declarative approach based on strategies for action selection

     Sierra Santibañez, Maria Josefina
    Artificial intelligence
    Vol. 153, num. 1-2, p. 307-337
    DOI: 10.1016/j.artint.2002.11.001
    Date of publication: 2004-03
    Journal article

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    This paper introduces the notion of heuristic planning, and describes a particular approach to heuristic planning based on a declarative formalization of strategies for action selection. This approach is compared with some heuristic planning systems proposed in the literature. The heuristic information and declarative formalisms for the representation of heuristic knowledge used by these systems are compared in terms of their capacity of controlling the search process and their effectiveness for solving some planning problems. Finally, the results of some experiments on heuristic answer set planning are described in order to show how heuristics can be used to improve the scalability of answer set planning.

  • Heuristic planning: A declarative approach based on strategies for action selection

     Sierra Santibañez, Maria Josefina
    I Workshop MOISES (MOdelado Individualizado de SEcuencias Simbólicas)
    Presentation's date: 2004-02-10
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Prolog implementation of the unification algorithm used in fluid construction grammar

     Sierra Santibañez, Maria Josefina
    Fluid Construction Grammar Workshop
    p. 1-22
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning

     Sierra Santibañez, Maria Josefina
    Annals of mathematics and artificial intelligence
    Vol. 39, num. 1-2, p. 61-100
    DOI: 10.1023/A:1024464815668
    Date of publication: 2003-09
    Journal article

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    We study the declarative formalization of reasoning strategies by presenting declarative formalizations of: (1) the SNLP algorithm for nonlinear planning, and (2) a particular algorithm for blocks world nonlinear planning proposed in this paper. The formal models of a heuristic forward chaining planner, which can take advantage of declarative formalizations of action selection strategies, and of a reasoning strategy based planner, which can use declarative formalizations of reasoning strategies, are proposed. The effectiveness of these systems is studied from formal and empirical points of view. Empirical results showing how the use of declarative formalizations of reasoning strategies can reduce the amount of search required for solving planning problems (with respect to state of the art planning systems) are presented.

  • Referee

     Sierra Santibañez, Maria Josefina
    Eigthteen International Joint Conference on Artificial Intelligence
    Presentation's date: 2003-02-01
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Robotics and autonomous systems

     Sierra Santibañez, Maria Josefina
    Collaboration in journals

     Share

  • Theory and practice of logic programming

     Sierra Santibañez, Maria Josefina
    Collaboration in journals

     Share

  • Grounded models as a basis for intuitive and deductive reasoning: The acquisition of logical categories

     Sierra Santibañez, Maria Josefina
    European Conference on Artificial Intelligence
    p. 93-97
    Presentation of work at congresses

    Read the abstract Read the abstract  Share Reference managers Reference managers Open in new window

    Grounded models differ from axiomatic theories in establishing explicit connections between language and reality that are learned through language games. This paper describes how grounded models are constructed by visually grounded autonomous agents playing different types of language games, and explains how they can be used for intuitive reasoning. It proposes a particular language game that can be used for simulating the generation of logical categories (such as negation, conjunction, disjunction, implication or equivalence), and describes some experiments in which a couple of visually grounded agents construct a grounded model that can be used for spatial reasoning.

  • Razonamiento automático y planificación heurística

     del Val, Alvaro; Sierra Santibañez, Maria Josefina
    Competitive project

     Share

  • Grounded models as a basis for intuitive reasoning

     Sierra Santibañez, Maria Josefina
    International Join Conference on Artificial Intelligence
    p. 401-406
    Presentation of work at congresses

    Read the abstract Read the abstract  Share Reference managers Reference managers Open in new window

    This paper introduces grounded models and compares them to axiomatic models of mathematics. Grounded models differ from axiomatic theories in establishing explicit connections between language and reality that are learnt through language games. They are constructed and updated by autonomous agents connected to their environment through sensors and actuators using some conceptualization mechanisms and language games described in [Steels, 1999]. They are based on conceptualization and support a form of intuitive reasoning, which can be done sometimes by constraint satisfaction and it is argued to be the basis of some axiomatizations. This is illustrated with a simple example of spatial reasoning.

  • Grounded models as a basis for intuitive reasoning: The origins of logical categories

     Sierra Santibañez, Maria Josefina
    AAAI Fall Symposium on Anchoring Symbols to Sensor Data in Single and Multiple Robot Systems
    p. 101-108
    Presentation of work at congresses

    Read the abstract Read the abstract  Share Reference managers Reference managers Open in new window

    Grounded models (Siena 2001b) differ from axiomatic theories in establishing explicit connections between language and reality that are learned through language games (Wittgenstein 1953). This paper describes how grounded models are constructed by autonomous agents as a side effect of their activity playing different types of language games (Steels 1999), and explains how they can be used for intuitive reasoning. It proposes a particular language game which can be used for simulating the generation of logical categories (such as negation, conjunction, disjunction, implication or equivalence), and describes some experiments in which a couple of visually grounded agents construct a grounded model that can be used for spatial reasoning.

  • Heuristic planning with strategies for action selection

     Sierra Santibañez, Maria Josefina
    Taller de Razonamiento Temporal, Espacial y Planificación
    p. 31-40
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Grounded models

     Sierra Santibañez, Maria Josefina
    AAAI Spring Symposium on Learning Grounded Representations
    p. 69-74
    Presentation of work at congresses

    Read the abstract Read the abstract  Share Reference managers Reference managers Open in new window

    We introduce grounded models and compare them to axiomatic models of mathematics. Grounded models are constructed by an autonomous agent connected to its environment through sensors and actuators using some conceptualization mechanisms described in (Steels 1999). They support a form of intuitive reasoning, which is based on conceptualization and it is argued to be the basis of axiomatization. This is illustrated with a simple example of spatial reasoning.

  • Declarative formalization of strategies for action selection: Applications to planning

     Sierra Santibañez, Maria Josefina
    European Workshop on Logics in Artificial Intelligence
    p. 133-147
    DOI: 10.1007/3-540-40006-0_10
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    We present a representation scheme for the declarative formalization of strategies for action selection based on the situation calculus and circumscription.The formalism is applied to represent a number of heuristics for moving blocks in order to solve planning problems in the blocks world.T he formal model of a heuristic forward chaining planner, which can take advantage of declarative formalizations of strategies for action selection, is proposed. Experiments showing how the use of declarative representations of strategies for action selection allows a heuristic forward chaining planner to improve the performance of state of the art planning systems are described.

  • Declarative formalization of reasoning strategies: A case study on blocks world nonlinear planning

     Sierra Santibañez, Maria Josefina; Santibáñez Velilla, Josefina
    International Conference on Knowledge Based Computer Systems
    p. 446-457
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Planning with declarative formalizations of heuristics for action selection

     Sierra Santibañez, Maria Josefina
    Workshop of the United Kingdom Planning and Scheduling Special Interest Group
    p. 197-206
    Presentation of work at congresses

    Read the abstract Read the abstract  Share Reference managers Reference managers Open in new window

    We propose a representation scheme for the declarative formalization of heuristics for action selection based on the situation calculus and circumscription. The formalism is applied to represent a number of heuristics for moving blocks in order to solve planning problems in the blocks world. An advice taking scenario is presented to illustrate how the action selection strategy of a program can be rened by simple additions of better heuristics. Some examples are given in which the formalism is used to reason about the behaviors that may be caused by a number of strategies for action selection. Experiments showing how the use of declarative representations of heuristics for action selection allows improving the performance of state of the art planning systems are described.

  • Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning

     Sierra Santibañez, Maria Josefina
    Bar-Ilan Symposium on the Foundations of Artificial Intelligence
    p. 1-9
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • High Performance Knowledge Bases for Knowledge Representation and Planning

     McCarthy, John; Sierra Santibañez, Maria Josefina
    Competitive project

     Share

  • A declarative formalization of STRIPS

     Sierra Santibañez, Maria Josefina
    European Conference on Artificial Intelligence
    p. 509-513
    Presentation of work at congresses

    Read the abstract Read the abstract  Share Reference managers Reference managers Open in new window

    We present a declarative formalization of STRIPS as a reasoning strategy in the situation calculus. The idea is to use logic not only to represent planning problems, but also to describe the mental situations, mental actions and reasoning strategy STRIPS uses to solve those problems.

  • Declarative formalization of heuristics

     Sierra Santibañez, Maria Josefina
    European Workshop on Validation and Verification of Knowledge-Based Systems
    Presentation of work at congresses

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Declarative formalization of strategies for action selection

     Sierra Santibañez, Maria Josefina
    International Workshop on Non-monotonic Reasoning
    p. 21-29
    Presentation of work at congresses

    Read the abstract Read the abstract  Share Reference managers Reference managers Open in new window

    We propose a representation scheme for the declarative formalization of strategies based on the situation calculus and circumscription. The formalism is applied to represent a number of heuristics for moving blocks in order to solve planning problems in the blocks world. It is demonstrated that circumscription solves the problem of projecting the strategies formalized in the paper, and that it allows us to derive useful conclusions about their computability, correctness, redundancy, inconsistency, and the quality of their solutions. Finally, an advice taking scenario is presented to illustrate how a program capable of reasoning non-monotonically about declarative formalizations of strategies can have interesting reflective behavior.

  • Basic Research in Knowledge Representation

     McCarthy, John; Sierra Santibañez, Maria Josefina
    Competitive project

     Share

  • Knowledge agents

     Sierra Santibañez, Maria Josefina
    Pacific Knowledge Acquisition Workshop
    p. 101-119
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window