Academia.eduAcademia.edu

Property Generation Task

description8 papers
group2 followers
lightbulbAbout this topic
The Property Generation Task is a research methodology in artificial intelligence and machine learning focused on automatically generating properties or characteristics of objects or systems. It aims to enhance the understanding of model behavior, facilitate testing, and improve the robustness of algorithms by systematically exploring the space of possible properties.
lightbulbAbout this topic
The Property Generation Task is a research methodology in artificial intelligence and machine learning focused on automatically generating properties or characteristics of objects or systems. It aims to enhance the understanding of model behavior, facilitate testing, and improve the robustness of algorithms by systematically exploring the space of possible properties.

Key research themes

1. How can recursive grammar-based methods enable efficient and uniform generation of combinatorial objects with complex properties?

This theme focuses on the development of systematic, grammar-driven algorithms that enable the uniform random generation of combinatorial objects, particularly addressing multiple and non-algebraic parameters. It explores the extension of context-free grammar ideas into object grammars, and the valuation techniques that allow parameterized enumeration and probabilistic generation, which is critical for both theoretical combinatorics and practical applications in property generation.

Key finding: Introduces the framework of object grammars generalizing context-free grammars to provide recursive descriptions of combinatorial classes, enabling uniform random generation according to complex, possibly non-algebraic... Read more
Key finding: Presents the Limited Object Access (LOA) algorithm, extending Bordat's algorithm for generating concept lattices (formal concept analysis structures) by limiting object access to improve computation time for large object... Read more
Key finding: Proposes a novel two-phase dynamic analysis approach for automatic generation of complex properties by hypothesizing and combining predefined property templates based on design simulation traces. This method facilitates... Read more

2. How can property specifications be systematically represented and made accessible to improve the accuracy and usability of formal verification?

This research area investigates techniques for supporting the elicitation, formal representation, and comprehension of property specifications. It addresses the challenges of bridging the gap between mathematically precise property definitions and their accessibility to engineers, emphasizing the use of structured templates, natural language representations, user-guided decision processes, and their formal counterparts to minimize ambiguity and enhance correctness in property-based verification workflows.

Key finding: Introduces the Question Tree (QT) representation in the Propel tool to provide hierarchical, natural language-based guided decision support for selecting appropriate property specification templates. QT breaks down template... Read more
Key finding: Develops property pattern templates rendered in both disciplined natural language (DNL) and extended finite-state automata (FSA) to explicitly represent alternate formulation options for common property patterns, enabling... Read more

3. What are the ontological and conceptual challenges in defining and reasoning about properties, and how do these impact property-awareness and specification in formal and philosophical contexts?

This strand investigates the foundational nature of properties from both philosophical and formal perspectives, including the debate on whether property-awareness involves representation, the ontological underpinnings of properties (universalism, nominalism, tropism), the difficulties in property ascription and reasoning (e.g., paradoxes in property theory), and their implications for property modeling, specification, and inheritance. Understanding these issues is essential for accurately conceptualizing, representing, and reasoning about properties in computational and logical frameworks.

Key finding: Argues that whether property-awareness constitutes representation depends critically on the metaphysical stance toward qualities—universalism and nominalism imply that property-awareness does involve representation, whereas... Read more
Key finding: Critically evaluates Schnieder’s weakened inference rules for property ascriptions, showing that while they successfully block paradox-inducing pathological cases, they inadvertently invalidate ordinary, non-pathological... Read more
Key finding: Introduces the notion of property covering—where a property on a class is covered by sub-properties on subclasses—and employs it along with inheritance, disjointness, and participation constraints to derive semantic schema... Read more
Key finding: Develops a recursive normal form construction for Property Theory, a type-free, classical first-order logic extended with an abstraction operator enabling intensional reasoning about properties and propositions. The work... Read more

All papers in Property Generation Task

In this paper, we outline the embodied perspective of language comprehension indicating some of its limitations. We claim that the notions of language as a tool , might be useful to overcome a view focused only on referential aspects of... more
This study addresses the issue of artifact kinds from a psychological and cognitive perspective. The primary interest of the investigation lies in understanding how artifacts are categorized and what are the properties people rely on for... more
The opposition between nature and culture has always been paradigmatic in the philosophy of society, and in this sense it is certainly striking that, in contemporary theories of collective acceptance in social ontology-theories which... more
Are legal institutions artifacts? If artifacts are conceived as entities whose existence depends on human beings, then yes, legal institutions are, of course, artifacts. But an artifact theory of law makes a stronger claim, namely, that... more
Your article is protected by copyright and all rights are held exclusively by Springer Science +Business Media Dordrecht. This e-offprint is for personal use only and shall not be selfarchived in electronic repositories. If you wish to... more
Your article is protected by copyright and all rights are held exclusively by Springer Science +Business Media Dordrecht. This e-offprint is for personal use only and shall not be selfarchived in electronic repositories. If you wish to... more
The sensorimotor system plays a critical role in several cognitive processes. Here, we review recent studies documenting this interplay at different levels. First, we concentrate on studies that have shown how the sensorimotor system is... more
The sensorimotor system plays a critical role in several cognitive processes. Here, we review recent studies documenting this interplay at different levels. First, we concentrate on studies that have shown how the sensorimotor system is... more
This study addresses the issue of artifact kinds from a psychological and cognitive perspective. The primary interest of the investigation lies in understanding how artifacts are categorized and what are the properties people rely on for... more
Legal institutions, legal systems, law in general are human artefacts. This is an idea that can be seen as an assumption of both legal positivism and legal realism. But, apart from these obvious connections, a possible question is whether... more
Semantic feature norms (e.g. STIMULUS: car  RESPONSE: <has 4 wheels>) are commonly used in cognitive psychology to look into salient aspects of given concepts. Semantic features are typically collected in experimental settings and then... more
In the psychological literatures on function, four issues have been important: (1) whether function can be a core property of the concepts that represent categories, (2) whether categories based primarily on function provide support for... more
The paper aims at attempting an inquiry into what the claim that 'law' by its nature or character is an artifact, in fact, would entail and what, in the end, an artifact theory of law might look like. Before embarking on such an inquiry,... more
In this editorial introduction, we provide some background to the discussions in social ontology and social cognition which form the context for the papers collected together in this volume. In doing so, we also briefly sketch how the... more
Perspectives on Social Ontology and Social Cognition brings together contributions from researchers with a highly diverse range of disciplinary backgrounds – from philosophy to anthropology, economics, psychology, neurosci- ence and... more
Vaesen and van Amerongen (Philosophical Psychology 21:779-797, 2008) criticize Dennett’s design stance, arguing that as a cognitive thesis about artifact categorization, it is falsified by empirical findings. I assess their criticism in... more
Artefacts are usually understood in contrast with natural kinds and conceived as a unitary kind. Here we propose that there is in fact a variety of artefacts: from the more concrete to the more abstract ones. Moreover, not every artefact... more
This study addresses the issue of artifact kinds from a psychological and cognitive perspective. The primary interest of the investigation lies in understanding how artifacts are categorized and what are the properties people rely on for... more
Download research papers for free!