scholarly journals Action-Centered Information Retrieval

2019 ◽  
Vol 20 (2) ◽  
pp. 249-272
Author(s):  
MARCELLO BALDUCCINI ◽  
EMILY C. LEBLANC
Keyword(s):  
Information Retrieval ◽  
Side Effects ◽  
Answer Set Programming ◽  
The State ◽  
Semantic Level ◽  
Action Language ◽  
The World ◽  
Answer Set

AbstractInformation retrieval (IR) aims at retrieving documents that are most relevant to a query provided by a user. Traditional techniques rely mostly on syntactic methods. In some cases, however, links at a deeper semantic level must be considered. In this paper, we explore a type of IR task in which documents describe sequences of events, and queries are about the state of the world after such events. In this context, successfully matching documents and query requires considering the events’ possibly implicit uncertain effects and side effects. We begin by analyzing the problem, then propose an action language-based formalization, and finally automate the corresponding IR task using answer set programming.

CoreALMlib: An library translated from the Component Library

2016 ◽  
Vol 16 (5-6) ◽  
pp. 800-816 ◽  
Author(s):  
DANIELA INCLEZAN
Keyword(s):  
Natural Language ◽  
Answer Set Programming ◽  
Natural Language Understanding ◽  
Inference Engine ◽  
Lexical Resources ◽  
Language Understanding ◽  
Commonsense Knowledge ◽  
Component Library ◽  
Action Language ◽  
Answer Set

AbstractThis paper presents CoreALMlib, an $\mathscr{ALM}$ library of commonsense knowledge about dynamic domains. The library was obtained by translating part of the Component Library (CLib) into the modular action language $\mathscr{ALM}$. CLib consists of general reusable and composable commonsense concepts, selected based on a thorough study of ontological and lexical resources. Our translation targets CLibstates (i.e., fluents) and actions. The resulting $\mathscr{ALM}$ library contains the descriptions of 123 action classes grouped into 43 reusable modules that are organized into a hierarchy. It is made available online and of interest to researchers in the action language, answer-set programming, and natural language understanding communities. We believe that our translation has two main advantages over its CLib counterpart: (i) it specifies axioms about actions in a more elaboration tolerant and readable way, and (ii) it can be seamlessly integrated with ASP reasoning algorithms (e.g., for planning and postdiction). In contrast, axioms are described in CLib using STRIPS-like operators, and CLib's inference engine cannot handle planning nor postdiction.

Action language ℬ𝒞+

2015 ◽  
Vol 30 (4) ◽  
pp. 899-922 ◽  
Author(s):  
Joseph Babb ◽  
Joohyung Lee
Keyword(s):  
Main Idea ◽  
Answer Set Programming ◽  
Stable Model ◽  
Formal Models ◽  
Transition Systems ◽  
Action Languages ◽  
Action Language ◽  
Language Constructs ◽  
High Level ◽  
Answer Set

Abstract Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high-level notations of answer set programs structured to represent transition systems. However, the form of answer set programs considered in the earlier work is quite limited in comparison with the modern Answer Set Programming (ASP) language, which allows several useful constructs for knowledge representation, such as choice rules, aggregates and abstract constraint atoms. We propose a new action language called BC +, which closes the gap between action languages and the modern ASP language. The main idea is to define the semantics of BC + in terms of general stable model semantics for propositional formulas, under which many modern ASP language constructs can be identified with shorthands for propositional formulas. Language BC  + turns out to be sufficiently expressive to encompass the best features of other action languages, such as languages B , C , C + and BC . Computational methods available in ASP solvers are readily applicable to compute BC +, which led to an implementation of the language by extending system cplus2asp .

scholarly journals The Seventh Answer Set Programming Competition: Design and Results

2019 ◽  
Vol 20 (2) ◽  
pp. 176-204 ◽  
Author(s):  
MARTIN GEBSER ◽  
MARCO MARATEA ◽  
FRANCESCO RICCA
Keyword(s):  
Knowledge Representation ◽  
Logic Programming ◽  
State Of The Art ◽  
Answer Set Programming ◽  
The State ◽  
International Conference ◽  
Knowledge Representation Language ◽  
Representation Language ◽  
The University ◽  
Answer Set

AbstractAnswer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized in order to furnish challenging benchmark collections and assess the advancement of the state of the art in ASP solving. In this paper, we report on the design and results of the Seventh ASP Competition, jointly organized by the University of Calabria (Italy), the University of Genova (Italy), and the University of Potsdam (Germany), in affiliation with the 14th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2017).

Terms–Aspectual Synonyms in the Cognitive Space of Language

2019 ◽  
pp. 18-25
Author(s):  
Ievheniia Karpilovska
Keyword(s):  
Information Retrieval ◽  
Cognitive Structure ◽  
Focus Of Attention ◽  
The State ◽  
Linguistic Terms ◽  
Slavic Linguistics ◽  
Cognitive Space ◽  
The World ◽  
Retrieval Language

The article deals with the Ukrainian linguistic terms – aspectual synonyms. They are considered as a kind of conceptual synonyms that have common or different features of the same concept. Groups of homogeneous aspectual synonyms which form facets in the cognitive space of contemporary Ukrainian linguistic terminological system are determined as well as groups of heterogeneous aspectual synonyms, which are organized into clusters. The operational function of such synonyms for the forming of classes of equivalents of one- and multi-lingual terms in the informational-retrieval language of the keywords of the Base of the World Slavic Linguistics iSybislaw is emphasized. Determination of certain feature in the cognitive structure of multilingual terms creates the base for revealing the degree of their content closeness and the validity for the inclusion of terms-keywords to the certain classes of equivalence in the information-retrieval language of iSybislaw. The determination of common cognitive features for terms in different languages enables the structuring of their classes of equivalents in the iSybislaw system and, therefore, to organize searching of information within certain facets of aspectual synonyms within such classes; to search equivalents to foreign linguistic terms with the same features of the nomination concept common for them in certain national linguistic traditions. The analysis of aspectual synonyms in the contemporary Ukrainian linguistic terminological system will provide a solid basis for studying the state and perspectives of understanding the linguistic concepts which today are in the focus of attention and active work of specialists, as well as to find their links with the nominations of the same concepts in other languages and the forming of classes of equivalents for the language of the keywords of the iSybislaw system. Such structuring of the classes of equivalents on the basis of the commonality of the features of multi-lingual coreferential terms will help to optimize the searching of information in the database of system iSybislaw, as well as to create on its basis a new thesaurus of Slavic linguistic terminology as a hypertext system.

Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach

2013 ◽  
Vol 13 (4-5) ◽  
pp. 831-846 ◽  
Author(s):  
ESRA ERDEM ◽  
VOLKAN PATOGLU ◽  
ZEYNEP G. SARIBATUR ◽  
PETER SCHÜLLER ◽  
TANSEL URAS
Keyword(s):  
Computational Complexity ◽  
Energy Efficient ◽  
State Of The Art ◽  
Answer Set Programming ◽  
The State ◽  
Action Languages ◽  
Mathematical Definition ◽  
Definition Of ◽  
Answer Set

AbstractWe study the problem of finding optimal plans for multiple teams of robots through a mediator, where each team is given a task to complete in its workspace on its own and where teams are allowed to transfer robots between each other, subject to the following constraints: 1) teams (and the mediator) do not know about each other's workspace or tasks (e.g., for privacy purposes); 2) every team can lend or borrow robots, but not both (e.g., transportation/calibration of robots between/for different workspaces is usually costly). We present a mathematical definition of this problem and analyze its computational complexity. We introduce a novel, logic-based method to solve this problem, utilizing action languages and answer set programming for representation, and the state-of-the-art ASP solvers for reasoning. We show the applicability and usefulness of our approach by experiments on various scenarios of responsive and energy-efficient cognitive factories.

scholarly journals Existential Abstraction on Argumentation Frameworks via Clustering

2021 ◽  
Author(s):  
Zeynep G. Saribatur ◽  
Johannes P. Wallner
Keyword(s):  
Artificial Intelligence ◽  
Model Checking ◽  
Answer Set Programming ◽  
Knowledge Bases ◽  
The State ◽  
State Explosion ◽  
Complexity Results ◽  
Reasoning Tasks ◽  
Answer Set

Argumentation in Artificial Intelligence (AI) builds on formal approaches to reasoning argumentatively. Common to many such approaches is to use argumentation frameworks (AFs) as reasoning engines, with AFs being composed of arguments and attacks between arguments, which are instantiated from knowledge bases in a principle-based manner. While representing what can be argued for in an AF provides a conceptually clean way, this process can face challenges arising from generating a large number of arguments, which can act as a barrier to explainability. Inspired by successful approaches to model checking where the state explosion is mitigated by applying existential abstraction, we study an adaption of existential abstraction in form of clustering arguments in an AF to address an associated "argument explosion". In this paper, we provide a foundational investigation of this form of existential abstraction by defining semantics of the resulting clustered AFs, which balance two inherent aspects of existential abstractions: abstracting from concrete AFs and not permitting too much spuriousness (i.e., conclusions that hold on the abstraction but not on the original AF). Moreover, we show properties of clustered AFs, including complexity results, discuss use of clusterings for explaining results of reasoning tasks, and employ the recently introduced methodology of abstraction in answer set programming (ASP) for obtaining and reasoning over clustered AFs.

TOURIST BUSINESS DEVELOPMENT IN UKRAINE

2019 ◽  
pp. 39-46
Author(s):  
Stefania Mosiuk ◽  
Igor Mosiuk ◽  
Vladimir Mosiuk
Keyword(s):  
National Economy ◽  
Methodological Approach ◽  
Business Development ◽  
Tourism Industry ◽  
The State ◽  
Complete Analysis ◽  
Resource Potential ◽  
The World ◽  
Potential Resource ◽  
Favorable Conditions

The purpose of the article is to analyze and substantiate the development of tourism business in Ukraine as a priority component of the national economy. The methodology of this study is to use analytical, spatial, geographical, cultural and other methods. This methodological approach provided an opportunity to carry out a complete analysis of the state of the tourism industry of the state and to draw some conclusions.The scientific novelty lies in the coverage of the real and potential resource potential for the development of the recreational and tourism sphere in Ukraine, detailing the measures for the country ‘s entry into the world tourist market. Conclusions. Analyzing the state and prospects of tourism business development in Ukraine, it should be noted that this industry is one of the priority areas for improving the economy of the country. Historical, cultural – ethnographic, gastronomic, sanatorium and resort potentials of the country will lead the country into world leaders of the tourism industry when creating favorable conditions for investment and proper marketing.

The World Opened to Everyone. The Main Library of Krasnoyarsk Region has Celebrated 75-year Anniversary

2010 ◽  
pp. 99-100
Author(s):  
Julia N. Shubnikova
Keyword(s):  
Russian Federation ◽  
The State ◽  
Krasnoyarsk Region ◽  
The World ◽  
The Russian Federation ◽  
Krasnodar Region

On the State Universal Scientific Library of the Krasnodar region, which is one of the largest regional libraries in the Russian Federation.

Sign in / Sign up

Export Citation Format

Share Document